Consensys/gnark

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

Language: Go - Size: 25.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,531 - Forks: 428

Consensys/gnark-crypto

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.

Language: Go - Size: 37.8 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 543 - Forks: 205

Koukyosyumei/MyZKP

Building Zero Knowledge Proof from Scratch in Rust

Language: Rust - Size: 1.82 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 32 - Forks: 0

arkworks-rs/groth16

A Rust implementation of the Groth16 zkSNARK

Language: Rust - Size: 185 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 282 - Forks: 119

Electron-Labs/ed25519-circom 📦

ED25519 implementation in Circom

Language: JavaScript - Size: 104 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 114 - Forks: 17

alxkzmn/zk-wordle

The Wordle you know, but with Zero-Knowledge Proofs

Language: TypeScript - Size: 84.1 MB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 0

arkworks-rs/marlin

A Rust library for the Marlin preprocessing zkSNARK

Language: Rust - Size: 1.68 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 321 - Forks: 89

jsign/zig-poseidon

A Zig implementation of Poseidon2 hash function.

Language: Zig - Size: 922 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 1

iagohk/DEX-Trading-Tool

Powerful tools for risk management and analysis, also provides high speed execution of trades due to gas optimization, mempool monitoring and use of dedicated nodes. Anti-Scam system adds an extra layer of security by protecting users from fraudulent tokens and contracts.

Size: 1000 Bytes - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

xQiratNL/VLDP

Efficient Verifiable Differential Privacy with Input Authenticity in the Local and Shuffle Model

Language: Rust - Size: 13.7 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

tamago-labs/zkgpt

Building your GPT-based private knowledge hub using zkSNARK & PLONK

Language: Circom - Size: 41.3 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 1

verumlotus/ZK-Hashes

Calculate the hash of any input for ZK-Friendly hashes (MiMC & Poseidon) over a variety of Elliptic Curves.

Language: TypeScript - Size: 951 KB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1

Elexy101/Aleo-Monopoly

This is a simple monopoly game using Leo programming language. Players has a specific amount to buy, rent and sale property. Play with opponent is now supported. Have fun playing cannot be known! Testnet Gude: https://elexy101.hashnode.dev/aleo-monopoly-beta-how-to-play-1st-monopoly-game-on-aleo-blockchain

Language: HTML - Size: 21 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 6

sripwoud/decentralized_house_listing

🏘️ Decentralized house listing service using ERC721 standard, ZKSNARK, and OpenSea

Language: Solidity - Size: 442 KB - Last synced at: 18 days ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 4

Isaac-DeFrain/pinocchio

Reference implementation of the Pinccohio zk proof system

Language: Shell - Size: 29.3 KB - Last synced at: 20 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

fluidex/plonkit

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

Language: Rust - Size: 1.75 MB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 159 - Forks: 26

matter-labs/bellman Fork of zkcrypto/bellman 📦

Bellman zkSNARK library for community with Ethereum's BN256 support

Language: C - Size: 13.5 MB - Last synced at: 21 days ago - Pushed at: 8 months ago - Stars: 160 - Forks: 79

Electron-Labs/sha512

SHA512 Circom circuits

Language: JavaScript - Size: 35.2 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 4

Tetration-Lab/arkworks-solidity-verifier

Solidity SNARK verifier generator for Arkwork's proof systems.

Language: Rust - Size: 35.2 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0

shanzson/Zero-Knowledge-Proofs-Learning-Resources

This repository contains Zk learning resources

Size: 67.4 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 106 - Forks: 10

KogarashiNetwork/Kogarashi

凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform

Language: Rust - Size: 5.9 MB - Last synced at: 10 days ago - Pushed at: about 1 year ago - Stars: 27 - Forks: 4

ZeroProphet/klefki

Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

Language: Python - Size: 4.96 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 8

zkLinkProtocol/zklink-contracts

zklink core contract, EVM compatible.

Language: Solidity - Size: 1.75 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 82 - Forks: 55

mjzk/yazkb

Yet Another Zero Knowledge Benchmark

Language: Rust - Size: 5.04 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

alxiong/ark-srs

Use Common/Structured Reference String (CRS/SRS) from existing ceremonies with ease

Language: Rust - Size: 64.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

partylikeits1983/privacy-vote

