The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Zero-knowledge gadgets for Webb's cross-chain blockchain applications.

Arkworks circuits for verifiable time-lock encryption

Elliptic Curve Fast Fourier Transform built on @arkworks-rs

Benchmarks of popular zkVMs including Jolt

Arkworks extensions enabling customizable hooks for EC operations

A standard library wrapper for use in the `arkworks` ecosystem

Polymath: Groth16 Is Not The Limit

Elliptic Curve VRFs

Solidity SNARK verifier generator for Arkwork's proof systems.

A BrainFuck zkVM based on a customised version of PlonkUp

A small Rust library to handle matrices made from elements of finite fields

A timelock encryption library with multi-language support

Examples of using zero-knowledge proofs on the TON blockchain (Groth16)

Mental poker library implementing Bayer-Groth 2012 shuffle proofs for multi-party card shuffling without a trusted dealer

Python bindings for verifying Bandersnatch VRFs

Cairo-VM Stark Verifier Arkworks implementation(WIP)

A Rust library providing verifiable aggregation ledgers in distributed spatial networks. It implements deterministic zero-knowledge proof (ZKP) and verification pipelines for local data processing—specifically validating location constraints and machine learning training updates—using a flexible API designed for seamless integration with Halo2

Zero-knowledge prover utility for HollowDB.