Topic: zk-snarks Goto Github

👇 Here are 288 public repositories matching this topic...

0xparc / zkrepl
zk-snarks,An online playground for zero knowledge circuits
Organization: 0xparc
Home Page: https://zkrepl.dev/
circom zk-snarks

0xpolygonzero / plonky
zk-snarks,Recursive SNARKs based on Plonk and Halo
Organization: 0xpolygonzero
zk-snarks cryptography plonk halo

0xpolygonzero / r1cs
zk-snarks,A Rust library for building R1CS gadgets
Organization: 0xpolygonzero
r1cs zk-snarks cryptography

a16z / jolt
zk-snarks,The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
Organization: a16z
Home Page: https://jolt.a16zcrypto.com
arkworks cryptography snark zk zk-snarks zkp crypto zkvm

binance / zkmerkle-proof-of-solvency
zk-snarks,This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance
Organization: binance
merkle-tree proof-of-reserve proof-of-solvency zk zk-snarks

bxdoan / zksync-auto
zk-snarks,some help for zksync incentive
User: bxdoan
zk zk-snarks zksync zksync-dapp zksync-v2

clearmatics / zeth
zk-snarks,Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905
Organization: clearmatics
Home Page: https://clearmatics.github.io/zeth/
zero-knowledge-proofs privacy mixer ethereum zerocash zk-snarks zeth research-and-development clearmatics-research

colinnielsen / ecrecover-noir
zk-snarks,A Noir circuit that mimics Solidity's ecrecover
User: colinnielsen
ecrecover ethereum noir noir-lang secp256k1 solidity zk-snarks

consensys / gnark
zk-snarks,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
Organization: consensys
Home Page: https://hackmd.io/@gnark
zkp zksnark zk-snarks gnark r1cs golang

czbag / scroll
zk-snarks,Multitool soft for Scroll
User: czbag
api ethereum python scroll web3 web3py zk-snarks scroll-ecosystem

czbag / zksync
zk-snarks,Multitool soft for ZkSync Era
User: czbag
api ethereum python web3 web3py zk-snarks zksync

darkrenaissance / darkfi
zk-snarks,Anonymous. Uncensored. Sovereign.
Organization: darkrenaissance
Home Page: https://dark.fi
crypto cryptocurrency zk zk-snarks zero-knowledge rust halo2 zkvm

docknetwork / crypto
zk-snarks,Rust crypto library for data privacy tools
Organization: docknetwork
cryptography accumulator zero-knowledge-proofs signatures anonymous-credentials crypto distributed-key-generation dkg pairing-cryptography schnorr

eddieoz / haal
zk-snarks,Hääl - Anonymous Electronic Voting System on Public Blockchains
User: eddieoz
e-voting blockchain ethereum zero-knowledge-proofs smart-contracts electronic-voting voting-system dapp zk-snarks homomorphic-encryption

elusiv-privacy / elusiv
zk-snarks,Elusiv Solana program library
Organization: elusiv-privacy
solana zero-knowledge privacy zk-snarks

ethereum-oasis-op / baseline
zk-snarks,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.
Organization: ethereum-oasis-op
Home Page: https://docs.baseline-protocol.org
ethereum reactjs nodejs smart-contracts solidity zk-snarks geth graphql docker docker-compose

ethereum934 / eth-mimblewimble
zk-snarks,Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum
Organization: ethereum934
Home Page: https://ethereum934.org
zk-snarks mimblewimble ethereum pedersen-mmr-tree zk-rollup erc20

getzefi / circomjs
zk-snarks,CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
Organization: getzefi
Home Page: https://zefi.gitbook.io/circomjs/
circom snarkjs zk-snarks circom-framework circomjs

harryr / ethsnarks-miximus
zk-snarks,Example project for EthSnarks - Miximus coin mixer
User: harryr
privacy mixer ethereum ethsnarks zk-snarks anonymity cryptocurrency zero-knowledge-proofs

keep-starknet-strange / garaga
zk-snarks,Efficient pairing library, written in Cairo 🐺.
Organization: keep-starknet-strange
elliptic-curve-cryptography elliptic-curves pairing snarks zero-knowledge zero-knowledge-proofs zk-snarks zkp cairo-lang starknet

layerxcom / zero-chain
zk-snarks,A privacy-preserving blockchain on Substrate
Organization: layerxcom
Home Page: https://layerxcom.github.io/zerochain-book/
substrate zero-knowledge blockchain rust zk-snarks

luozhuzhang / zkps-circuit-snark
zk-snarks,A zk-SNARK implementation
User: luozhuzhang
circom cryptography decentralized future snarkjs zero-knowledge zk-rollup zk-snarks solidity zero-knowledge-proofs

lurk-lab / awesome-folding
zk-snarks,A curated list of zero-knowledge folding schemes
Organization: lurk-lab
awesome-list zero-knowledge zk-snarks

lurk-lab / lurk-rs
zk-snarks,Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Organization: lurk-lab
Home Page: https://lurk-lang.org/
rust zk-snarks compiler cryptography programming-language zero-knowledge

matter-labs / awesome-zero-knowledge-proofs
zk-snarks,A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Organization: matter-labs
knowledge-proofs explaining-snarks zk-snarks snark team-crypto

meilof / pysnark
zk-snarks,Library for programming zk-SNARKs directly in Python
User: meilof
Home Page: https://meilof.github.io/pysnark/
zero-knowledge zk-snarks smart-contracts pinocchio python3

