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

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.

A trustless P2P fiat onramp powered by ZK proofs.

ZK proofs for responsible vulnerability disclosure on EVM.

Wordle, but with ZK proofs!

This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance

This is a lightweight agent framework for Rust that integrates smoothly with a variety of systems. It offers a clear and straightforward foundation for building and managing multi-agent solutions with zk proof functions.

Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.

The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generating ZK proofs, the Coordinator responsible for multiple orchestrations, and the Postman to execute bridge messages

Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.

ZKmaps uses ZK proofs to provide a proof of location without sharing the user's actual location

zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.

Detailed guide to contribute to the ceremony which is conducted for our Groth16 zk-SNARK circuits, which are integral to EthStorage’s proof-of-storage algorithm.

Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography

Multi proof Aggregation for Zk SNARK on Ethereum

Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.

ZK proofs for image authenticity

Resources for learning zero knowledge proof systems

A zk-SNARK implementation

building blocks for accelerating ZK proofs over binary fields

An example of a zero-knowledge proof (a zk-SNARK) explained in comic format.

An offchain computing layer for DePIN verifiable data computation, supporting a variety of validity proofs including Zero Knowledge (ZK), Trusted Execution Environments (TEE), and Multi-party Computation (MPC)

Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)

Extension for zk succinct non-interactive ownership proofs.

Crypto red packet with zk-proof.

The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata

Client library for generating and using RLN ZK proofs

🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs

Web Proofs using zk-SXG

Examples using Noir & Sunspot for ZK Proofs on Solana