-
mopro-ffi
Mopro is a toolkit for ZK app development on mobile. Mopro makes client-side proving on mobile simple.
-
bellman
zk-SNARK library
-
neo-zkvm-cli
CLI for Neo zkVM script execution, proving, and verification
-
acir
IR that the VM processes, it is analogous to LLVM IR
-
risc0-povw
Core library for RISC Zero Proof of Verifiable Work (PoVW)
-
valida-vm-api-linux-arm
wrapper around
validaexecutable - zero-knowledge virtual machine -
monotonic_solver
A monotonic solver designed to be easy to use with Rust enum expressions
-
valida-vm-api-linux-x86
wrapper around
validaexecutable - zero-knowledge virtual machine -
stwo-vm-runner
VM runner for executing Cairo programs with STWO proving support
-
neo-zkvm-program
SP1 guest program for proving Neo VM execution
-
linear_solver
A linear solver designed to be easy to use with Rust enum expressions
-
ashlang
A language for zero knowledge proofs
-
last_order_logic
An experimental logical language
-
risc0-zkp
RISC Zero zero-knowledge proof system core crate
-
equality_across_groups
Protocols for proving equality of committed values across groups and correctness of elliptic curve point addition and scalar multiplication
-
zcash_proofs
Zcash zk-SNARK circuits and proving APIs
-
neo-vm-guest
Guest-side VM types and serialization helpers for proof inputs
-
boundless-market
SDK for the Boundless Market, part of the universal ZK protocol
-
masp_proofs
Experimental MASP zk-SNARK circuits and proving APIs, based on zcash_proofs
-
tari_bulletproofs_plus
A smaller faster implementation of Bulletproofs
-
circom-prover
Circom prover is a Rust library for generating and verifying proofs for Circom circuits
-
miden-proving-service
Miden rollup proving service
-
groth16
prover and verifier for Bellman
-
rustreexo
Utreexo
-
stwo-cairo-prover
STARK prover for Cairo programs using the Stwo proving system
-
axiom-query
This contains the ZK circuits that generate proofs for the
AxiomV2Querysmart contract -
doc-type
A small Rust crate for generating documents from your types
-
ccnext-query-builder
Query builder library. Used for the construction of ccnext proving queries.
-
pallet-gear-eth-bridge-primitives
Primitives for Gear Ethereum Bridge Pallet
-
swiftsc-analyzer
Static analysis tools for SwiftSC-Lang
-
axiom-core
contains the ZK circuits that generate proofs for the
AxiomV2Coresmart contract. These circuits read the RLP encoded block headers for a chain of blocks and verify that the block headers form a chain… -
ysbell
zk-SNARK library
-
miden-proving-service-client
Client library for the Miden rollup proving service
-
acvm-backend-barretenberg
An ACVM backend which allows proving/verifying ACIR circuits against Aztec Lab's Barretenberg library
-
signet-sdk
this name held for use by the signet-sdk. https://github.com/init4tech/signet-sdk
-
triptych
An experimental Rust implementation of the Triptych zero-knowledge proving system
-
ironfish-proofs
Zcash zk-SNARK circuits and proving APIs
-
signet-
this name held for use by the signet-sdk. https://github.com/init4tech/signet-sdk
-
acvm_stdlib
The ACVM standard library
-
rust-gnark
Rust bindings for the gnark Groth16 BN254 proving system
-
zkutil
working with circom circuits
Try searching with DuckDuckGo.