WTFAcademy/WTF-zk

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

Language: Jupyter Notebook - Size: 78 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 653 - Forks: 99

lvxv/libsnark-example

libsnark learn example

Language: C++ - Size: 1.95 KB - Last synced: 3 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

AleoHQ/welcome

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

Size: 19.2 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 312 - Forks: 198

iluxonchik/zkLocus

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.

Language: TypeScript - Size: 1.74 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 34 - Forks: 2

hamidra/bitcoin-fold

Implementation of Proof-Carrying bitcoin header using Nova IVC

Language: Rust - Size: 31.3 KB - Last synced: 17 days ago - Pushed: 27 days ago - Stars: 0 - Forks: 0

Electron-Labs/sha512

SHA512 Circom circuits

Language: JavaScript - Size: 35.2 KB - Last synced: 2 days ago - Pushed: over 1 year ago - Stars: 13 - Forks: 5

microsoft/Spartan

Spartan: High-speed zkSNARKs without trusted setup

Language: Rust - Size: 134 KB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 634 - Forks: 96

mlabs-haskell/MinAuth

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.

Language: TypeScript - Size: 5.69 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 0

matter-labs/bellman Fork of zkcrypto/bellman

Bellman zkSNARK library for community with Ethereum's BN256 support

Language: C - Size: 13.4 MB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 151 - Forks: 75

leonardoalt/fusion

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

Language: Rust - Size: 53 MB - Last synced: 26 days ago - Pushed: 26 days ago - Stars: 117 - Forks: 4

fluidex/plonkit

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

Language: Rust - Size: 1.75 MB - Last synced: 27 days ago - Pushed: over 1 year ago - Stars: 154 - Forks: 24

vocdoni/vocdoni-node

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

Language: Go - Size: 16.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 80 - Forks: 16

arkworks-rs/ripp

Argument systems for inner pairing products

Language: Rust - Size: 316 KB - Last synced: 21 days ago - Pushed: 6 months ago - Stars: 42 - Forks: 13

RisenCrypto/RisenCrypto.github.io Fork of barryclark/jekyll-now

Write ups on Mathematical Cryptography

Language: SCSS - Size: 9.75 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 3

AleoHQ/sdk

A Software Development Kit (SDK) for Zero-Knowledge Transactions

Language: TypeScript - Size: 165 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 548 - Forks: 430

Zokrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

Language: Rust - Size: 18.1 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1,735 - Forks: 351

o1-labs/proof-systems

The proof systems used by Mina

Language: Rust - Size: 140 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 365 - Forks: 82

mortimr/snarkrs

⚜️ZKSnarks utility | Compatible with Circom circuits

Language: Rust - Size: 71.3 KB - Last synced: about 2 months ago - Pushed: about 5 years ago - Stars: 3 - Forks: 0

sudiptab2100/Incremental-Merkle-Tree-Python

Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements

Language: Python - Size: 35.2 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

sdiehl/bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Language: Haskell - Size: 177 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 531 - Forks: 44

PaulRBerg/awesome-zkp-starter-pack

A curated collection of links for zero-knowledge proof cryptography used in blockchains

Size: 5.86 KB - Last synced: 11 days ago - Pushed: over 5 years ago - Stars: 69 - Forks: 7

visoftsolutions/noir_rs Fork of AztecProtocol/aztec-packages

Rust-based zkSNARK Proving&Verifying tool for noir-lang

Language: C++ - Size: 193 MB - Last synced: about 2 months ago - Pushed: 4 months ago - Stars: 6 - Forks: 1

Loopring/protocols

A zkRollup DEX & Payment Protocol

Language: Solidity - Size: 39.4 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 305 - Forks: 106

minerdao/awesome-aleo

Awesome Aleo mining and development resources maintained by MinerDAO community.

Size: 149 KB - Last synced: 12 days ago - Pushed: over 1 year ago - Stars: 49 - Forks: 14

howardwu/awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

Size: 201 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 322 - Forks: 218

