DSL for Halo2 circuits

Monorepo of halo2 crates

A re-implemented ECC circuits with halo2.

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

fast zksnark prover

zkSync: trustless scaling and privacy engine for Ethereum

🦄 🦄 Core smart contracts of Uniswap V2

An example usage as a standalone CLI of https://github.com/KZen-networks/multi-party-ecdsa library which is a Rust implementation of {t,n}-threshold ECDSA.

a zksnark jni library

A modern TLS library in Rust

A universal translator for programming languages

Spartan: High-speed zkSNARKs without trusted setup

C++ library for zkSNARKs

Java library for distributed zero knowledge proof systems

Matter Labs' ZK Rollup

Threshold Signature Scheme, for ECDSA and EDDSA

A collection of various awesome lists for hackers, pentesters and security researchers

A toolbox for zkSNARKs on Ethereum

A pure-Rust implementation of Bulletproofs using Ristretto.

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Rust-language assets for Zcash

CIA - CryptoInAction