a16z/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
A star delta has been computed for 62,678 of 63,382 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 02:23 and 17:27 (BKK).
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Common cryptographic library used in software at Mysten Labs.
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
Cairo is the first Turing-complete language for creating provable programs for general computation.
Rings is a browser-native, structured peer-to-peer network: browser tabs and native daemons find each other by DID and talk over WebRTC, routed by a Chord DHT.
The privacy-focused cryptocurrency
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
A zkVM for Decentralized Private Computations (DPC)
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.
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
A zkVM for Decentralized Private Computations (DPC)
That's all 13 repositories in this period.