AleoHQ/workshop

📜 A Starter Guide to Build ZK Applications 📜

Language: Shell - Size: 12.5 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 301 - Forks: 236

tomoima525/zkp-vote

Proof of concept dapp for zero-knowledge proof with Zokrates

Language: TypeScript - Size: 378 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 19 - Forks: 2

DASC7600-2022-E-Voting/E-Voting-App

DApp that implements "zkSNARK-Open-Vote-Network" into usable application for voting

Language: JavaScript - Size: 4.97 MB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

sdiehl/arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

Language: Haskell - Size: 328 KB - Last synced: 3 months ago - Pushed: about 4 years ago - Stars: 79 - Forks: 13

HaoPham23/zkSalary

A Privacy-Preserving System for Salary Verification Using zk-SNARK

Language: Circom - Size: 25.1 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

AleoHQ/snarkOS

A Decentralized Operating System for ZK Applications

Language: Rust - Size: 630 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 3,404 - Forks: 2,550

scipr-lab/dizk

Java library for distributed zero knowledge proof systems

Language: Java - Size: 175 KB - Last synced: 3 months ago - Pushed: about 2 years ago - Stars: 228 - Forks: 65

Thabokani/aleo-starter

Size: 16.6 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

Electron-Labs/ed25519-circom

ED25519 implementation in Circom

Language: JavaScript - Size: 104 KB - Last synced: 3 months ago - Pushed: 11 months ago - Stars: 100 - Forks: 15

AntoineRondelet/snark-mixer

A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)

Language: C++ - Size: 146 KB - Last synced: 5 months ago - Pushed: over 1 year ago - Stars: 28 - Forks: 3

AleoHQ/leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Language: Rust - Size: 126 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 4,044 - Forks: 600

visoftsolutions/noir_java

Java-based zkSNARK Proving&Verifying tool for noir-lang

Language: Rust - Size: 6.29 MB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 3 - Forks: 0

visoftsolutions/noir_swift

Swift-based zkSNARK Proving&Verifying tool for noir-lang

Language: Swift - Size: 44.9 KB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 1

fapiper/onchain-access-control

A proof-of-concept for SSI-oriented, on-chain access control. Smart contract managed roles, based on anonymous credentials that combine verifiable credentials and zero-knowledge proof systems.

Language: Go - Size: 1.94 MB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

zero-savvy/zk-remote-attestation

Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.

Language: Circom - Size: 24.5 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 4 - Forks: 0

somesh-banerjee/zero-knowledge-sample-contract

A simple zk app using SNARKs

Language: JavaScript - Size: 4.63 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

ziesha-network/bazuka

Rust implementation of Ziesha protocol

Language: Rust - Size: 2.75 MB - Last synced: 7 months ago - Pushed: 8 months ago - Stars: 1,066 - Forks: 508

qct/zk-example

An example to show how zk-SNARK works

Language: Solidity - Size: 183 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

itsN1X/0x7981_fff_btcp

https://n1x.site/0x7981_fff_btcp

Size: 229 KB - Last synced: 7 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1

Raunaque97/RepeatingLifeZK

Language: TypeScript - Size: 522 KB - Last synced: about 2 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

tarassh/tauvslagrange

zkSNARK trusted setup experiment

Language: Rust - Size: 55.2 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

vocdoni/docs

Vocdoni documentation

Language: JavaScript - Size: 9.06 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 5 - Forks: 8

bullet-tooth/zk-battleship

Language: Rust - Size: 10.7 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

SuccinctPaul/pazk-notes

Notes and implments of JThaler PAZK book.

Language: Rust - Size: 221 KB - Last synced: about 2 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

howardwu/wagyu-zcash-parameters

Import Zcash Sapling parameters natively into your Rust code

Language: Rust - Size: 47.7 MB - Last synced: 26 days ago - Pushed: about 3 years ago - Stars: 4 - Forks: 2

thetrung/06-zkLedger

Use Mina as a Ledger to secure wallets on-chain / off-chain.

