The Halo2 zero-knowledge proving system

A course on Halo2 in collaboration with Zircuit

Composable proof transcripts for public-coin arguments of knowledge

zkSNARK implementation in JavaScript & WASM

r1cs file format parser

zkSnark circuit compiler

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

A Rust implementation of the Groth16 zkSNARK

LegoGroth16 implementation on top of Zexe

A Rust library for polynomial commitments

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

Implementations of popular elliptic curves

Libraries for finite field, elliptic curve, and polynomial arithmetic

This crate provides custom de/serialization helpers to use in combination with serde's `with`-annotation and with the improved `serde_as`-annotation.

This script allows bootstrapping a new substrate chain with the current state of a live chain

Recursive SNARKs based on Plonk and Halo

An Awesome List for resources on the foundations of Decentralized Finance (DeFi)

Spartan: High-speed zkSNARKs without trusted setup

Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters

Utilities and base libraries for use across polkadot-js for Polkadot and Substrate. Includes base libraries, crypto helpers and cross-environment helpers.

A tiny utility to help save you a lot of effort with long winded `#[cfg()]` checks in Rust.

A collection of debug tools, scripts and libraries on top of substrate.

Find the ideal fuzz targets in a Rust codebase

Publications from Trail of Bits

Promise and RxJS APIs around Polkadot and Substrate based chains via RPC calls. It is dynamically generated based on what the Substrate runtime provides in terms of metadata.