-
light-poseidon
Poseidon hash implementation in Rust
-
risc0-build
RISC Zero zero-knowledge VM build tool
-
risc0-zkvm-platform
RISC Zero zero-knowledge VM
-
triton-vm
virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system to allow proving correct…
-
bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto
-
rln
APIs to manage, compute and verify zkSNARK proofs and RLN primitives
-
hakanai
CLI client for Hakanai, a secure secret sharing service
-
json-proof-token
based on the new JOSE Working Group draft specifications: JSON Web Proof (JWP), JSON Proof Token (JPT) and JSON Proof Algorithm (JPA)
-
saorsa-attestation-guest
SP1 zkVM guest program for Saorsa Entangled Attestation proofs
-
tfhe-zk-pok
zero-knowledge proofs of encryption for TFHE
-
dusk-poseidon
Poseidon hash algorithm over the Bls12-381 Scalar field
-
spartan2
High-speed zkSNARKs without trusted setup
-
sindri
Rust SDK for the Sindri API
-
rsnark-provers-core
write Zero-Knowledge circuits for multiple prover systems
-
quarks-zk
Quarks: Quadruple-efficient transparent zkSNARKs - Implementation of Kopis-PC, Dory-PC, and Lakonia/Kopis/Xiphos SNARKs
-
taceo-circom-types
representation of the types in the
Circomecosystem and ways to de/serialize them in a way that is compatible to the existing implementation in snarkjs -
leo-disassembler
A disassembler for the Leo programming language
-
paillier-zk
ZK-proofs for Paillier encryption scheme
-
leo-retriever
A retriever for the Leo programming language
-
jubjub-schnorr
A pure-Rust implementation of Schnorr signatures with a PLONK circuit module additionally
-
spectral_vm
HYPERION: Production-ready zero-knowledge virtual machine with spectral analysis
-
jubjub-elgamal
ElGamal encryption scheme implemented on the JubJub curve with support for zero-knowledge circuits
-
kontor-crypto
Kontor Proof-of-Retrievability system for decentralized storage
-
lox-zkp
A toolkit for auto-generated implementations of Schnorr proofs
-
cza
CLI tool for scaffolding zero-knowledge application projects
-
taceo-groth16-material
A collection of utilities for generating witnesses and proofs for Groth16 circuits. Supports Circom circuits for now.
-
vhe
ElGamal homomorphic encryption library with verifiable operations
-
kzen-paillier
Efficient pure-Rust library for the Paillier partially homomorphic encryption scheme
-
zk-aluvm
AluVM ISA extension for Galois fields
-
taceo-groth16
Groth16 zkSNARK proof system
-
hakanai-lib
Client library for Hakanai, a secure secret sharing service
-
risc0-povw
Core library for RISC Zero Proof of Verifiable Work (PoVW)
-
sigma-proofs
A toolkit for auto-generated implementations of Σ-protocols
-
dusk-safe
Sponge API for Field Elements
-
bulletproofs-bls
A pure-Rust implementation of Bulletproofs
-
rsnark-provers-gnark
write Zero-Knowledge circuits for multiple prover systems
-
leo-parser-lossless
Lossless syntax tree parser for the Leo programming language
-
valida-vm-api-linux-arm
wrapper around
validaexecutable - zero-knowledge virtual machine -
zki_sieve
SIEVE IR
-
sylow
BLS signature scheme using the alt-bn128 curve
-
valida-vm-api-linux-x86
wrapper around
validaexecutable - zero-knowledge virtual machine -
circomspect
A static analyzer and linter for the Circom zero-knowledge DSL
-
zero-plonk
A pure-Rust implementation of the PLONK ZK-Proof algorithm
-
vk-separate
A CLI tool to remove Committer key from Verification key in Nova protocol
-
bls_bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto
-
sunscreen_bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto
-
ark-r1cs-std-zypher
A standard library for constraint system gadgets
-
modular_math
modular arithmetic crate for U256
-
paillier-lsc
Efficient pure-Rust library for the Paillier partially homomorphic encryption scheme
-
dusk-hades
Hades252 permutation algorithm over the Bls12-381 Scalar field
-
leo-interpreter
Interpreter for the Leo programming language
-
sindri-cli
A command-line interface for interacting with Sindri's API
-
zkpo
Zero knowledge program operations
-
wedpr_l_bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto
-
ark-relations-zypher
rank-one constraint systems
-
bulletproof-kzen
Bulletproofs and Bulletproofs+ aggregated range proofs with multi-exponent verification
-
paillier
A pure-Rust implementation of the Paillier encryption scheme
-
zkp
A toolkit for auto-generated implementations of Schnorr proofs
-
reverie-zk
An efficient implementation of the NIZKPoK outlined in KKW 2018
-
zkinterface
An implementation of zkInterface
-
sn_bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto
-
mcircuit
tools for working with arithmetic circuits on generic fields
-
dlog-sigma-primitives
Collection of cryptographic primitives built on top of Elliptic Curve groups, with a focus on Zero-Knowledge Proofs
-
ark-relations
rank-one constraint systems
-
arcturus
zero-knowledge proofs for confidential transactions
-
ark-groth16
Groth 2016 zkSNARK proof system
-
plonkup
A pure-Rust implementation of the PLONK ZK-Proof algorithm
-
snarkvm
A decentralized virtual machine
-
fermah-config
Fermah configuration profiles utility
-
sp1-lib
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
snarkos
A decentralized operating system
-
plonky2_monolith
Use Monolith hash to generate Plonky2 proofs and to write Plonky2 circuits
-
ark-snark-zypher
SNARK traits
-
ark-snark
SNARK traits
-
msm-webgpu
Multi-Scalar Multiplication (MSM) implementation for WebGPU
-
ark-r1cs-std
A standard library for constraint system gadgets
-
snarkos-node-bft
A memory pool for a decentralized operating system
-
sp1-primitives
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
fermah-telemetry
Fermah telemetry tracing and metrics
-
sp1-prover
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
ark-groth16-zypher
Groth 2016 zkSNARK proof system
-
sp1-verifier
Verifier for SP1 Groth16 and Plonk proofs
-
omegaupload
CLI tool
-
sp1-recursion-compiler
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
tasm-lib
Code snippets for Triton VM assembly with tests and statistics
-
sppark
Zero-knowledge template library
-
leo-lang
The Leo programming language
-
sp1-helper
building SP1 programs with build scripts
-
risc0-zkvm-verify
RISC Zero zero-knowledge VM verify crate
-
risc0-core
Core types for RISC Zero crates
-
rsnark-core
write Zero-Knowledge circuits for multiple prover systems
-
sp1-core-machine
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
snarkos-node-network
Network-related objects and traits for nodes
-
sp1-recursion-gnark-ffi
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
gnark-bn254-verifier
gnark verifier for BN254 curve
-
sp1-cuda
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
liserk-shared
Types for liserk zero knowledge database
-
sp1-stark
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
leo-errors
Errors for the Leo programming language
-
sp1-recursion-circuit
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
leo-ast
Abstract syntax tree (AST) for the Leo programming language
-
sp1-curves
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
leo-passes
Compiler passes for the Leo programming language
-
zk-prover
Rust wrapper around Nargo and Barretenberg to generate and verify zero-knowledge proofs using Noir circuits
-
snarkos-node-tcp
A TCP stack for a decentralized operating system
-
sp1-build
Build an SP1 program
-
sp1-eval
A performance evaluation tool for SP1 programs
-
snarkvm-curves
Curves for a decentralized virtual machine
-
snarkos-node-sync
A synchronization module for a decentralized operating system
-
snarkos-node-router
A node router for a decentralized operating system
-
leo-span
Span handling for the Leo programming language
-
sp1-cli
The CLI is used for various tasks related to SP1, such as building the toolchain, compiling programs, and tracing programs
-
snarkos-node-metrics
A node for a decentralized operating system
-
risc0-zkvm-circuit
RISC Zero zero-knowledge VM circuit
-
zkinterface_bellman
Bellman circuit construction and proving system for zkInterface
-
snarkvm-ledger-block
A block for a decentralized virtual machine
-
snarkos-account
Account for a decentralized operating system
-
risc0-zkvm-guest
RISC Zero zero-knowledge VM guest crate
-
sp1-recursion-gnark-cli
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
risc0-circuit-rv32im
RISC Zero circuit for rv32im
-
air-script-core
Core types for the AirScript compiler
-
snarkvm-ledger-store
A data store for a decentralized virtual machine
-
Pedersen_hash_function
computes the pedersen hash of given inputs and modular arithmetic
-
snarkvm-synthesizer
Synthesizer for a decentralized virtual machine
-
extra-safe
A trait hierarchy to help make the SAFE API return errors at compile time
-
snarkvm-circuit-program
Program circuit library for a decentralized virtual machine
-
snarkvm-circuit-types-boolean
Boolean circuit for a decentralized virtual machine
-
sp1-recursion-core
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
aleo-wasm
WebAssembly based toolkit for developing zero-knowledge applications with Aleo
-
snarkvm-algorithms
Algorithms for a decentralized virtual machine
-
nimue
Fiat-Shamir transcripts
-
snarkvm-ledger-committee
A committee for a decentralized virtual machine
-
snarkvm-parameters
Parameters for a decentralized virtual machine
-
snarkvm-fields
Fields for a decentralized virtual machine
-
fermah
network
-
snarkvm-synthesizer-program
Program for a decentralized virtual machine
-
snarkvm-ledger
A node ledger for a decentralized virtual machine
-
snarkvm-synthesizer-snark
SNARK wrappers for a decentralized virtual machine
-
liserk-ope
OPE (order preserving encryption) algorithms for liserk zero knowledge database
-
snarkvm-synthesizer-process
A process for a decentralized virtual machine
-
semaphore-protocol
Semaphore Rust Implementation
-
snarkvm-ledger-narwhal-batch-header
A batch header for a Narwhal-style memory pool in a decentralized virtual machine
-
ligerito
polynomial commitment scheme over binary extension fields
-
snarkvm-ledger-narwhal-transmission
A transmission for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node
A node for a decentralized operating system
-
risc0-sys
Generated / Native / HAL code for RISC Zero
-
bevis-strobe
A tiny strobe implementation based on "Merlin" by Henry de Valence for use with Bevis
-
snarkos-node-bft-events
Events for the gateway in a decentralized operating system
-
liserk-client
Client for liserk zero knowledge database
-
snarkvm-ledger-narwhal-subdag
A subdag for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node-router-messages
Node messages for a decentralized operating system
-
snarkvm-ledger-narwhal-transmission-id
A transmission ID for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkvm-ledger-query
A query for a decentralized virtual machine
-
snarkvm-ledger-narwhal-batch-certificate
A batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
-
aleo-rust
Rust SDK for managing Aleo programs and communicating with the Aleo network
-
plume_arkworks
PLUME: nullifier friendly signature scheme on ECDSA; using the
arkworks-rslibraries -
amareleo
An Aleo test framework
-
snarkvm-ledger-puzzle
Puzzle for a decentralized virtual machine
-
snarkos-node-sync-locators
Locators to synchronize a decentralized operating system
-
snarkvm-ledger-narwhal-data
A batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node-bft-ledger-service
A ledger service for the memory pool in a decentralized operating system
-
snarkvm-utilities
decentralized virtual machine
-
air-ir
Intermediate representation for the AirScript language
-
snarkvm-ledger-puzzle-epoch
Epoch puzzle for a decentralized virtual machine
-
tari_bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto
-
snarkvm-circuit
Circuits for a decentralized virtual machine
-
ope-simplified
OPE (order preserving encryption) algorithms for liserk zero knowledge database
-
snarkvm-ledger-authority
Data structures for a block authority in a decentralized virtual machine
-
risc0-sppark
Zero-knowledge template library
-
air-parser
Parser for the AirScript language
-
arkworks-circuits
Webb protocol's circuit's using zero-knowledge gadgets written using Arkworks
-
risc0-zkos-v1compat
RISC Zero zero-knowledge VM kernel for v1 compatibility
-
snarkvm-algorithms-cuda
Cuda optimizations for a decentralized virtual machine
-
snarkvm-ledger-narwhal
Data structures for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node-consensus
A node consensus for a decentralized operating system
-
snarkvm-console-types
Console types for a decentralized virtual machine
-
amareleo-chain
A lite Aleo development node
-
risc0-zkvm-circuit-sys
RISC Zero zero-knowledge VM circuit crate
-
risc0-core-sys
RISC Zero core crate
-
leo-compiler
Compiler for Leo programming language
-
snarkos-rpc
RPC for a decentralized operating system
-
snarkvm-ledger-test-helpers
Test helpers for a decentralized virtual machine
-
risc0-zkvm-prove
RISC Zero zero-knowledge VM prove crate
-
snarkos-node-cdn
A CDN client for a decentralized operating system
Try searching with DuckDuckGo.