Groth makers

Aim to build a groth16 verifier in o1js. To do that, we built upon the recent foreign field arithmatics implementation in snarky library + lambda class. Not completed. Still at bn254 implementation.

Groth makers

Aim to build a groth16 verifier in o1js. To do that, we built upon the recent foreign field arithmatics implementation in snarky library + lambda class. Not completed. Still at bn254 implementation.

The problem Groth makers solves

Having Mina able to verify the most widely used ZKP (the groth16) would enable really cool use cases. For example libraries like zkemail, zkpdfs in mina apps is an exciting prospect and fits perfectly with the mina dna of client side/browser/typescript dna.

Challenges we ran into

The tech stack is hard to understand with web of bindings: Ocaml, kimchi and typescript.
The Foreign field arithmatic library + the foreign group library is impemented by external team and is still wip. So was hard to figure out and complete some of that work.
The documentation does not mention strongly the use of loops and components we would have needed.

Tracks Applied (2)

O(1)Labs - Crypto Primitive

Groth16 is a standard component in the current times for any execution environment. It opens up the design space with re...Read More

O(1)Labs

Chewing Glass

To build a groth16 verifier in a circuit like kimchi (o1js/mina), you need 1) foreign field arithmatics 2) construct gro...Read More

Technologies used

o1js

lambdaclass

Discussion