Projects in Awesome Lists tagged with zk-snarks

https://github.com/minaprotocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

blockchain cryptocurrency mina ocaml zk-snarks

Last synced: 17 Dec 2024

https://github.com/MinaProtocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

blockchain cryptocurrency mina ocaml zk-snarks

Last synced: 07 Nov 2024

https://github.com/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

gnark golang r1cs zk-snarks zkp zksnark

Last synced: 17 Dec 2024

https://github.com/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

gnark golang r1cs zk-snarks zkp zksnark

Last synced: 08 Nov 2024

https://github.com/darkrenaissance/darkfi

Anonymous. Uncensored. Sovereign.

crypto cryptocurrency halo2 rust zero-knowledge zk zk-snarks zkvm

Last synced: 18 Dec 2024

https://github.com/semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

circom ethereum hacktoberfest javascript monorepo proof-of-membership semaphore solidity typescript zero-knowledge zero-knowledge-proofs zk-snarks

Last synced: 17 Dec 2024

https://github.com/ethereum-oasis-op/baseline

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.

docker docker-compose ethereum geth gnark graphql nodejs protocol reactjs smart-contracts solidity zero-knowledge-proofs zk-snarks

Last synced: 25 Nov 2024

https://github.com/sdiehl/bulletproofs

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

bulletproofs cryptography elliptic-curves pedersen-commitment range-proofs sigma zero-knowledge zk-snarks zksnarks

Last synced: 21 Dec 2024

https://github.com/PIVX-Project/PIVX

Protected Instant Verified Transactions - Core wallet.

cryptocurrencies cryptocurrency governance masternodes p2p pivx pos privacy proof-of-stake sapling shield wallet zk-snarks

Last synced: 19 Nov 2024

https://github.com/a16z/jolt

The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌

arkworks crypto cryptography snark zk zk-snarks zkp zkvm

Last synced: 09 Nov 2024

https://github.com/stealthdrop/stealthdrop

Anonymous Airdrops using ZK-SNARKs

ethereum zero-knowledge zk-snarks

Last synced: 05 Nov 2024

https://github.com/privacy-scaling-explorations/zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

javascript monorepo typescript zero-knowledge zk-kit zk-snarks

Last synced: 19 Dec 2024

https://github.com/LayerXcom/zero-chain

A privacy-preserving blockchain on Substrate

blockchain rust substrate zero-knowledge zk-snarks

Last synced: 01 Nov 2024

https://github.com/lurk-lab/awesome-folding

A curated list of zero-knowledge folding schemes

awesome-list zero-knowledge zk-snarks

Last synced: 13 Dec 2024

https://github.com/harryr/ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

algorithms cplusplus-11 ethereum pinocchio python research sdk solidity zk-snarks

Last synced: 29 Sep 2024

https://github.com/HarryR/ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

algorithms cplusplus-11 ethereum pinocchio python research sdk solidity zk-snarks

Last synced: 06 Nov 2024

https://github.com/sismo-core/hydra-s1-zkps

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

circom snarkjs zk zk-snarks zkp

Last synced: 17 Dec 2024

https://github.com/paulmillr/noble-bls12-381

DEPRECATED. Use noble-curves instead. Fastest JS implementation of BLS12-381.

barreto-lynn-scott bls-signature bls12 bls12-381 boneh-lynn-shacham crypto curve ecc elliptic-curve-cryptography eth2 noble pairing signature-aggregation signatures zk-snarks

Last synced: 09 Nov 2024

https://github.com/keep-starknet-strange/garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

cairo-lang elliptic-curve-cryptography elliptic-curves pairing snarks starknet starks zero-knowledge zero-knowledge-proofs zk-snarks zkp

Last synced: 21 Nov 2024

https://github.com/supranational/sppark

Zero-knowledge template library

bls12-377 bls12-381 cuda ntt pasta-curves zero-knowledge zero-knowledge-proofs zk-snarks zk-starks

Last synced: 15 Nov 2024

https://github.com/quillhash/zero-knowledge-mastery

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.

ethereum zero-knowledge-proofs zk-snarks zkp zksync

Last synced: 11 Nov 2024

