零知识证明

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

Spartan: High-speed zkSNARKs without trusted setup

The privacy-focused cryptocurrency

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

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 reference implementations.

A Privacy-Preserving Framework Based on TensorFlow

A Rust Implementation of the PLONK ZKP System and Extensions

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

The proof systems used by Mina

The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.

Rust language general purpose elliptic curve cryptography.

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

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 🐺.