aleo-labs-protocol / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
aleo-labs-protocol / leo
taikoxyz / taiko-mono
A based rollup protocol for Ethereum🥁
aleo-labs-protocol / snarkOS
A Decentralized Operating System for ZK Applications
matter-labs / zksync-era
zkSync era
namada-net / namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
yuezk / GlobalProtect-openconnect
A GlobalProtect VPN client for Linux and macOS, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, YubiKey, and client certificate authentication, etc.
starkware-libs / cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
darkrenaissance / darkfi
Anonymous. Uncensored. Sovereign.
aleo-labs-protocol / snarkVM
A zkVM for Decentralized Private Computations (DPC)
zkcrypto / bellman
zk-SNARK library.
a16z / jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
OpenZeppelin / cairo-contracts
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
lambdaclass / ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
dusk-network / plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
starkware-libs / cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
qntx / ovo
Agent behavior that compiles
EspressoSystems / jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
jpzk / opensidian
A privacy-first, open-source platform for knowledge management and collaboration.