https://github.com/0xPARC/zkrepl

An online playground for zero knowledge circuits

circom zk-snarks

Last synced: 16 Nov 2024

https://github.com/plume-sig/zk-nullifier-sig

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

anonymity cryptography ecdsa nullifier zk-snarks

Last synced: 30 Oct 2024

https://github.com/binance/zkmerkle-proof-of-solvency

This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance

merkle-tree proof-of-reserve proof-of-solvency zk zk-snarks

Last synced: 20 Dec 2024

https://github.com/zink-lang/zink

Rustic programming language that targets the Ethereum Virtual Machine

evm nova rust spartan wasm zk-snarks

Last synced: 17 Dec 2024

https://github.com/0xPolygonZero/plonky

Recursive SNARKs based on Plonk and Halo

cryptography halo plonk zk-snarks

Last synced: 18 Nov 2024

https://github.com/eddieoz/haal

Hääl - Anonymous Electronic Voting System on Public Blockchains

blockchain blockchains dapp digital-signatures e-voting electronic-voting ethereum ganache homomorphic-encryption proof protocol smart-contracts stealth-wallets votes voting-system whitepaper zero-knowledge-proofs zk-snarks

Last synced: 01 Nov 2024

https://github.com/ZKProofs/ZKProofs.github.io

ZKProofs website

proofs zero-knowledge zk-snarks

Last synced: 07 Nov 2024

https://github.com/0xPolygonZero/r1cs

A Rust library for building R1CS gadgets

cryptography r1cs zk-snarks

Last synced: 09 Nov 2024

https://github.com/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

blockchain ethereum golang ipfs privacy-by-design tendermint vote-application vote-system voting voting-system zk-snarks zksnarks

Last synced: 18 Dec 2024

https://github.com/ethereum934/eth-mimblewimble

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

erc20 ethereum mimblewimble pedersen-mmr-tree zk-rollup zk-snarks

Last synced: 22 Nov 2024

https://github.com/sdiehl/arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

arithmetic-circuit compiler qap zero-knowledge zk-snarks zksnarks

Last synced: 21 Nov 2024

https://github.com/harryr/ethsnarks-miximus

Example project for EthSnarks - Miximus coin mixer

anonymity cryptocurrency ethereum ethsnarks mixer privacy zero-knowledge-proofs zk-snarks

Last synced: 25 Nov 2024

https://github.com/orochi-network/orochimaru

Orochi Network monorepo of its full-node client

decentralized ecvrf mpc vrf webassembly-runtime zero-knowledge zk-snarks zkwasm

Last synced: 20 Dec 2024

https://github.com/colinnielsen/ecrecover-noir

A Noir circuit that mimics Solidity's ecrecover

ecrecover ethereum noir noir-lang secp256k1 solidity zk-snarks

Last synced: 30 Oct 2024

https://github.com/a16z/zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

arkworks crypto cryptography snark zk zk-snarks zkp zkvm

Last synced: 09 Nov 2024

https://github.com/adria0/za

An experimental rust zksnarks compiler with embeeded bellman-bn128 prover

cryptography ethereum learning-by-doing rust smartcontract zk-snarks

Last synced: 01 Nov 2024

https://github.com/anonklub/anonklub

Anonymous Proof of Ethereum Address Ownership

address circom ethereum halo2 membership ownership privacy snarkjs spartan wasm zk-snarks zkp

Last synced: 16 Dec 2024

https://github.com/zunxbt/zkverify

Send Proof to zkVerify for Verification using this one click guide

bash zk zk-snarks zkverify zunxbt

Last synced: 29 Oct 2024

https://github.com/getZeFi/circomjs

CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.

circom circom-framework circomjs snarkjs zk-snarks

Last synced: 09 Nov 2024

https://github.com/enricobottazzi/designated-verifier-proof

Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)

circom cryptography ecdsa-cryptography signature-verification snarkjs zk-snarks

Last synced: 08 Nov 2024

https://github.com/interep-project/reputation-service

🚀 Interep back-end and front-end.

badge interrep reputation reputation-badge semaphore zk-snarks

Last synced: 07 Nov 2024

https://github.com/michaelliao/red-packet-contract

