-
grovedb-storage
Storage extension crate for GroveDB
-
grovedb-costs
Costs extension crate for GroveDB
-
grovedb-path
Path extension crate for GroveDB
-
grovedb-version
Versioning library for Platform
-
kzg-rs
KZG point evaluation
-
storage-proofs-update
Proof of SDR-PoRep CC-Sector Update
-
ssi-data-integrity
Verifiable Credentials Data Model v1.1 for the
ssilibrary -
bolero-kani
kani plugin for bolero
-
drcp-format
Parse and write DRCP and literal definition files
-
ekzg-multi-open
multi-opening algorithm for KZG10 using FK20
-
sigma_fun
A framework for making Sigma protocols fun!
-
ssi-vc
Verifiable Credentials Data Model v1.1 for the
ssilibrary -
crate_crypto_kzg_multi_open_fk20
multi-opening algorithm for KZG10 using FK20
-
merkle-cbt
generating efficient Merkle tree and combined Merkle proof based on complete binary tree
-
lolli-cli
Command-line interface for the Lolli linear logic workbench
-
ssi-bbs
The BBS Signature Scheme implementation for SSI
-
ark-spartan-golden
Spartan ZKP system over arkworks (fork for golden-dkg crate)
-
sha3-circuit
Lookup based midnight-proofs (halo2 fork) implementation of keccak-f[1600] permutation and gadgets for the sha3-256 and keccak-256 hash functions
-
power_house
deterministic sum-check proofs, finite-field arithmetic, transcript logging, and quorum ledger tooling for transparent verification in Rust
-
ssi-claims
Verifiable Claims for the
ssilibrary -
supraseal-c2
CUDA Groth16 proof generator for Filecoin
-
risc0-povw
Core library for RISC Zero Proof of Verifiable Work (PoVW)
-
qp-wormhole-inputs
Public input types for Wormhole circuit proofs
-
ssi-contexts
JSON-LD context files related to Verifiable Credentials, Decentralized Identifiers, and Linked Data Proofs
-
beancount-parser-lima-python
Proof of concept Python bindings for beancount-parser-lima
-
qp-wormhole-aggregator
Quantus-Network - Wormhole circuit implementation using Plonky2
-
lolli-prove
Proof search for the Lolli linear logic workbench
-
qp-wormhole-circuit-builder
Quantus-Network - Wormhole circuit implementation using Plonky2
-
sl-verifiable-enc
Verifierable encryption
-
dleq
single and cross-curve Discrete Log Equality proofs
-
prover-config
exposes the config structs for the prover-engine
-
world-id-proof
World ID Proof crate
-
tdln-proof
TDLN — proof bundle (deterministic translation proof + optional DV25 signatures)
-
lolli-core
Core data structures for the Lolli linear logic workbench
-
lolli-parse
Parser for the Lolli linear logic workbench
-
tdln-compiler
TDLN — deterministic compiler NL/DSL → AST + Canonical JSON + Proof bundle
-
lolli-codegen
Code generation for the Lolli linear logic workbench
-
atlantic_client
Atlantic client for generating proofs with Atlantic Prover
-
lolli-extract
Term extraction for the Lolli linear logic workbench
-
nova-scotia
Middleware to compile Circom circuits to Nova zkSNARK scheme
-
atlas-token-confidential-transfer-proof-extraction
Atlas Program Library Confidential Transfer Proof Extraction
-
ffi-toolkit
A collection of functions useful for working with the Rust FFI
-
justcash_prove
create a justcash proof of bill ownership
-
type-proof
type-checked propositional logic proofs
-
prover-elf-utils
providing utilites to manage ELF related structs
-
bvm
Proof of concept
-
justcash_verify
verify a justcash proof of bill ownership
-
fr32
Filecoin proofs Fr/32-byte conversion tooling
-
prover-engine
contains the framework engine used to build proof on agglayer protocol
-
rs_merkle
The most advanced Merkle Tree library for Rust. Supports creating and verifying proofs, multi-proofs, as well as advanced features, such as tree diffs, transactional changes, and rollbacks
-
nam-supraseal-c2
CUDA Groth16 proof generator for Filecoin
-
ssi-claims-core
Core types and traits for Verifiable Claims in the
ssilibrary -
lolli-viz
Visualization for the Lolli linear logic workbench
-
singleton-trait
Singleton trait for types with unique values and Erased type for zero-sized ownership proofs
-
slowlock
convenience wrapper for processing cipher password with a proof of work function
-
s2n-quic-h3-community
internal crate used by s2n-quic written as a proof of concept for implementing HTTP3 on top of s2n-quic. The API is not currently stable and should not be used directly…
-
charms-proof-wrapper
SNARK wrapper of spell proofs
-
solana-zk-elgamal-proof-program
Solana Zk ElGamal Proof Program
-
stwo-run-and-prove
Run Cairo programs and generate STWO proofs
-
solana-zk-token-proof-program
Solana Zk Token Proof Program
-
junglefowl
Brutally murdering Rust's type system one proof at a time
-
filecoin-proofs-api
API to interact with the proofs system in Filecoin
-
stellar-contract-utils
Stellar contracts
-
filecoin-proofs
The Filecoin specific aspects of storage-proofs, including a C based FFI, to generate and verify proofs
-
justcash-bind
generate proof of justcash bill ownership
-
varisat-checker
Proof checker for proofs generate by the Varisat SAT solver
-
storage-proofs-post
Proofs of Space Time
-
nmt-rs
A namespaced merkle tree compatible with Celestia
-
light-verifier
ZKP proof verifier used in Light Protocol
-
storage-proofs-porep
Proofs of replication
-
bevis
Fiat-Shamir without the Hassle
-
ckb-pow
Proof of Work (PoW) engine implementations
-
sp-transaction-storage-proof
Transaction storage proof primitives
-
ant-merkle
most advanced Merkle Tree library for Rust. Supports creating and verifying proofs, multi-proofs, as well as advanced features, such as tree diffs, transactional changes, and rollbacks…
-
grovedbg-types
Common type definitions for data exchange over GroveDBG protocol
-
unified-bridge
contains structs and traits for the unified bridge protocol
-
storage-proofs-core
Core parts for proofs of storage
-
varisat-internal-proof
Internal proof format for the Varisat SAT solver
-
microsoft/electionguard_verify
The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard SDK
-
agglayer-tries
contains various structs and traits for tries used in agglayer protocol
-
io-arc
Proof of concept Arc with IO trait delegation
-
bdk-reserves
Proof of reserves for bitcoin dev kit
-
mcf-config-demo-lib
A Proof of Concept
-
agglayer-interop-grpc-types
contains structs and traits for the gRPC interoperability layer of agglayer
-
stwo-cairo-serialize
Serialization utilities for Stwo Cairo proofs
-
penumbra-sdk-proof-params
Penumbra proof parameters
-
mcf-config-demo-settings
A Proof of Concept
-
world-id-primitives
Contains the raw base primitives (without implementations) for the World ID Protocol
-
penumbra-sdk-eddy
A research implementation of flow encryption for Penumbra
-
w3f-plonk-common
Infrastructure for creating plonk-like proofs
-
merkle-tree-accumulator
append-only Merkle tree-based cryptographic accumulator
-
nitro-da-proofs
Proofs regarding the presence or absence of a blob uploaded using the Blober program
-
proof-fair
A provably fair random number generator (RNG) using HMAC-SHA512 hash with a server seed, a client seed, and a nonce
-
rust-kzg-bn254-prover
offers a set of functions for generating and interacting with bn254 KZG commitments and proofs in rust, with the motivation of supporting fraud and validity proof logic in EigenDA rollup integrations
-
dependent_ghost
Matt Noonan's 'Ghosts of Departed Proofs'
-
cess-sp-core
CESS Storage Proofs - Core parts for proofs of storage
-
pezsnowbridge-beacon-primitives
Snowbridge Beacon Primitives
-
verifiable
Interface for cryptographic proof of membership of a set with known members
-
resource_proof
A 'proof' of bandwidth, cpu and storage for nodes in a decentralised network
-
snowbridge-verification-primitives
Snowbridge Verification Primitives
-
dax_fetcher_http
HTTP proof fetcher for dax-rs
-
ssi-ucan
UCANs for the ssi library
-
derivation_tree
describing derivation trees
-
cadical-veripb-tracer
VeriPB proof tracer for CaDiCaL via RustSAT
-
dragoonfri
Fast Reed-solomon Interactive oracle proof of proximity
-
gvm
Proof of concept
-
data-anchor-proofs
Proofs regarding the presence or absence of a blob uploaded using the Blober program
-
pezsnowbridge-verification-primitives
Snowbridge Verification Primitives
-
data-anchor-data-correctness-verifier
The on-chain verifier for verifying blober proofs
-
fil-proofs-param
Filecoin parameter cli tools
-
departed
that provides some of the benefits of dependent types using the Ghosts of Departed Proofs technique
-
pezsp-transaction-storage-proof
Transaction storage proof primitives
-
bc4py-plot-cli
bc4py proof of capacity plot file generator tool
-
agglayer-interop-types
contains structs and traits for the interoperability layer of agglayer
-
mrkle
A fast and flexible Merkle Tree library
-
mpl-account-compression
Metaplex Fork of Solana Program Library Account Compression Program
-
ssi-data-integrity-suites
Verifiable Credential Data Integrity 1.0 cryptosuites for the
ssilibrary -
cess-sp-post
CESS Storage Proofs - Proofs of Space Time
-
data-anchor-pob-sla-verifier
The on-chain verifier for verifying PoB SLA and blober proofs
-
pezpallet-atomic-swap
FRAME atomic swap pezpallet
-
tpl-token-confidential-transfer-proof-extraction
Trezoa Program Library Confidential Transfer Proof Extraction
-
gnark-verifier-solana
verify Gnark proofs on solana
-
cess-sp-porep
CESS Storage Proofs - Proofs of replication
-
iamgroot
Rust code generation from Open-RPC spec
-
rate-proof-utils
clausal proofs (DRAT, DPR)
-
smetamath
A parallel and incremental verifier for Metamath databases
-
darkhan
Darkhan's test crate
-
ssi-ldp
Linked Data Proofs for the ssi library
-
hocuspocus_rust_crate
Proof of concept publishing crates to crates.io
-
crypto_tree
A cryptographic Merkle tree implementation for secure transaction verification
-
ecvrf-rs
Elliptic Curve VRF implemented in Rust
-
kona-std-fpvm
Platform specific APIs for interacting with Fault Proof VM kernels
-
mutree
A throrougly tested Sparse Merkle Tree Data Structure
-
oof
Naive proof scheme for accelerated testing
-
noirforge-sdk
Rust SDK helpers for NoirForge proof instruction encoding and Solana verify instruction construction
-
merkle-sha3
Sha3-Merkle is a fork of merkle.rs, a Merkle tree with support for generation of inclusion proofs, in sha3
-
nat-poc
A proof of concept re-write of natls
-
kona-common
Common traits and system interfaces for developing client programs on top of Fault Proof VMs
-
formality
An efficient programming language featuring formal proofs
-
kona-proof
OP Stack Proof SDK
-
safe-zk-token-proof-program
Safecoin Zk Token Proof Program
-
gdp_rs
implementing Ghosts-of-departed-proofs pattern in rust
-
data-anchor-dawn-sla-verifier
The on-chain verifier for verifying Dawn SLA and blober proofs
-
tnj-pcc
PCC encoding for TNJ
-
rust-kzg-bn254-verifier
offers a set of functions for verifying KZG commitments and proofs in bn254, with the motivation of supporting fraud and validity proof logic in EigenDA rollup integrations
Try searching with DuckDuckGo.