Topic: zero-knowledge-proofs Goto Github

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

0xfuturistic / zkuniswap
zero-knowledge-proofs,🦄 UniswapV3 fork that leverages a zkVM to compute swaps off-chain.
User: 0xfuturistic
zero-knowledge-proofs automated-market-makers zero-knowledge-virtual-machines

adiyoss / watermarknn
zero-knowledge-proofs,Watermarking Deep Neural Networks (USENIX 2018)
User: adiyoss
neural-networks watermak zero-knowledge-proofs backdooring deep-learning

anoma / masp
zero-knowledge-proofs,The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
Organization: anoma
Home Page: https://namada.net
masp privacy blockchain decentralization zero-knowledge-proofs namada

arkworks-rs / snark
zero-knowledge-proofs,Interfaces for Relations and SNARKs for these relations
Organization: arkworks-rs
Home Page: https://www.arkworks.rs
cryptography zero-knowledge-proofs r1cs

aztecprotocol / aztec-v1
zero-knowledge-proofs,Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty
Organization: aztecprotocol
protocol zero-knowledge-proofs ethereum aztec ethereum-blockchain blockchain privacy confidentiality

clearmatics / zeth
zero-knowledge-proofs,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

docknetwork / crypto
zero-knowledge-proofs,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
zero-knowledge-proofs,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

espressosystems / cape
zero-knowledge-proofs,Configurable Asset Privacy for Ethereum
Organization: espressosystems
Home Page: https://cape.docs.espressosys.com/
solidity smart-contracts zero-knowledge-proofs rust ethereum

espressosystems / jellyfish
zero-knowledge-proofs,A Rust Implementation of the PLONK ZKP System and Extensions
Organization: espressosystems
Home Page: https://jellyfish.docs.espressosys.com
zero-knowledge-proofs rust plonk

eth-sri / zkay
zero-knowledge-proofs,A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Organization: eth-sri
blockchain privacy ethereum zero-knowledge-proofs compiler programming-language

ethereum-oasis-op / baseline
zero-knowledge-proofs,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

firoorg / firo
zero-knowledge-proofs,The privacy-focused cryptocurrency
Organization: firoorg
Home Page: https://firo.org
zcoin blockchain zero-knowledge privacy zerocoin merkle-tree merkle-tree-proof-of-work asic-resistant sigma zkp

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

ing-bank / threshold-signatures
zero-knowledge-proofs,Threshold Signature Scheme for ECDSA
Organization: ing-bank
ecdsa secure-multi-party-computation cryptocurrency cryptography ethereum bitcoin-transaction zero-knowledge-proofs homomorphic-encryption rust

keep-starknet-strange / garaga
zero-knowledge-proofs,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

kkrt-labs / kakarot-ssj
zero-knowledge-proofs,Kakarot zkEVM - rewrite in the latest version of Cairo
Organization: kkrt-labs
Home Page: https://www.kakarot.org
cairo-lang starknet zero-knowledge-proofs zkevm

lambdaclass / lambdaworks
zero-knowledge-proofs,lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Organization: lambdaclass
Home Page: https://lambdaclass.github.io/lambdaworks/
cryptography mathematics zero-knowledge-proofs

latticex-foundation / rosetta
zero-knowledge-proofs,A Privacy-Preserving Framework Based on TensorFlow
Organization: latticex-foundation
privacy-preserving-machine-learning secure-multiparty-computation homomorphic-encryption zero-knowledge-proofs federated-learning secure-computation

lovesh / bulletproofs-r1cs-gadgets
zero-knowledge-proofs,Arithmatic circuits convertible to R1CS based on Bulletproofs
User: lovesh
bulletproofs r1cs zero-knowledge-proofs

luozhuzhang / awesome-zkevm
zero-knowledge-proofs,A curated list of awesome zkEVM resources, libraries, tools and more
User: luozhuzhang
scaling layer2 evm smart-contract solidity zkevm awesome awesome-list zero-knowledge-proofs zk-rollup

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

luozhuzhang / zksync-era-etl
zero-knowledge-proofs,Best zkSync-era ETL ever 😜
User: luozhuzhang
data-engineering ethereum etl evm solidity zero-knowledge-proofs zksync zksync-era zksync-v2 zk-rollups

manta-network / manta
zero-knowledge-proofs,The main repo for manta blockchain nodes.
Organization: manta-network
substrate manta zero-knowledge-proofs rust blockchain polkadot crytpocurrency kusama

manta-network / manta-rs
zero-knowledge-proofs,Rust Crates for the Manta Network Ecosystem
Organization: manta-network
Home Page: https://github.com/Manta-Network
manta rust eclair openzl zero-knowledge-proofs

