Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Zero-knowledge proof

Zero-knowledge proof (ZKP) is a cryptographic protocol where one party can prove to another party that a statement is true without revealing any information beyond the fact of the statement’s truth.

https://github.com/sismo-core/sismo-badges

Contracts of the Sismo Badge Minting Protocol

attestations did ethereum smart-contracts zkp

Last synced: 17 Dec 2024

https://github.com/anoma/namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

blockchain privacy rust zkp

Last synced: 18 Dec 2024

https://github.com/starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo computational-integrity starknet zero-knowledge-proofs zkp

Last synced: 16 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: 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/aleonet/snarkvm

A Virtual Machine for Zero-Knowledge Executions

aleo blockchain cryptography rust zero-knowledge zkp

Last synced: 17 Dec 2024

https://github.com/lambdaclass/cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

blockchain compiler cryptography programming-language rust stark zkp

Last synced: 22 Dec 2024

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

biginteger bls12-377 bls12-381 bn254 crypto cryptography ecc eddsa elliptic-curves finite-field-arithmetic fri go golang hash-to-curve mimc pairing snark zkp zksnark

Last synced: 08 Nov 2024

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

biginteger bls12-377 bls12-381 bn254 crypto cryptography ecc eddsa elliptic-curves finite-field-arithmetic fri go golang hash-to-curve mimc pairing snark zkp zksnark

Last synced: 17 Dec 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/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/MystenLabs/fastcrypto

Common cryptographic library used in software at Mysten Labs.

benchmark blockchain bls crypto cryptography ed25519 zkp

Last synced: 09 Nov 2024

https://github.com/privacy-scaling-explorations/zkp-app-boilerplate

Build your zkp app with typescript, hardhat, circom, and snarkjs!

circom ethereum hardhat react snarkjs typescript zkp

Last synced: 17 Dec 2024

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

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

cairo-lang libraries zkp

Last synced: 21 Nov 2024

https://github.com/ringsnetwork/rings

Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

dht dht-network end-to-end-encryption nova p2p p2p-network peer-to-peer snark webrtc zkp

Last synced: 17 Dec 2024

https://github.com/RingsNetwork/rings

Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

dht dht-network end-to-end-encryption nova p2p p2p-network peer-to-peer snark webrtc zkp

Last synced: 12 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/webankblockchain/wedpr-lab-core

Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件

blockchain crypto cryptography homomorphic-encryption mpc multiparty-computation privacy rust sdk-rust wedpr zkp

Last synced: 20 Nov 2024

https://github.com/matter-labs/bellman

Bellman zkSNARK library for community with Ethereum's BN256 support

bellman rust team-crypto zero-knowledge zero-knowledge-proofs zkp zksnark zksnarks

Last synced: 02 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/andrewmilson/sandstorm

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

cairo cairo-lang computational-integrity ministark stark starknet zkp

Last synced: 18 Nov 2024

https://github.com/0xEigenLabs/eigen-zkvm

A Rust zkVM with a Modular Proof System

circom plonk rust snarkjs stark zkp zkvm

Last synced: 16 Nov 2024

https://github.com/snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

cryptography ivc nova proof-system protostar zero-knowledge-proofs zkp

Last synced: 09 Nov 2024

https://github.com/baro77/ZKbasicsCS

Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp

Last synced: 17 Nov 2024

https://github.com/zkMIPS/zkm

The universal zkVM empowering Ethereum as the Global Settlement Layer

mips verifiable-computing zkp zkvm

Last synced: 27 Nov 2024

https://github.com/Manta-Network/manta-signer

Manta Client to turbo-charge ZKP Generation

manta manta-signer zkp

Last synced: 10 Nov 2024

https://github.com/jeong0982/gkr

zero knowledge proof aggregator for general circuit

aggregator circom cryptography zkp

Last synced: 17 Dec 2024

https://github.com/vplasencia/zkgames

zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.

blockchain circom circuit snarkjs solidity zero-knowledge zkp

Last synced: 28 Oct 2024

https://github.com/WTFAcademy/WTF-Starknet

Education Platform to onboard developers to Starknet.

blockchain cairo crypto cryptocurrency ethereum layer2 starknet tutorial tutorials zk zkp

Last synced: 18 Nov 2024

https://github.com/wtfacademy/wtf-starknet

Education Platform to onboard developers to Starknet.

blockchain cairo crypto cryptocurrency ethereum layer2 starknet tutorial tutorials zk zkp

