Tag
#zksnarks
78 repositories
Repos
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol
A curated collection of links for zero-knowledge proof cryptography used in blockchains
Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS framework, zkLocus turns geolocation into a Real-World-Asset (RWA). zkLocus's DeFi ecosystem is powered by its native $ZKL token.
MinerDAO focus on the Chinese community to research and share mining tutorial.
Your Zero knowledge evidence protocol for encrypted decentralized storage and onchain verifiable ownership.
Checklist for security audit of ZKP projects by @positivesecurity
A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)
A demo using Zokrates to build an encrypted transaction on Ethereum/Qtum based on zkSNARKs algorithm
A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
A python version of the components of zcash zk-SNARKs - https://z.cash/technology/zksnarks
First Prize Winner of the Binance Build for Bharat 2021. Privacy Preserving Secure Stable Coin Streaming Network on Binance Smart Chain (BSC) TestNet powered by VDF Locked Time Weighted Averages.
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
Zero-Knowledge Proof of Liabilities implementation in Noir
🧮 PoC of Zero-Knowledge Proof Adoption to Airbloc
NotVault is an sdk developed by NotCentralised to build self-sovereign dapps with encryption, zk proofs, ipfs and evm.
Swift-based zkSNARK Proving&Verifying tool for noir-lang
v4.1.0: 512-bit BLAKE3 security upgrade, deterministic AI Oracle integration, winterfell 0.9 ZK-STARK migration, and full production. Mainnet-ready and validated.
MinaAuth is a library and accompanying set of Typescript packages making it easy to set up authentication/authorization based on zero-knowledge proof verification. The current functionality is focused on authorizing an HTTP API access with JWT tokens granted on providing valid zero-knowledge proofs.
Cryptography-driven and privacy-preserving election framework with zk-SNARKs
30 minute practical crash course to various zkSNARK frameworks.
Semiott Protocol is a Cryptographic Collective for Succinct Social Interactions and Smart Contracts in the Post Pandemic Political Economy.
Udacity Blockchain Capstone Project: Decentralized Property Ownership Product.
Trustless ZK gaming arcade on Stellar — smart contracts and zero-knowledge circuits for onchain skill verification.
zk-mixer: Privacy-preserving Ethereum mixer using zkSNARKs, Poseidon2, and Merkle trees for unlinkable ETH deposits and withdrawals.
DApp that implements "zkSNARK-Open-Vote-Network" into usable application for voting
Proof-of-concept for privacy-preserving cross-organizational access control. Smart contract roles verified through anonymous credentials using zk-SNARKs.
Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
Docker image with prerequisites to build jsnark (apps)
Use Mina as a Ledger to secure wallets on-chain / off-chain.