Lib.rs

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

p3-miden-fri

Miden-specific FRI implementation with configurable folding factor, based on Plonky3's FRI

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

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-engine

contains the framework engine used to build proof on agglayer protocol

prover-elf-utils

providing utilites to manage ELF related structs

cop

Highly efficient first-order connection proving

miden-remote-prover

Miden blockchain remote prover

ronkathon

Cryptography Educational Foundations

rsnark-core

write Zero-Knowledge circuits for multiple prover systems

circom-prover

Circom prover is a Rust library for generating and verifying proofs for Circom circuits

miden-remote-prover-client

Client library for the Miden blockchain remote prover

boundless-assessor

Assessor guest APIs, part of the Boundless Market

rusk-prover

Local prover for Dusk Network

newton-cli

newton protocol cli

p3-miden-uni-stark

A minimal univariate STARK framework providing core components for proof generation and verification

p3-miden-prover

Miden-specific STARK prover built on Plonky3

meancop

More efficient, albeit non-lean connection prover

veilocity-prover

ZK proof generation for Veilocity using Noir circuits

newton-prover-rpc

newton prover rpc

ggp-rs

creating General Game Playing (GGP) players

rsnark-macros

write Zero-Knowledge circuits for multiple prover systems

p3-miden-air

Miden-specific AIR traits and utilities for Plonky3

newton-prover-chainio

newton prover chainio

qp-wormhole-prover

Quantus-Network - Wormhole circuit implementation using Plonky2

liquid-layout

A layout engine that solves UI constraints using the Z3 prover

prover-alloy

reexports alloy crates while adding contextualized structs for agglayer

prover-telemetry

offers telemetry information for prover-engine

bonsol-prover

Zero-knowledge proof generation for Bonsol

newton-prover-metrics

newton-prover-config

newton prover configuration

pocket_prover-derive

Derive procedural macros for pocket_prover

sov-prover-incentives

A Sovereign SDK module for incentivizing provers