mattrglobal / bbs-signatures
zero-knowledge-proofs,An implementation of BBS+ signatures for node and browser environments
Organization: mattrglobal
cryptography digital-signature zero-knowledge-proofs wasm nucleus assurance

mattrglobal / node-bbs-signatures
zero-knowledge-proofs,An implementation of BBS+ signatures using rust and typescript for node.js
Organization: mattrglobal
zero-knowledge-proofs cryptography digital-signature nucleus assurance

microsoft / spartan
zero-knowledge-proofs,Spartan: High-speed zkSNARKs without trusted setup
Organization: microsoft
cryptography-library zero-knowledge-proofs zksnarks verifiable-computing nizk rust-library

mimblewimble / grin
zero-knowledge-proofs,Minimal implementation of the Mimblewimble protocol.
Organization: mimblewimble
Home Page: https://grin.mw/
mimblewimble rust cryptocurrency cryptography zero-knowledge-proofs grin

o1-labs / proof-systems
zero-knowledge-proofs,The proof systems used by Mina
Organization: o1-labs
Home Page: https://o1-labs.github.io/proof-systems/
plonk zero-knowledge-proofs kimchi zksnarks bulletproofs recursive-zkps

o1-labs / zkapp-resource-kit
zero-knowledge-proofs,This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or findings here!
Organization: o1-labs
mina developer-tools developer-experience developer-experience-kit zero-knowledge mina-protocol zero-knowledge-proofs

ora-io / awesome-ora
zero-knowledge-proofs,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

paulrberg / awesome-zkp-starter-pack
zero-knowledge-proofs,A curated collection of links for zero-knowledge proof cryptography used in blockchains
User: paulrberg
Home Page: https://ethresear.ch/t/zero-knowledge-proofs-starter-pack/4519
zero-knowledge zero-knowledge-proofs zksnarks blockchain ethereum aztec

quillhash / zero-knowledge-mastery
zero-knowledge-proofs,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

scipr-lab / dizk
zero-knowledge-proofs,Java library for distributed zero knowledge proof systems
Organization: scipr-lab
cryptography zero-knowledge-proofs distributed-computing zksnarks

sdiehl / zkp
zero-knowledge-proofs,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

sec-bit / ckb-zkp
zero-knowledge-proofs,Zero Knowledge Proofs Toolkit for CKB
Organization: sec-bit
nervos smart-contracts zero-knowledge-proofs ckb

sec-bit / zkpod-node
zero-knowledge-proofs,zkPoD: A decentralized system for perfect fair data exchange
Organization: sec-bit
zero-knowledge-proofs privacy decentralized-internet confidentiality fair-exchange data-exchange

semaphore-protocol / semaphore
zero-knowledge-proofs,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

sigma0-xyz / zkbitcoin
zero-knowledge-proofs,zkBitcoin: zero-knowledge proofs on Bitcoin!
Organization: sigma0-xyz
bitcoin zero-knowledge-proofs

snarkify / sirius
zero-knowledge-proofs,A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Organization: snarkify
cryptography proof-system zero-knowledge-proofs zkp ivc nova protostar

spring-epfl / zksk
zero-knowledge-proofs,Zero-Knowledge Swiss Knife
Organization: spring-epfl
zero-knowledge-proofs

starkware-libs / cairo
zero-knowledge-proofs,Cairo is the first Turing-complete language for creating provable programs for general computation.
Organization: starkware-libs
starknet zero-knowledge-proofs zkp computational-integrity cairo

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

trustworthycomputing / zilch
zero-knowledge-proofs,Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
User: trustworthycomputing
zero-knowledge zero-knowledge-proofs framework twc trustworthy-computing

victorcolomb / stark-snark-recursive-proofs
zero-knowledge-proofs,STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
User: victorcolomb
snark stark zero-knowledge zero-knowledge-proofs cryptography

zengo-x / bulletproofs
zero-knowledge-proofs,Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
Organization: zengo-x
zero-knowledge-proofs elliptic-curves bulletproofs

zengo-x / curv
zero-knowledge-proofs,Rust language general purpose elliptic curve cryptography.
Organization: zengo-x
rust cryptography elliptic-curves bignumber zero-knowledge-proofs

zengo-x / zk-paillier
zero-knowledge-proofs,A collection of Paillier cryptosystem zero knowledge proofs
Organization: zengo-x
secure-computation zero-knowledge-proofs paillier

zhenfeizhang / pasta-solidity
zero-knowledge-proofs,A Solidity implementation of Halo2's Pasta curves
User: zhenfeizhang
curves smart-contracts zero-knowledge-proofs