#zkp (17 Repositories)
Ranked open-source repositories tagged with #zkp, scored by pull request acceptance likelihood and maintainer engagement velocity.
44.0%
71.5h
17 repositories tagged #zkp
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
namada-net/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
qntx/ovo
Agent behavior that compiles
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
a16z/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
RingsNetwork/rings
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
MystenLabs/fastcrypto
Common cryptographic library used in software at Mysten Labs.
firoorg/firo
The privacy-focused cryptocurrency
qntx/machi
Agent behavior that compiles
MinaProtocol/docs2
Docs website for the Mina Protocol.
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.
Consensys-Incorporated/gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
dl-solarity/solidity-lib
Solarity Solidity Library
sismo-core/sismo-badges
Contracts of the Sismo Badge Minting Protocol
namada-net/namada-trusted-setup-claimer
Sign arbitrary messages with keys obtained from Namada's trusted setup
Consensys/gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license