Stars
Implementation of protocols for threshold signatures
ZetaChain’s blockchain node and an observer validator client
A curated list of distributed key generation and threshold signatures implementations
Cairo is the first Turing-complete language for creating provable programs for general computation.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Formally Verified Arguments of Knowledge in Lean
An EVM compatible framework for blockchain development with the Cosmos SDK
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
The Nexus zkVM: The zero-knowledge virtual machine
A performant and modular zkVM framework built for customization and extensibility.
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.