zkp
Tracked open-source repos tagged zkp, sorted by stars.
Related topics
Topics that frequently appear alongside zkp on the same repo.
Recent risers
Repos created in the last 90 days, tagged zkp.
No new repos tagged with this topic in the last 90 days.
- #1
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
★ 2,513-1Star change over the last 7 days - #2★ 2,134+0Star change over the last 7 days
- #3
Cairo is the first Turing-complete language for creating provable programs for general computation.
★ 1,904+2Star change over the last 7 days - #4
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
★ 1,731+0Star change over the last 7 days - #5★ 1,163+0Star change over the last 7 days
- #6
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
★ 1,021+2Star change over the last 7 days - #7★ 794+0Star change over the last 7 days
- #8
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
★ 601+0Star change over the last 7 days - #9
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.
★ 586+1Star change over the last 7 days - #10★ 567+0Star change over the last 7 days