Crypto red packet with zk-proof.

crypto ethereum red-packet smart-contracts solidity zk-snarks

Last synced: 16 Nov 2024

https://github.com/nalinbhardwaj/isokratia

Infinitely Compressible Governance using Recursive SNARKs

blockchain governance zk-snarks

Last synced: 17 Dec 2024

https://github.com/lambdaclass/noir_backend_using_gnark

A Noir's backend implementation using Gnark

gnark noir-lang snarks zero-knowledge zk-snarks

Last synced: 24 Nov 2024

https://github.com/LayerXcom/bellman-substrate

A library for supporting zk-SNARKs to Substrate

rust substrate zero-knowledge-proofs zk-snarks

Last synced: 01 Oct 2024

https://github.com/dcbuild3r/ptau-deserializer

.ptau deserializer for gnark groth16 bn254 trusted setup

cryptography gnark powers-of-tau snarkjs zk-snarks

Last synced: 29 Oct 2024

https://github.com/daira/plonk-standard

Draft documents for standardization of Plonkish arithmetization

arithmetization standards zk-snarks

Last synced: 10 Dec 2024

https://github.com/privacy-scaling-explorations/zk-kit.circom

A monorepo of reusable Circom circuits.

circom monorepo zero-knowledge zk-kit zk-snarks

Last synced: 26 Nov 2024

https://github.com/antoinerondelet/zerocash-ethereum

Smart contract - Zerocash-like approach for privacy on Ethereum

ethereum privacy proposal zero-knowledge-proofs zk-snarks

Last synced: 12 Nov 2024

https://github.com/guanzhi/zkrypt

Zero-Knowledge Proof Toolbox

plonk zk-snarks zkp

Last synced: 14 Oct 2024

https://github.com/xevisalle/zpie

ZPiE: Zero-knowledge Proofs in Embedded systems

arithmetic-circuits bulletproofs c cryptography range-proofs zero-knowledge-proofs zk-snarks

Last synced: 15 Nov 2024

https://github.com/palladians/pallad

🦋 Progressive Mina Protocol Wallet

cryptocurrency mina mina-navigators mina-protocol minanavigators self-custodial staking wallet web3 zk-snarks zkapps

Last synced: 19 Nov 2024

https://github.com/mottla/go-r1cs-compiler

A compiler to turn GO code into a zkSNARK

arithmetic-circuit constraint gates golang groth16 language r1cs snark zk-snarks

Last synced: 10 Dec 2024

https://github.com/Bind/df-snarker

Generate ZK-Snark proofs for https://zkga.me on a different device

dark-forest plugin zk-snarks

Last synced: 28 Oct 2024

https://github.com/enricobottazzi/zk-sbt-frontend

This repo contains the frontend implementation related to the ZK-SBT protocol

circom snarkjs zk zk-snarks

Last synced: 08 Nov 2024

https://github.com/advaita-saha/zk-voting

Anonymous Voting system build with the power of Zero-knowledge cryptography

circom circomlib cryptography merkle-tree snarkjs voting-application zero-knowledge zk-snarks

Last synced: 22 Oct 2024

https://github.com/seiyakobayashi/zkml-optimization

Optimization for on-chain private machine learning.

blockchain ethereum machine-learning merkle-proof merkle-tree neural-network optimization-algorithms zk zk-snarks zkml zkp

Last synced: 27 Oct 2024

https://github.com/vincenthuang75025/zkxzk

Demo of optimal Ate pairing implemented inside a zk-snark

bls-signature vercel zero-knowledge zk-snarks

Last synced: 25 Oct 2024

https://github.com/lovesh/libsnark-playground

Learning ZkSNARKs using libsnark

libsnark mimc zk-snarks zksnarks

Last synced: 03 Dec 2024

https://github.com/alxkzmn/zk-wordle

The Wordle you know, but with Zero-Knowledge Proofs

blockchain circom circomlib ethereum snarkjs wordle wordle-game zk-snarks zkp zkproof zksnark zksnarks

Last synced: 13 Nov 2024

https://github.com/dannywillems/zkacademy

A place to learn ZK with Jupyter

