Succinct's Production-Grade Proving Engine for the OP Stack.

The Nexus zkVM: The zero-knowledge virtual machine

Plasma Next

zkBitcoin: zero-knowledge proofs on Bitcoin!

Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance

Ethereum Proof-of-Stake Consensus Specifications

Fourth cohort of Ethereum Protocol Fellowship

A stateless trustless Starknet light client in Rust 🦀

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.