arkworks-rs/groth16

A Rust implementation of the Groth16 zkSNARK

Language: Rust - Size: 184 KB - Last synced: 3 days ago - Pushed: 13 days ago - Stars: 208 - Forks: 75

arkworks-rs/marlin

A Rust library for the Marlin preprocessing zkSNARK

Language: Rust - Size: 1.68 MB - Last synced: 11 days ago - Pushed: 5 months ago - Stars: 299 - Forks: 79

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

mjzk/yazkb

Yet Another Zero Knowledge Benchmark

Language: Rust - Size: 5.04 MB - Last synced: 22 days ago - Pushed: 23 days ago - Stars: 0 - 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

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: 34 MB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 456 - Forks: 145

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

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: 23 days ago - Pushed: 9 months ago - Stars: 23 - Forks: 8

zkLinkProtocol/zklink-contracts

zklink core contract, EVM compatible.

Language: Solidity - Size: 1.75 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 82 - Forks: 55

Elexy101/Aleo-Monopoly

This is a simple monopoly game using Leo programming language. Players has a specific amount to buy, rent, stake to earn, bid super auction and sale property. Have fun playing private as balances/bid cannot be known! Testnet Gude: https://elexy101.hashnode.dev/aleo-monopoly-beta-how-to-play-1st-monopoly-game-on-aleo-blockchain

Language: HTML - Size: 20.9 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 4 - Forks: 5

alxiong/ark-srs

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

Language: Rust - Size: 64.5 MB - Last synced: about 1 month ago - Pushed: about 1 month 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: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

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.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1,258 - Forks: 308

shanzson/Zero-Knowledge-Proofs-Learning-Resources

This repository contains Zk learning resources

Size: 46.9 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 86 - Forks: 8

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

tamago-labs/zkgpt

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

Language: Circom - Size: 41.3 MB - Last synced: 2 days ago - Pushed: 12 months ago - Stars: 6 - Forks: 1

SeiyaKobayashi/proof-of-social-media-activities

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

KogarashiNetwork/Kogarashi

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

Language: Rust - Size: 5.9 MB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 26 - Forks: 4

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: 2 months ago - Pushed: over 1 year ago - Stars: 114 - Forks: 64

sripwoud/decentralized_house_listing

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

Language: Solidity - Size: 442 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 5 - Forks: 3

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: 4 months ago - Pushed: over 1 year 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: 23 days ago - Pushed: 9 months ago - Stars: 8 - Forks: 4

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

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: 5 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

Tetration-Lab/arkworks-solidity-verifier

Solidity SNARK verifier generator for Arkwork's proof systems.

Language: Rust - Size: 35.2 KB - Last synced: 18 days ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0

grjte/zkmafia

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

Language: Solidity - Size: 3.06 MB - Last synced: about 2 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

zack-bitcoin/verkle

A database being built for the Amoveo blockchain.

Language: Erlang - Size: 1.08 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 15 - Forks: 4

mottla/go-AlgebraicProgram-SNARK

Pairing-Based Zero-Knowledge SNARK creation toolchain

Language: Go - Size: 1.31 MB - Last synced: 9 months ago - Pushed: almost 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: 10 months ago - Pushed: almost 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: 10 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

stanbar/zkSNARK.wasm

Circuit compiler for zkSNARKs

Language: JavaScript - Size: 172 KB - Last synced: 10 days ago - Pushed: about 3 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: 5 months ago - Pushed: 5 months ago - Stars: 9 - Forks: 3

zdai-io/zkVoting 📦

zkSNARK based Voting constructor

Language: JavaScript - Size: 18.1 MB - Last synced: 11 months ago - Pushed: about 5 years ago - Stars: 10 - Forks: 1

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

curryrasul/voan

ANonymous VOting platform on NEAR Protocol

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

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

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: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

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: about 1 year ago - Pushed: over 1 year ago - Stars: 4 - Forks: 0

Ethsnarks/ethsnarks-pinocchio

Compile C to zkSNARKs using Pinocchio

Language: Python - Size: 52.7 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 1

nokitakaze/pedersen-hash.net

Pedersen Hash for C# .Net

Language: C# - Size: 19 MB - Last synced: 3 months ago - Pushed: 3 months 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: 29 days ago - Pushed: over 1 year 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: over 1 year ago - Pushed: almost 5 years ago - Stars: 26 - Forks: 10

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

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: about 1 year ago - Pushed: over 5 years ago - Stars: 10 - Forks: 1

zkcream/zkcream-api-server

zkcream backend REST api server

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

ShashvatS/anonstake

Code for AnonStake selection proofs

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

Ethsnarks/ethsnarks-pepper-extgadget

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

Ethsnarks/ethsnarks-jsnark

jsnark support for ethsnarks

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

wanzhiguo/lightning_circuit Fork of ebfull/lightning_circuit

Language: C++ - Size: 1.38 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0