🪁 Hello, we have exciting news to share with you 🪁
Geometry Research is a team working on open-source cryptography, protocol design, implementation and security analysis.
1/15
Geometry Research
62 posts
Geometry Research
@__geometrydev__
Geometry Research empowers protocols using cryptography
- We are happy to announce our collaboration with @MinaFoundation and @CelestiaOrg. Geometry Research will be integrating Celestia's modular DA to the Mina ecosystem. We unroll our roadmap and the technical challenges we will meet along the way in the thread below 🧵⬇️ 1/6
- What if… verifying the execution of pairings inside SNARKs can be done much faster than already known? @AndrijaNovakov6 and @LiamEagen have just published a paper on this! Let’s explore this below 🧵 1/13
- Replying to @__geometrydev__This method are applicable anywhere where pairings are verified inside SNARKs today. They can also be used in on chain contexts. We're using this with @MinaFoundation and @CelestiaOrg to bring Celestia DA to Mina zkapps. Read the full paper here: eprint.iacr.org/2024/640 13/13
- 🎉 @weijie_eth won a special prize in ZPrize 2023's browser-based MSM track, in a joint work with @MariusMargulus, achieving the best WebGPU-based solution While CPU-based solutions are still favorable, WebGPU will be important for larger workloads 1/2
- Replying to @__geometrydev__Paper: eprint.iacr.org/2024/640 Let’s say that you have an existing Groth16 or Plonk proof, and you want to verify them in a SNARK. This is needed for a bunch of use cases: * zk light clients * zkzkrollups * private voting * aggregation of proofs * games with private state 2/13
- ZK Summit 11 was a blast! Watch @nico_mnbl present Arke (joint work with @alberto_sonnino @Daeinar @kobigurk) a privacy-preserving contact discovery scheme, and much beyond! This talk also serves as a gentle introduction to identity-based cryptography youtube.com/watch?v=_TVAYE…
- Replying to @__geometrydev__But our journey in the space didn't start there. Our founding team, consisting of @nico_mnbl, @AndrijaNovakov6, @weijie_eth, @therealyingtong and @kobigurk, has worked with leading teams in the space, supporting security, scalability and privacy across the industry. 4/15
- Replying to @__geometrydev__Our work and library will be distributed as fully open-source software. Stay tuned for more information! 6/6
- Replying to @__geometrydev__We're looking forward to explore the different ways our work can influence the future of the space, which we'll navigate through 2024 and beyond. Happy new year! 15/15
- High performance client side proving is important for applications that involve secrets - web2->web3 identity, games and more Catch @weijie_eth talk at @d_InfraSummit about WebGPU and its practical applications in ZK!
- Replying to @__geometrydev__Our team will work on optimized pairing verification in o1js. Through this effort, circuit engineering and native support for recursion, we hope to produce the most efficient pairing verification circuit. 5/6
- Replying to @__geometrydev__Concretely, we will verify Blobstream X proofs produced by @SuccinctLabs, which are Groth16 proofs of Celestia's consensus, giving Mina zkApps access to Celestia block headers. This doesn't end here though! Execution of pairings inside zkApps unlocks many more use cases: 3/6
- Catch @therealyingtong’s talk about next-gen lookup arguments in halo 2! Today, 24/4, at 3:10pm SGT, organized by @NTU_CCTF Livestream: x.com/ntu_cctf/statu…Discover the future of NTU-CCTF Blockchain Academic Workshop. Date: 24 Apr 2024 (Wed) Time: 2:30 pm-7 pm Venue: North Spine LT3, NTU Scan the QR or click the link to register now: wis.ntu.edu.sg/webexe88/owa/R…