Last synced: 11 Nov 2024

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

zkDatabase, a distributed off-chain database with ZK prover

blockchain database ipfs zkdatabase zkp

Last synced: 23 Dec 2024

https://github.com/vplasencia/zksudoku

zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.

blockchain circom circuits snarkjs solidity zero-knowledge zkp

Last synced: 28 Oct 2024

https://github.com/weavedb/zkjson

Zero Knowledge Provable JSON

arweave db ethereum evm weavedb zkp

Last synced: 13 Nov 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/anonklub/anonklub

Anonymous Proof of Ethereum Address Ownership

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

Last synced: 23 Dec 2024

https://github.com/uncomputable/zkp-workshop

Explore the world of zero-knowledge proofs from first principles.

cryptography elliptic-curves jupyter jupyter-notebook learning math mathematics python snarks workshop zero-knowledge zkp

Last synced: 10 Dec 2024

https://github.com/cryptkeeperzk/crypt-keeper-extension

🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.

browser-extension chrome-extension firefox-extension identity-management react typescript wallet zero-knowledge zkp

Last synced: 12 Nov 2024

https://github.com/webankblockchain/wedpr-lab-crypto

Cryptography libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案密码学算法组件

blockchain crypto cryptography homomorphic-encryption privacy rust wedpr zkp

Last synced: 20 Nov 2024

https://github.com/distributed-lab/bp-pp

Bulletproofs++ implementation on Rust

bulletproofs range-proofs rust zkp

Last synced: 13 Nov 2024

https://github.com/webankblockchain/wedpr-lab-java-sdk

Java SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件通用Java SDK

blockchain crypto cryptography homomorphic-encryption mpc privacy sdk-java wedpr zkp

Last synced: 20 Nov 2024

https://github.com/guanzhi/zkrypt

Zero-Knowledge Proof Toolbox

plonk zk-snarks zkp

Last synced: 14 Oct 2024

https://github.com/keep-starknet-strange/cairo-lint

A collection of lints to catch common mistakes and improve your Cairo code.

cairo cairo-lang starknet zk zkp

Last synced: 21 Nov 2024

https://github.com/mhchia/peek-a-book

PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987

ethereum mpc zkp

Last synced: 23 Oct 2024

https://github.com/webankblockchain/wedpr-lab-android-sdk

Android SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件Android SDK

blockchain crypto cryptography homomorphic-encryption mpc privacy sdk-android wedpr zkp

Last synced: 20 Nov 2024

https://github.com/vplasencia/zksudoku-plonk

zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.

blockchain circom circuit snarkjs solidity zero-knowledge zkp

Last synced: 13 Oct 2024

https://github.com/webankblockchain/wedpr-lab-ios-sdk

iOS SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件iOS SDK

blockchain crypto cryptography homomorphic-encryption mpc privacy sdk-ios wedpr zkp

Last synced: 20 Nov 2024

https://github.com/ing-bank/zkflow

The ZKFlow consensus protocol enables private transactions on Corda for arbitrary smart contracts using Zero Knowledge Proofs

corda privacy-enhancing-technologies zkp

Last synced: 08 Nov 2024

https://github.com/bytemare/voprf

Go implementation of RFC9497, Oblivious Pseudorandom Functions and Verifiable variants.

dleq go oprf poprf ristretto255 voprf zkp

Last synced: 14 Nov 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/giri-aayush/zkp-authentication

Implementing robust authentication via a gRPC interface utilizing Zero-Knowledge Proof (ZKP) protocols in Rust.

grpc rust zkp

Last synced: 11 Nov 2024

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

A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies

cryptography zero-knowledge zero-knowledge-proof zero-knowledge-proofs zkp zkproof

Last synced: 13 Nov 2024

https://github.com/luzzif/rails

A DxDAO product to empower users through fast, cheap and painless L2 crypto micropayments.

blockchain ethereum l2 micropayments rails zkp

Last synced: 16 Nov 2024

https://github.com/distributed-lab/noir-plume

Implementation of the PLUME protocol in Noir.

noir plume signature zkp

Last synced: 13 Nov 2024

https://github.com/distributed-lab/noir-verkle

Verkle Tries in Noir

distributed-lab noir verkle zkp

Last synced: 13 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/advaita-saha/grpc-chaum-pederson-zkp

gRPC client/server for zero-knowledge proof authentication Chaum Pederson Zero-Knowledge Proof in Rust

cryptography grpc grpc-server rust zero-knowledge zkp

