#Zkp
Showing 32 of 32 repositories tagged #zkp, ranked by stars
Contracts of the Sismo Badge Minting Protocol
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Cairo is the first Turing-complete language for creating provable programs for general computation.
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
A zkVM for Decentralized Private Computations (DPC)
The privacy-focused cryptocurrency
indy-sdk
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Solarity Solidity Library
Common cryptographic library used in software at Mysten Labs.
Curated Collection of Ethereum Ecosystem Resources
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.
Build your zkp app with typescript, hardhat, circom, and snarkjs!
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Docs website for the Mina Protocol.
zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.
The registry with Distributed Lab papers
zkDatabase, a distributed off-chain database with ZK prover
Education Platform to onboard developers to Starknet.
Zero Knowledge Provable JSON
This repository lists some awesome public Rust projects, Videos, Blogs and Jobs.
zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
Explore the world of zero-knowledge proofs from first principles.
One substrate, many proofs. Trait-based on-chain verifier library for Solana supporting Groth16, PLONK, FRI-STARK, and Nova.