Tag
#zero-knowledge-proofs
186 repositories
Repos
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Cairo is the first Turing-complete language for creating provable programs for general computation.
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 curated list of awesome zkEVM resources, libraries, tools and more
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.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
zkPoD: A decentralized system for perfect fair data exchange
Hääl - Anonymous Electronic Voting System on Public Blockchains
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
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.
🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine
A curated collection of links for zero-knowledge proof cryptography used in blockchains
Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.
Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
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!
Samples of Ethereum smart contracts, golang and circom for beginners.
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
Typescript abstractions over Rust crypto library's WASM wrapper
A trust-less voting system based on blockchain to secure the purpose of democracy.
A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.
Secure E-Voting framework based on Ethereum blockchain and zkSNARK
🔒 ZK-WASM: Zero-Knowledge Proofs in Rust 🦀, compiled to WebAssembly 🕸️, bridged with JavaScript 🚀
凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
Powering Verifiable Computation for Nostr Data Vending Machines.
An open source, private, self-custodial wallet. Built on the Aleo network.
Smart contract - Zerocash-like approach for privacy on Ethereum
A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies
Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity
🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs
Aleo's Minimum Anti-Collusion Infrastructure / MACI
Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
Fractal scaling without fragmentation, powered by the Starknet stack 🐺
Decentralized/blokchain-based real-estate listing project using ERC721 (NFT), zero-knowledge proofs (zk-SNARKS / ZoKrates), and open marketplace (OpenSea). It is the final project in Blockchain developer nanodegree: https://udacity.com/course/nd1309
An example of a zero-knowledge-proof of a SHA256 pre-image for Ethereum
Implementation of Citadel, a self-sovereign identity system integrated in Dusk.
First Ever Digital Blood Bank Bulk Transfusion Workflow Platform that won the OJAS MedTech Accelerator Pitch in 2020.
Privacy-first blockchain architecture combining ZK-SNARKs (Groth16), Move smart contracts, and Rust sequencer. Open-source framework for production-ready privacy-preserving applications. Designed by magic.
🧮 PoC of Zero-Knowledge Proof Adoption to Airbloc
Mixup is a zk-Snarks powered, decentralized, non-custodial privacy solution built on Harmony. It improves transaction privacy by breaking the on-chain link between recipient and destination addresses. This project was inspired by tornado cash.
Osiris is a Python library designed for efficient data conversion and management, primarily transforming data into Cairo programs
Zero Knowledge Verifiable Random Function - zkVRF for EVM blockchains
One Universal Identity (OUI) is the world's first blockchain identity management system with AI-powered threat detection. Unlike existing solutions, OUI combines self-sovereign identity with machine learning security, enabling real-time behavioral analysis, synthetic identity detection, and risk scoring.
Scoria AI is a decentralized AI agent framework on blockchain, enabling private, on-device Web3 intelligence for users and enterprises.