Topic: zero-knowledge-proofs Goto Github

Some thing interesting about zero-knowledge-proofs

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

0xfuturistic / zkuniswap

zero-knowledge-proofs,🦄 UniswapV3 fork that uses 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

aztec blockchain confidentiality ethereum ethereum-blockchain privacy protocol zero-knowledge-proofs

docknetwork / crypto

zero-knowledge-proofs,Rust crypto library for data privacy tools

Organization: docknetwork

cryptography accumulator zero-knowledge-proofs signatures anonymous-credentials distributed-key-generation dkg pairing-cryptography schnorr zk-snarks oblivious-transfer secret-sharing verifiable-secret-sharing delegatable-credentials group-signatures sigma-protocol threshold-signatures structure-preserving-signatures publicly-verifiable-secret-sharing

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/

ethereum rust smart-contracts solidity zero-knowledge-proofs

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 compiler ethereum privacy programming-language zero-knowledge-proofs

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,State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Organization: keep-starknet-strange

Home Page: https://felt.gitbook.io/garaga

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

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 zk-proof

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

cairo computational-integrity starknet zero-knowledge-proofs zkp

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

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

wtfacademy / wtf-zk

zero-knowledge-proofs,零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

Organization: wtfacademy

abstract-algebra bitcoin blockchain cryptography elliptic-curve-cryptography elliptic-curves ethereum group-theory number-theory snark

yetanotherco / aligned_layer

zero-knowledge-proofs,Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

Organization: yetanotherco

Home Page: https://alignedlayer.com/

eigenlayer ethereum restaking zero-knowledge-proofs