A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

Ola is a provable language for writing smart contracts

A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy

A Rust Implementation of the PLONK ZKP System and Extensions

Recursive SNARKs based on Plonk and Halo

Modified version of nightfall, based on https://github.com/EYBlockchain/nightfall

Go implementation of the Ethereum protocol