-
p3-miden-fri
Miden-specific FRI implementation with configurable folding factor, based on Plonky3's FRI
-
rsnark-provers-core
write Zero-Knowledge circuits for multiple prover systems
-
pocket_prover
A fast, brute force, automatic theorem prover for first order logic
-
rsnark-provers-gnark
write Zero-Knowledge circuits for multiple prover systems
-
xlsynth-driver
Binary that integrates XLS capabilities into a driver program
-
prover-logger
exposes structs and functions to manage logs in the prover-engine
-
atlantic_client
Atlantic client for generating proofs with Atlantic Prover
-
prover-config
exposes the config structs for the prover-engine
-
lettuce
Healthy lattice consructions in pure Rust
-
xlsynth-prover
XLS formal pProvers
-
newton-prover-aggregator-bin
newton prover aggregator
-
prover-utils
offers utility functions and structs, used in prover-engine
-
snarkify-sdk
Snarkify Rust SDK for Streamlined Serverless Prover Development and Deployment
-
jwtsec
JWT менеджер с поддержкой access и refresh токенов, проверкой IP и User-Agent
-
pocket_prover-set
A base logical system for PocketProver to reason about set properties
-
prover-elf-utils
providing utilites to manage ELF related structs
-
prover-engine
contains the framework engine used to build proof on agglayer protocol
-
cop
Highly efficient first-order connection proving
-
ronkathon
Cryptography Educational Foundations
-
rsnark-core
write Zero-Knowledge circuits for multiple prover systems
-
p3-miden-prover
Miden-specific STARK prover built on Plonky3
-
circom-prover
Circom prover is a Rust library for generating and verifying proofs for Circom circuits
-
p3-miden-uni-stark
A minimal univariate STARK framework providing core components for proof generation and verification
-
boundless-assessor
Assessor guest APIs, part of the Boundless Market
-
p3-miden-air
Miden-specific AIR traits and utilities for Plonky3
-
miden-remote-prover-client
Client library for the Miden blockchain remote prover
-
rusk-prover
Local prover for Dusk Network
-
newton-cli
newton protocol cli
-
newton-prover-aggregator
newton prover aggregator utils
-
newton-prover-rpc
newton prover rpc
-
meancop
More efficient, albeit non-lean connection prover
-
veilocity-prover
ZK proof generation for Veilocity using Noir circuits
-
ggp-rs
creating General Game Playing (GGP) players
-
miden-remote-prover
Miden blockchain remote prover
-
rsnark-macros
write Zero-Knowledge circuits for multiple prover systems
-
qp-wormhole-prover
Quantus-Network - Wormhole circuit implementation using Plonky2
-
newton-testing-utils
newton provero testing utils
-
liquid-layout
A layout engine that solves UI constraints using the Z3 prover
-
newton-prover-chainio
newton prover chainio
-
prover-alloy
reexports alloy crates while adding contextualized structs for agglayer
-
prover-telemetry
offers telemetry information for prover-engine
-
newton-prover-metrics
-
bonsol-prover
Zero-knowledge proof generation for Bonsol
Try searching with DuckDuckGo.