Language: TypeScript - Size: 400 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

thetrung/05-counter

mina counter sample to test zkApp.

Language: TypeScript - Size: 127 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

thetrung/04-zkapp-browser-ui

Mina Tutorial

Language: JavaScript - Size: 3.23 MB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

statebox/libsnark-circuit

Language: C++ - Size: 33.1 MB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

statebox/zksnark-notebooks

iPython notebooks for zkSNARK experiments

Language: Jupyter Notebook - Size: 7.81 KB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

LexiccLabs/VergeNet Fork of harmony-one/horizon

First Prize Winner of Hack the Horizon Bridge Hackathon in Gitcoin organized by Harmony Protocol. Zero Knowledge Proof based Proof System for Cross Chain Interoperability with Harmony Protocol and Ethereum Protocol on Horizon Bridge

Language: Solidity - Size: 1.71 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

GigameshGarages/SiddhiNet Fork of LexiccLabs/SemiotNet

Winner of Binance Prize in the ETH Punk 2021. Privacy Preserving & Real Time Randomness Powered Skill Streaming Social Token Marketplace using ERC20, ERC 721, ERC 1620, ERC 1724 Specifications.

Language: Solidity - Size: 5.15 MB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 2 - Forks: 2

TtheBC01/circom-playground

30 minute practical crash course to zkSNARKs with Circom and snarkjs.

Language: Dockerfile - Size: 96.7 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

minerdao/posts

MinerDAO focus on the Chinese community to research and share mining tutorial.

Size: 4.48 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 30 - Forks: 2

palutz/ZKPBootcamp_hw

ZKP Bootcamp homeworks

Language: Rust - Size: 38.1 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

z-prize/2022-entries

ZPrize 2022 - All qualified entries

Language: Rust - Size: 45.2 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 43 - Forks: 14

NotCentralised/notvault-sdk

NotVault is an sdk developed by NotCentralised to build self-sovereign dapps with encryption, zk proofs, ipfs and evm.

Language: TypeScript - Size: 77.1 KB - Last synced: 7 months ago - Pushed: 8 months ago - Stars: 5 - Forks: 0

Electron-Labs/aes-circom

AES-GCM implementation in Circom

Language: JavaScript - Size: 3.38 MB - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 22 - Forks: 8

ycryptx/ZKMechanisms

Establish trust without transparency using zk snarks

Language: TypeScript - Size: 65.4 MB - Last synced: about 2 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

sdiehl/sonic

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

Language: Haskell - Size: 67.4 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 42 - Forks: 10

LexiccLabs/SemiotNet

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.

Language: CSS - Size: 5.77 MB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 10 - Forks: 12

snario/zknifty

🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs

Language: Python - Size: 237 KB - Last synced: 11 months ago - Pushed: over 5 years ago - Stars: 87 - Forks: 22

Argennon-Project/csgot

The implementation of the CsGo transpiler

Language: Java - Size: 16.4 MB - Last synced: 11 days ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

alxkzmn/zk-wordle

The Wordle you know, but with Zero-Knowledge Proofs

Language: TypeScript - Size: 84.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 10 - Forks: 0

lovesh/libsnark-playground

Learning ZkSNARKs using libsnark

Language: C++ - Size: 14.5 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 10 - Forks: 4

minerdao/aleo-prove-bench

Aleo prove benchmark scripts for testnet3 with GPU.

Language: Rust - Size: 1.25 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 25 - Forks: 8

AleoHQ/aleo-setup Fork of celo-org/snark-setup

A Setup Ceremony for Universal SNARKs

Language: Rust - Size: 10.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 47 - Forks: 78

nikkolasg/playsnark

Toy implementation of snark systems - Groth16, PHGR13 - in Go

Language: Go - Size: 113 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 5 - Forks: 0

arkworks-rs/dpc

A library for decentralized private computation

Language: Rust - Size: 206 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 17 - Forks: 4

hossam-magdy/erc721-nft-zokrates-zksnarks

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

