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.
About
The problem it 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.
How it's made
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.