Skip to main content


A fast zk-SNARK library that offers a high-level API to design circuits

Quick Links

🏁 Getting Started

Create and verify your first zk-SNARK. The quickest way to write, debug and profile circuits.

💭 Concepts

Check out some general concepts on constraint systems, proving schemes and zk-SNARKs.

👨‍💻 Reference

Find API documentation and GoDoc links in the Reference section.

🛴 Playground

Compile and run circuits in your browser. Check out the examples for a quick tour.