#zk-snarks (11 Repositories)
Ranked open-source repositories tagged with #zk-snarks, scored by pull request acceptance likelihood and maintainer engagement velocity.
22.6%
80.8h
11 repositories tagged #zk-snarks
qntx/ovo
Agent behavior that compiles
a16z/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
MinaProtocol/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
qntx/machi
Agent behavior that compiles
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
lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
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
sdiehl/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
darkrenaissance/darkfi
Anonymous. Uncensored. Sovereign.
OwshenNetwork/owshen
The Deep Sea
Lagrange-Labs/deep-prove
Framework to prove inference of ML models blazingly fast