zero-knowledge-proofs

Minimal implementation of the Mimblewimble protocol.

Cairo is the first Turing-complete language for creating provable programs for general computation.

Interfaces for Relations and SNARKs for these relations

The privacy-focused cryptocurrency

A zero-knowledge protocol for anonymous signalling on Ethereum.

Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and r…

A Privacy-Preserving Framework Based on TensorFlow

Spartan: High-speed zkSNARKs without trusted setup

A curated list of awesome zkEVM resources, libraries, tools and more

The proof systems used by Mina

Rust language general purpose elliptic curve cryptography.

A Rust Implementation of the PLONK ZKP System and Extensions

Java library for distributed zero knowledge proof systems

zkPoD: A decentralized system for perfect fair data exchange

Threshold Signature Scheme for ECDSA

Bellman zkSNARK library for community with Ethereum's BN256 support

The main repo for manta blockchain nodes.

Hääl - Anonymous Electronic Voting System on Public Blockchains

A collection of Paillier cryptosystem zero knowledge proofs