Abstracting Boolean in Equivalence Interface
Thoughts on abstracting boolean?
I'm interested in wrapping https://github.com/o1-labs/snarkyjs with Effect, it's a library for creating and verifying recursive snarks. It has it's own Field, Bool, Ord types which are necessary for communication with the circuit. There is another library which may be interesting to wrap as well: https://github.com/zksecurity/wasmati.
I'm interested in wrapping https://github.com/o1-labs/snarkyjs with Effect, it's a library for creating and verifying recursive snarks. It has it's own Field, Bool, Ord types which are necessary for communication with the circuit. There is another library which may be interesting to wrap as well: https://github.com/zksecurity/wasmati.
Production-grade applications in TypeScript.
6,221Members
Resources
Recent Announcements
Similar Threads
Was this page helpful?