proving knowledge of a hash preimage of a leaf in a intermediate merkle tree in Noir

Language: Solidity - Size: 3.9 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - 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 at: 26 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SeiyaKobayashi/proof-of-social-media-activities

Language: TypeScript - Size: 3.05 MB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

anoma/namada-trusted-setup Fork of AleoHQ/aleo-setup

Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers

Language: Rust - Size: 11.7 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 114 - Forks: 64

KrzysiekKuczma/zkVote

zkVote - is an example DAO where users can submit their own proposals, vote on the other proposals, and in the end execute the proposals that have been resolved. However, the biggest game changer here is the voting system. The voting system utilises Liminal 0, which leverages zero-knowledge proofs to hide the decision of the particular voter.

Language: Rust - Size: 4.28 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 3

arkworks-rs/gm17

A Rust library for the preprocessing zkSNARK of Groth and Maller

Language: Rust - Size: 120 KB - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 5

mickymultani/ZeroKnowledgeProofs

Interactive simulation of Zero-Knowledge Proofs using elliptic curve cryptography in Python, demonstrating secure credit score verification for lending processes.

Language: Jupyter Notebook - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

grjte/zkmafia

A decentralized, on-chain version of the game Mafia using zero knowledge

Language: Solidity - Size: 3.06 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

zack-bitcoin/verkle

A database being built for the Amoveo blockchain.

Language: Erlang - Size: 1.08 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 15 - Forks: 4

mottla/go-AlgebraicProgram-SNARK

Pairing-Based Zero-Knowledge SNARK creation toolchain

Language: Go - Size: 1.31 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

xendarboh/human-collectives

Zero-Knowledge Collective Human Identities with Bio-Authenticated Sybil-Resistance from HUMΔNODE.

Language: TypeScript - Size: 770 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

statebox/solidity-zksnark-verifier

An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs

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

stanbar/zkSNARK.wasm

Circuit compiler for zkSNARKs

Language: JavaScript - Size: 172 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

sCrypt-Inc/zk-battleship Fork of diemkay/battleship

A React zkSNARK Battleship game

Language: TypeScript - Size: 27.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 3

zdai-io/zkVoting 📦

zkSNARK based Voting constructor

Language: JavaScript - Size: 18.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 10 - Forks: 1

Electron-Labs/aes-circom

AES-GCM implementation in Circom

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

curryrasul/voan

ANonymous VOting platform on NEAR Protocol

Language: JavaScript - Size: 26.4 MB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1

LBruyne/ZKPedia

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

Size: 461 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

Ethsnarks/ethsnarks-pinocchio

Compile C to zkSNARKs using Pinocchio

Language: Python - Size: 52.7 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

nokitakaze/pedersen-hash.net

Pedersen Hash for C# .Net

Language: C# - Size: 19 MB - Last synced at: 29 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

verumlotus/circomlib-ml-vesta Fork of socathie/circomlib-ml

Circom Circuits Library for Machine Learning for the Vesta Curve

Language: Jupyter Notebook - Size: 890 KB - Last synced at: 26 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Blockchain-E-Voting/EthzkSNARK-Voting

Secure E-Voting framework based on Ethereum blockchain and zkSNARK

Language: JavaScript - Size: 4.67 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 26 - Forks: 10

matter-labs-archive/Edcon2019_material

Materials for Edcon 2019 webcast

Language: Rust - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 10 - Forks: 4

Ethsnarks/ethsnarks-hashpreimage

An example of a zero-knowledge-proof of a SHA256 pre-image for Ethereum

Language: C++ - Size: 30.3 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 10 - Forks: 1

zkcream/zkcream-api-server

zkcream backend REST api server

Language: TypeScript - Size: 17.3 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

ShashvatS/anonstake

Code for AnonStake selection proofs

Language: Rust - Size: 2.71 GB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - 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 at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 13

Ethsnarks/miximus-emscripten

Miximus + Emscripten/WASM + Browser = zkSNARKs on the web

Language: Makefile - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1

Ethsnarks/ethsnarks-pepper-extgadget

Language: C++ - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

Ethsnarks/ethsnarks-jsnark

jsnark support for ethsnarks

Language: Makefile - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

wanzhiguo/lightning_circuit Fork of ebfull/lightning_circuit

Language: C++ - Size: 1.38 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0