minaprotocol / mina
zk-snarks,Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Organization: minaprotocol
Home Page: https://minaprotocol.com
cryptocurrency blockchain ocaml zk-snarks mina

ora-io / awesome-ora
zk-snarks,A curated list of awesome ORA ecosystem.
Organization: ora-io
smart-contracts zero-knowledge zk zk-snarks hyperoracle zk-oracle zero-knowledge-proofs hyper-oracle blockchain web3

orochi-network / orochimaru
zk-snarks,Orochi Network monorepo of its full-node client
Organization: orochi-network
Home Page: https://orochi.network
decentralized vrf zero-knowledge zk-snarks ecvrf mpc webassembly-runtime zkwasm

owshennetwork / owshen
zk-snarks,The Deep Sea
User: owshennetwork
Home Page: https://owshen.io
ethereum privacy zk-snarks

paulmillr / noble-bls12-381
zk-snarks,DEPRECATED. Use noble-curves instead. Fastest JS implementation of BLS12-381.
User: paulmillr
Home Page: https://paulmillr.com/noble/
noble signatures bls12-381 bls12 pairing zk-snarks boneh-lynn-shacham barreto-lynn-scott elliptic-curve-cryptography crypto ecc eth2 signature-aggregation curve bls-signature

plume-sig / zk-nullifier-sig
zk-snarks,Implementation of PLUME: nullifier friendly signature scheme on ECDSA
Organization: plume-sig
anonymity cryptography ecdsa nullifier zk-snarks

polytope-labs / hyperbridge
zk-snarks,Hyperbridge is a hyper-scalable, interoperability coprocessor.
Organization: polytope-labs
Home Page: https://docs.hyperbridge.network/
coprocessor cross-chain-bridge ethereum polkadot zk-snarks rust solidity cross-chain multi-chain parachain

privacy-scaling-explorations / zk-kit
zk-snarks,A monorepo of reusable libraries for zero-knowledge technologies.
Organization: privacy-scaling-explorations
Home Page: http://zkkit.pse.dev/
typescript monorepo zk-snarks javascript zero-knowledge circom

quillhash / zero-knowledge-mastery
zk-snarks,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.
Organization: quillhash
Home Page: https://www.quillaudits.com/services/zksync-audit
ethereum zero-knowledge-proofs zk-snarks zkp zksync

sdiehl / arithmetic-circuits
zk-snarks, Arithmetic circuits for zero knowledge proof systems
User: sdiehl
Home Page: https://www.adjoint.io
arithmetic-circuit zksnarks compiler zk-snarks qap zero-knowledge

sdiehl / bulletproofs
zk-snarks,Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
User: sdiehl
cryptography zero-knowledge range-proofs zksnarks pedersen-commitment sigma elliptic-curves zk-snarks bulletproofs

sdiehl / zkp
zk-snarks,A framework to execute and verify algorithms using Groth16 zkSNARKs.
User: sdiehl
Home Page: https://www.adjoint.io
zero-knowledge zero-knowledge-proofs zksnark zkp bn254 arithmetic-circuits zk-snarks

semaphore-protocol / semaphore
zk-snarks,A zero-knowledge protocol for anonymous interactions.
Organization: semaphore-protocol
Home Page: https://semaphore.pse.dev
zero-knowledge ethereum zero-knowledge-proofs zk-snarks circom solidity semaphore javascript monorepo typescript

sismo-core / hydra-s1-zkps
zk-snarks,Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
Organization: sismo-core
Home Page: https://hydra-s1.docs.sismo.io
circom snarkjs zk zk-snarks zkp

stealthdrop / stealthdrop
zk-snarks,Anonymous Airdrops using ZK-SNARKs
Organization: stealthdrop
Home Page: https://stealthdrop.xyz
ethereum zero-knowledge zk-snarks

supranational / sppark
zk-snarks,Zero-knowledge template library
Organization: supranational
cuda bls12-377 bls12-381 pasta-curves zero-knowledge zero-knowledge-proofs zk-snarks zk-starks ntt

tarassh / zksnark-under-the-hood
zk-snarks,Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
User: tarassh
groth16 zero-knowledge zk-snarks zkp plonk

vocdoni / vocdoni-node
zk-snarks,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
Organization: vocdoni
ethereum voting tendermint ipfs blockchain zksnarks zk-snarks privacy-by-design vote-application vote-system

zink-lang / zink
zk-snarks,Rustic programming language that targets the Ethereum Virtual Machine
Organization: zink-lang
Home Page: https://docs.zink-lang.org/
evm rust wasm nova spartan zk-snarks

zkbob / zkbob-contracts
zk-snarks,A stablecoin-based zkprotocol designed for simplicity, privacy and utility
Organization: zkbob
Home Page: https://zkbob.com
ethereum solidity stablecoin web3 zk zk-snarks

zkcollective / zk-harness
zk-snarks,Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Organization: zkcollective
Home Page: https://www.zk-bench.org/
benchmark zk-snarks zkp snark

zkemail / zk-email-verify
zk-snarks,Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Organization: zkemail
Home Page: https://prove.email
dkim dkim-verifier email ethereum solidity zk zk-snarks zkp

zkopru-network / zkopru
zk-snarks,Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Organization: zkopru-network
Home Page: https://zkopru.network
zk-snarks zkp optimisitc-rollup ethereum private-transactions layer2 private-atomic-swap

zkproofs / zkproofs.github.io
zk-snarks,ZKProofs website
Organization: zkproofs
Home Page: https://zkp.science
zero-knowledge proofs zk-snarks