Playground to explore zero-knowledge proving systems.

This is a JavaScript and Pure Web Assembly implementation of zkSNARK and PLONK schemes. It uses the Groth16 Protocol (3 point only and 3 pairings), PLONK and FFLONK. [...] This library uses the compiled circuits generated by the circom compiler.

Noir is a Domain Specific Language for SNARK proving systems. It has been designed to use any ACIR compatible proving system.

Cairo is the first Turing-complete language for creating provable programs for general computation.

The Nexus zkVM is a modular, extensible, open-source, and highly-parallelized zkVM, designed to run at a trillion CPU cycles proved per second given enough machine power.