Last synced: 22 Oct 2024

https://github.com/cryptape/ckb-bf-zkvm

A BrainFuck zkVM implementation on CKB, using Halo2.

brainfuck ckb ckb-vm halo2 zkp zkvm

Last synced: 02 Dec 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/dteam-top/zkp-api-starter

BFF for ZKP projects

circom zkp

Last synced: 15 Nov 2024

https://github.com/ukstv/skyward

Reduce compilation time of a O1JS ZK program on Web

mina o1js zk zkp

Last synced: 21 Oct 2024

https://github.com/factomproject/ptnet-zkp

Zero Knowledge Proof for Petri-Nets using the circom language

circom petri-net zkp

Last synced: 06 Nov 2024

https://github.com/mmatteo23/sismord-frontend

Our submission for ZK Hack Lisbon

sismo zkp

Last synced: 19 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/moayaan1911/crowdfunding

Decentralized crowdfunding platform built on bnb testnet allowing creators to raise funds for projects in a transparent and secure manner.

crowdfunding cryptocurrency polygon react tailwind tailwindcss thirdweb thirdweb-sdk vite web3 zero-knowledge zkevm zkevm-testnet zkp

Last synced: 18 Dec 2024

https://github.com/qct/zk-example

An example to show how zk-SNARK works

zk zk-snarks zkp zksnarks

Last synced: 27 Nov 2024

https://github.com/yuriko627/poseidon-sol

Poseidon Hash Function implementation in Solidity

hashfunction solidity zkp

Last synced: 21 Dec 2024

https://github.com/grjte/zkmafia

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

game zkp zksnark

Last synced: 12 Dec 2024

https://github.com/evannetwork/vade-evan

zero-knowledge-proof VC and TnT DID handling for vade

did ssi vc zkp

Last synced: 13 Dec 2024

https://github.com/zeyu-li/zero-knowledge-proof

ZKP theoretically in Rust (interactive)

rust zkp

Last synced: 22 Nov 2024

https://github.com/vincenthuang75025/zk-node-server-c

Server for running C++ witness and rapidsnark proof generation of zk-snark circuits

rapidsnark zk-snarks zkp

Last synced: 13 Dec 2024

https://github.com/semiott/suffragenet

Privacy Preserving Platform using Computational Integrity Proofs for Amplifying, Accentuating and Aggregating Social Signals

applied-zkp circom e-voting ethereum minority-votes privacy-preserving quadratic-voting semaphore-framework snark-verification snarkjs voting-app voting-application zero-knowledge zkp

Last synced: 18 Nov 2024

https://github.com/neuodev/zkp

Panther Protocol core repository "detached" fork. Independently maintained.

staking zkp

Last synced: 04 Dec 2024

https://github.com/duguorong009/personal-stark101-rs

Port the original "stark101" tutorial(python) to Rust version

porting python3 rust rust-lang stark tutorial zkp zkstark

Last synced: 13 Nov 2024

https://github.com/semiott/terrainnet

Post Pandemic Climate Conservation System using Quadratic Voting Verifiers powered by Minimal Anti Collusion Infrastructure built using Applied ZKP Tools

maci quadratic-voting zero-knowledge zero-knowledge-proofs zkp

Last synced: 18 Nov 2024

https://github.com/kyrylr/anonymous-transfer

A ZK Proofs of inclusion

ethereum zkp

Last synced: 21 Dec 2024

https://github.com/rarimo/rarime-link-svc

Rarime Link Service stores users proofs and provide simple access to it via REST API in JSON:API format.

golang rarime zkp

Last synced: 24 Nov 2024

https://github.com/ashenwijesingha/zkp_blockchain_iam

🔐 Zero Knowledge Proof Identity & Access Management system built with Python, Ethereum, and FastAPI. Combines blockchain security with privacy-preserving authentication.

blockchain zero-knowledge-proof zkp zkp-verifier zkproof

Last synced: 03 Dec 2024

https://github.com/distributed-lab/rarimo-issuer-risc0

Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol.

nullifier rarimo risc-v risc0 rust zkp

Last synced: 13 Nov 2024

https://github.com/markuszoppelt/cgl

(Fixed) Computational Graph Library in Rust

computational-graphs rust zkp

Last synced: 08 Nov 2024

https://github.com/palutz/zkpbootcamp_hw

ZKP Bootcamp homeworks

encryption rust zkp zkproof zksnarks zkstarks

Last synced: 17 Nov 2024