Minimal implementation of the Mimblewimble protocol.

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

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

A zero-knowledge protocol for anonymous interactions.

Interfaces for Relations and SNARKs for these relations

The privacy-focused cryptocurrency

Spartan: High-speed zkSNARKs without trusted setup

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

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

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

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

The proof systems used by Mina

A Rust Implementation of the PLONK ZKP System and Extensions

Rust language general purpose elliptic curve cryptography.

The main repo for manta blockchain nodes.

Java library for distributed zero knowledge proof systems

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

zkPoD: A decentralized system for perfect fair data exchange