🪁 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
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
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
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
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
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!
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
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
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…