The proof systems used by Mina
A pure Rust PLONK implementation using arkworks as a backend.
A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
Recursive SNARKs based on Plonk and Halo
Smart contracts for on-chain anonymous settlement.
Building the first permissionless layer2 orderbook DEX on Ethereum, powe...