🎯
Focusing
Stars
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
Modified version of nightfall, based on https://github.com/EYBlockchain/nightfall
Go implementation of the Ethereum protocol