Language: Solidity - Size: 893 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 5 - Forks: 1

Unirep/circuits 📦

The circom circuits which are used in Unirep

Language: TypeScript - Size: 118 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 1

AwesomeHuang/Zokrates_Demo

A demo using Zokrates to build an encrypted transaction on Ethereum/Qtum based on zkSNARKs algorithm

Size: 62.9 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 9 - Forks: 1

matter-labs-archive/Edcon2019_material

Materials for Edcon 2019 webcast

Language: Rust - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 10 - Forks: 4

anudit/zkpython

A zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) implementation in Python.

Language: Python - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 4 - Forks: 6

zTgx/zkMe

🔐 A Groth16 and PLONK toy, including codes, docs and others. Impl in Modern C++ and Rust, and yes, I'm into Rust.

Language: C++ - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

zkcream/mpc Fork of exfinen/snarkjs-mpc

snarkjs-based trusted setup phase2

Language: JavaScript - Size: 41.2 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

kennethgoodman/pyzcash_simplified

A python version of the components of zcash zk-SNARKs - https://z.cash/technology/zksnarks

Language: Python - Size: 6.84 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 12 - Forks: 3

airbloc/zero-knowledge-poc

🧮 PoC of Zero-Knowledge Proof Adoption to Airbloc

Language: JavaScript - Size: 47.9 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 7 - Forks: 0

jensendarren/Decentralized-Property-Ownership-Product

Udacity Blockchain Capstone Project: Decentralized Property Ownership Product.

Language: JavaScript - Size: 545 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

Epiisteme/Semiott

Semiott Protocol is a Cryptographic Collective for Succinct Social Interactions and Smart Contracts in the Post Pandemic Political Economy.

Language: Solidity - Size: 3.19 MB - Last synced: 5 days ago - Pushed: about 3 years ago - Stars: 2 - Forks: 1

Ethsnarks/ethsnarks-snasma

Aggregate zkSNARK transactions (like roll_up)

Language: C++ - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 12 - Forks: 0

bitzec/bitzec Fork of zcash/zcash

BITZEC [BZC] - The Binary digit Zero-knowledge Electronic Currency , Zcash 2.0 [zec] Sapling fork , 2.5minute blocktime ,7bn max supply, Blockreward decreas every month- on zcashs sapling MPC 2 setup - chat: https://discord.gg/VeBJW3H ANN https://bitcointalk.org/index.php?topic=5045890.0

Language: C++ - Size: 67.2 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 6 - Forks: 13

sjuanati/zkSNARK

zkSNARK full process to verify a proof for an arithmetic operation

Language: Solidity - Size: 193 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

vim-labs/ZeneKa

A generalized zkSNARK verification provider.

Language: JavaScript - Size: 1.13 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

roynalnaruto/guessmyword

Word Guessing Game

Language: JavaScript - Size: 559 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

lovesh/bellman-examples Fork of arcalinea/bellman-examples

examples for bellman zk-snarks library

Language: Rust - Size: 74.2 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 5 - Forks: 3

zeropoolnetwork/zp-chrome-extension

Zeropool chrome extension

Language: JavaScript - Size: 2.73 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 2

Ethsnarks/ethsnarks-sfdl

Fairplay SFDL compiler support for Ethsnarks

Language: Java - Size: 281 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 2 - Forks: 2

brennanfife/Privacy-and-Anonymity

Ongoing resource research bank

Size: 25.4 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

appliedblockchain/jsnark-env-docker

Docker image with prerequisites to build jsnark (apps)

Language: Dockerfile - Size: 1000 Bytes - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

appliedblockchain/jsnark-ethsnarks-examples

Language: JavaScript - Size: 40 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 5 - Forks: 1

stefandeml/snark-verifier

web-frontent for zkSNARKS on Ethereum based on ZoKrates

Size: 2.93 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

BANKEX/research

Research materials and explainers from BANKEX Foundation

Size: 93.8 KB - Last synced: over 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 2