A fast zk-SNARK library that offers a high-level API to design circuits
Create and verify your first zk-SNARK. The quickest way to write, debug and profile circuits.
Check out some general concepts on constraint systems, proving schemes and zk-SNARKs.
Find API documentation and GoDoc links in the Reference section.
Compile and run circuits in your browser. Check out the examples for a quick tour.