#Zero-knowledge-proofs
Showing 39 of 39 repositories tagged #zero-knowledge-proofs, ranked by stars
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.
Agentlens is a trusted agent trading platform. Here, you can quickly find the Agent that meets your needs, and you can also publish your own Agent to turn it into your digital asset. We encourage everyone to transform their areas of expertise into Agents and turn them into digital assets, allowing others to see your unique strengths.
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 Rust Implementation of the PLONK ZKP System and Extensions
Curated Web3 security learning hub for smart contract auditors and protocol teams: roadmaps, audit tools, public reports, fuzzing, formal verification, AI-assisted workflows, offchain security, incident response, and launch checklists.
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.
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.
Making client-side ZK proving on mobile simple.
The main repo for manta blockchain nodes.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
Threshold Signature Scheme for ECDSA
Rust implementation of the Agglayer.
Hääl - Anonymous Electronic Voting System on Public Blockchains
Configurable Asset Privacy for Ethereum
Watermarking Deep Neural Networks (USENIX 2018)
Best zkSync-era ETL ever 😜
Arithmatic circuits convertible to R1CS based on Bulletproofs
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Example project for EthSnarks - Miximus coin mixer
A curated list of awesome ORA ecosystem.
Rust Crates for the Manta Network Ecosystem
A curated collection of links for zero-knowledge proof cryptography used in blockchains
The Ultimate ZK Proving Software Suite for Securing OP Rollups
Zero Knowledge Proofs Toolkit for CKB
This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or findings here!
Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905
A Solidity implementation of Halo2's Pasta curves
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
Chain-agnostic privacy & compliance infrastructure for Web3 (.NET). Supporting Stellar, Cardano, Solana, and enterprise anchoring.
Privacy-first institutional asset tokenization designed to automate regulatory compliance and auditing while preserving strong client confidentiality.