academy education elliptic-curves finite-fields kzg plonk starks zk zk-snarks

Last synced: 28 Oct 2024

https://github.com/antoinerondelet/libsnark-playground

A bunch of "hello world" libsnark gadgets

cryptography libsnark privacy zero-knowledge zk-snarks

Last synced: 12 Nov 2024

https://github.com/daira/zcon

Zcon presentations

cryptocurrency cryptography mix-net privacy privacy-enhancing-technologies research-project scalability sharding sharks slides zcash zk-sharks zk-snarks

Last synced: 10 Dec 2024

https://github.com/ileskov/zksync-amm-contract

ZK-rollups use ZKPs by combining a large number of Layer 2 transactions (off-chain) into one transaction that then gets mined on the Ethereum mainnet. Instead of mining 100s of transactions individually, they can be rolled up into a single transaction.

amm blockchain constant-product dapp defi dex ethereum layer2 layer2-dapp rollup smart-contracts solidity unis zk-snarks zksync

Last synced: 20 Nov 2024

https://github.com/argumentcomputer/ZKSnark.lean

https://yatima-inc.github.io/ZKSnark.lean/

lean4 zk-snarks zkp

Last synced: 29 Nov 2024

https://github.com/vivianjeng/anon-transfer

Transfer X ETH with A account, withdraw Y ETH with B account.

anonymous blockchain ethereum transfer unirep zk-snarks zkp

Last synced: 28 Oct 2024

https://github.com/divide-by-0/halo2-learning-group

Learning halo2

halo2 plonk zk-snarks

Last synced: 17 Dec 2024

https://github.com/vocdoni/docs

Vocdoni documentation

blockchain ethereum golang ipfs ipfs-blockchain privacy-by-design solidity tendermint typescript vote vote-system voting voting-app voting-system xdai zk-snarks zksnarks

Last synced: 12 Nov 2024

https://github.com/jsign/poseidon

A Zig implementation of Poseidon hash function.

cryptography hashing poseidon-hash zk-snarks

Last synced: 27 Oct 2024

https://github.com/jsign/zig-poseidon

A Zig implementation of Poseidon hash function.

cryptography hashing poseidon-hash zk-snarks

Last synced: 24 Oct 2024

https://github.com/jemtaly/qapy

A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.

groth16 zero-knowledge zk-snarks

Last synced: 11 Nov 2024

https://github.com/daira/scaling

Amsterdam scaling presentation

cryptocurrency cryptography mix-net privacy privacy-enhancing-technologies research-project scalability sharding slides zcash zk-snarks

Last synced: 10 Dec 2024

https://github.com/kevincharm/broth16

Groth16 using BLS12-381 pairings

cryptography groth16 zk-snarks zkp

Last synced: 08 Nov 2024

https://github.com/kilic/bellman-playground

bellman circuit playground

bellman snark zk-snarks

Last synced: 03 Dec 2024

https://github.com/seiyakobayashi/zero-knowledge-photo

A blockchain network that proves the ownership & originality of photos with zero knowledge technology. The ultimate goal is to differentiate malicious AI-generated deepfakes from human-taken photos, while preserving user privacy.

circom deepfake-detection ethereum photography photos privacy smart-contracts solidity typescript zero-knowledge-proofs zk-circuits zk-snarks

Last synced: 21 Dec 2024

https://github.com/ruuda/zerorack

Experiments with circuit compilation and zk-snarks

arithmetic-circuits r1cs zk-snarks

Last synced: 23 Oct 2024

https://github.com/extropyio/awesome-mina-security

A curated list of Mina resources with a focus on security from Extropy.io

blockchain blockchain-security mina mina-protocol zk-snarks

Last synced: 10 Nov 2024

https://github.com/imduchuyyy/prypay-contracts

Confidential Transaction on Ethereum Blockchain using zk-SNARKs

confidential-transactions ethereum zk-snarks

Last synced: 02 Nov 2024

https://github.com/andrejrakic/zokrates-demo

Zokrates (library for ZkSnarks on Ethereum blockchain) demo app to prove that two numbers are equal 7 (or any other number) without revealing numbers itself

ethereum zk-snarks zokrates

Last synced: 06 Nov 2024