Jsnzkpg / Jsnzkpg
已持续维护5年多，每天都会检测可用性，全网质量最高的免费节点订阅，魔鬼式筛选出高质量的免费节点，shadowrocket丨stash丨singbox丨clash丨karing丨hiddify丨mihomo丨clashmi丨ClashMeta丨FIClash丨Surfboard
Jsnzkpg / Jsnzkpg
namada-net / namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
starkware-libs / cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
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
aleo-labs-protocol / 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. ⚡
firoorg / firo
The privacy-focused cryptocurrency
dusk-network / plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Consensys-Incorporated / gnark-crypto
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
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
mratsim / constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.