GitHub topics: zero-knowledge-proofs

Repositories

id-Mask/website

https://idmask.xyz

Language: Vue - Size: 464 KB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 1 - Forks: 0

ozone24/Haunti-AI

Haunti is an open-source AI framework on Solana, enabling users to deploy and manage decentralized models via modular tools.

Language: Rust - Size: 176 KB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 0 - Forks: 0

Mohmer/Umazen-AI

Build a decentralized AI infrastructure on Solana, enabling secure on-chain model training and creating a global marketplace for AI inference services.

Language: Rust - Size: 229 KB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 0 - Forks: 0

premkumar610/Scoria-AI

Scoria AI is a decentralized AI agent framework on blockchain, enabling private, on-device Web3 intelligence for users and enterprises.

Language: Rust - Size: 164 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

EspressoSystems/jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

Language: Rust - Size: 46.3 MB - Last synced at: about 3 hours ago - Pushed at: about 4 hours ago - Stars: 447 - Forks: 128

AbdelStark/collidervm_toy

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

Language: Rust - Size: 1.58 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 9 - Forks: 5

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.

Size: 481 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 580 - Forks: 237

arkworks-rs/snark

Interfaces for Relations and SNARKs for these relations

Language: Rust - Size: 2.17 MB - Last synced at: 2 days ago - Pushed at: 5 days ago - Stars: 844 - Forks: 234

Sindri-Labs/sindri-js

Sindri Zero-Knowledge Proof CLI

Language: TypeScript - Size: 4.97 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 17 - Forks: 4

starkware-libs/cairo

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

Language: Rust - Size: 209 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 1,749 - Forks: 600

keep-starknet-strange/raito

Bitcoin ZK client written in Cairo.

Language: Cairo - Size: 63.4 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 61 - Forks: 41

microsoft/Spartan

Spartan: High-speed zkSNARKs without trusted setup

Language: Rust - Size: 145 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 760 - Forks: 135

semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

Language: TypeScript - Size: 11.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 975 - Forks: 249

o1-labs/proof-systems

The proof systems used by Mina

Language: Rust - Size: 230 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 440 - Forks: 119

docknetwork/crypto

Rust crypto library for data privacy tools

Language: Rust - Size: 70.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 107 - Forks: 38

firoorg/firo

The privacy-focused cryptocurrency

Language: C++ - Size: 208 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 747 - Forks: 360

risc0/kailua

The Ultimate ZK Proving Software Suite for Securing OP Rollups

Language: Solidity - Size: 219 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 41 - Forks: 14

Concordium/concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.

Language: Rust - Size: 33.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 26 - Forks: 23

mimblewimble/grin

Minimal implementation of the Mimblewimble protocol.

Language: Rust - Size: 20.4 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 5,075 - Forks: 988

scipr-lab/dizk

Java library for distributed zero knowledge proof systems

Language: Java - Size: 175 KB - Last synced at: 11 days ago - Pushed at: about 3 years ago - Stars: 243 - Forks: 70

FIGAROAI/FIGARO-AI

FIGARO is an open-source AI framework on Solana, enabling users to deploy and manage decentralized models via modular tools.

Language: Rust - Size: 225 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 1

agglayer/agglayer

Rust implementation of the Agglayer.

Language: Rust - Size: 10.6 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 98 - Forks: 36

lambdaclass/lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Language: Rust - Size: 21.9 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 669 - Forks: 154

yetanotherco/aligned_layer

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.

Language: Rust - Size: 151 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 228 - Forks: 380

keep-starknet-strange/garaga

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

Language: Cairo - Size: 53.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 230 - Forks: 76

AbdelStark/rpo-xhash-m31

RPO-M31 and XHash-M31: Efficient Hash Functions for Circle STARKs

Language: Rust - Size: 168 KB - Last synced at: 1 day ago - Pushed at: 17 days ago - Stars: 2 - Forks: 0

supranational/sppark

Zero-knowledge template library

Language: Cuda - Size: 419 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 195 - Forks: 77

ZenGo-X/zk-paillier

A collection of Paillier cryptosystem zero knowledge proofs

Language: Rust - Size: 109 KB - Last synced at: 13 days ago - Pushed at: almost 2 years ago - Stars: 118 - Forks: 41

eth-sri/zkay

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

Language: Python - Size: 30.4 MB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 84 - Forks: 19

blocksense-network/zkVMs-benchmarks

Setups and programs for zero-knowledge virtual machine benchmarking

Language: Rust - Size: 770 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 2 - Forks: 3

jonas089/cipher-poll

Anonymous Github Voting Protocol

Language: Rust - Size: 951 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 1

ciphercurve/toyni

Toyni is a new, emerging ZK proof system in Rust, developed by Ciphercurve.

Language: Rust - Size: 468 KB - Last synced at: 23 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 1

WTFAcademy/WTF-zk

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

Language: Jupyter Notebook - Size: 81.5 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1,850 - Forks: 231

AlexiaChen/mpvss-rs

The library implements a simple Publicly Verifiable Secret Sharing(PVSS) scheme in Rust.

Language: Rust - Size: 128 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 26 - Forks: 4

docknetwork/crypto-wasm-ts

Typescript abstractions over Rust crypto library's WASM wrapper

Language: TypeScript - Size: 14.1 MB - Last synced at: 20 days ago - Pushed at: about 1 month ago - Stars: 30 - Forks: 9

Umazen/Umazen-AI

Build a decentralized AI infrastructure on Solana, enabling secure on-chain model training and creating a global marketplace for AI inference services.

Language: Rust - Size: 239 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

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.

Size: 2.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 226 - Forks: 39

ora-io/awesome-ora

A curated list of awesome ORA ecosystem.

Size: 152 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 87 - Forks: 17

LatticeX-Foundation/Rosetta

A Privacy-Preserving Framework Based on TensorFlow

Language: C++ - Size: 16.8 MB - Last synced at: 10 days ago - Pushed at: about 3 years ago - Stars: 556 - Forks: 110

anoma/masp

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.

Language: Rust - Size: 28.7 MB - Last synced at: 21 days ago - Pushed at: about 2 months ago - Stars: 89 - Forks: 24

matter-labs/bellman Fork of zkcrypto/bellman 📦

Bellman zkSNARK library for community with Ethereum's BN256 support

Language: C - Size: 13.5 MB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 161 - Forks: 78

docknetwork/crypto-wasm

WASM wrapper over the crypto library

Language: Rust - Size: 1.6 MB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 18 - Forks: 7

lovesh/bulletproofs-r1cs-gadgets

Arithmatic circuits convertible to R1CS based on Bulletproofs

Language: Rust - Size: 121 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 88 - Forks: 21

Archisman-Mridha/mathematics-notes

My hand-written notes on different mathematical topics (like Abstract Algebra, Complex Analysis, Algebraic Geomery etc.)

Size: 96.3 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

ZenGo-X/curv

Rust language general purpose elliptic curve cryptography.

Language: Rust - Size: 1.09 MB - Last synced at: 27 days ago - Pushed at: 10 months ago - Stars: 266 - Forks: 111

snarkify/sirius 📦

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

Language: Rust - Size: 1.79 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 169 - Forks: 26

AztecProtocol/aztec-v1 📦

Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty

Language: JavaScript - Size: 79.4 MB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 629 - Forks: 104

sec-bit/ckb-zkp

Zero Knowledge Proofs Toolkit for CKB

Language: Rust - Size: 2.03 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 67 - Forks: 15

LuozhuZhang/awesome-zkevm

A curated list of awesome zkEVM resources, libraries, tools and more

Size: 114 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 473 - Forks: 57

id-Mask/smart-contracts

Language: TypeScript - Size: 656 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0

alxkzmn/spartan-circom

Write Spartan circuits in Circom

Language: Rust - Size: 0 Bytes - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Manta-Network/Manta

The main repo for manta blockchain nodes.

Language: Rust - Size: 172 MB - Last synced at: 24 days ago - Pushed at: 3 months ago - Stars: 240 - Forks: 124

keep-starknet-strange/starkstr

Nostr x STARKs exploration project.

Language: Cairo - Size: 1.15 MB - Last synced at: 5 days ago - Pushed at: 25 days ago - Stars: 12 - Forks: 3

Leo-Malay/Secure-Remote-Password-Protocol-Implementation

Implementation of Secure Remote Password (SRP-6a) which is based on Zero Knowledge Proof used for secure key distribution and mutual authentication using JAVA

Language: Java - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

keep-starknet-strange/awesome-stwo

A curated list of awesome projects using STWO.

Size: 43.9 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 22 - Forks: 5

xevisalle/zpie

ZPiE: Zero-knowledge Proofs in Embedded systems

Language: C - Size: 137 KB - Last synced at: 30 days ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 5

eddieoz/haal

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

Language: JavaScript - Size: 1.42 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 113 - Forks: 17

ayushn2/go-stark

A Go-based implementation of zk-STARKs for efficient, scalable, and transparent zero-knowledge proof systems.

Language: Go - Size: 4.37 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

fklr/theseus

Core lib for a zero-knowledge proof-based Access Control List (ACL) system

Language: Rust - Size: 218 KB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

LBruyne/Scalable-Collaborative-zkSNARK

Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.

Language: Rust - Size: 2.65 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 46 - Forks: 4

Unitychain/zkvote-node

Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network

Language: Go - Size: 88.5 MB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 16 - Forks: 3

Strange21/zkp_with_rust

Rust implementation of chum pederson protocol. gRPC implementation using zero knowledge proofs

Language: Rust - Size: 0 Bytes - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

0xfuturistic/zkUniswap

🦄 UniswapV3 fork that computes swaps off-chain via a zkVM

Language: Solidity - Size: 2.75 MB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 84 - Forks: 4

sec-bit/zkPoD-node

zkPoD: A decentralized system for perfect fair data exchange

Language: Go - Size: 4.1 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 211 - Forks: 37

AbdelStark/askeladd

Powering Verifiable Computation for Nostr Data Vending Machines.

Language: Rust - Size: 12.8 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 20 - Forks: 3

mattrglobal/node-bbs-signatures 📦

An implementation of BBS+ signatures using rust and typescript for node.js

Language: TypeScript - Size: 1.44 MB - Last synced at: 12 days ago - Pushed at: 2 months ago - Stars: 60 - Forks: 25

chenxingqiang/zero-knowledge-proofs

Zero Knowledge Proofs focusing on Basic Concepts, Interactive Learning, Zero Knowledge Proof Systems Comparison, Courses and Tutorials, SNARKs.

Size: 916 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

zhenfeizhang/pasta-solidity

A Solidity implementation of Halo2's Pasta curves

Language: Rust - Size: 261 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 49 - Forks: 2

semaphore-protocol/extensions

Semaphore tools and extensions.

Language: TypeScript - Size: 1.72 MB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 6

nucypher/numerology

Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity

Language: JavaScript - Size: 739 KB - Last synced at: 18 days ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 5

mattrglobal/bbs-signatures 📦

An implementation of BBS+ signatures for node and browser environments

Language: TypeScript - Size: 1.33 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 120 - Forks: 28

4darsh-Dev/AutoDoc_DUHACKS4

An Automated Official Doc Managemnt system using AI and Blockchain with secure storage via IPFS. User profiles include Issuing Authorities, Verifiying authorities and Individuals.

Language: JavaScript - Size: 6.39 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

jonas089/stark-math

Research revolving around Stark Math

Size: 281 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 12 - Forks: 1

ing-bank/threshold-signatures 📦

Threshold Signature Scheme for ECDSA

Language: Rust - Size: 1.49 MB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 202 - Forks: 44

dusk-network/citadel

Implementation of Citadel, a self-sovereign identity system integrated in Dusk.

Language: Rust - Size: 4.08 MB - Last synced at: about 18 hours ago - Pushed at: 3 months ago - Stars: 8 - Forks: 19

MartinCastroAlvarez/zk-proof

Risc Zero Rust App

Language: Rust - Size: 3.54 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

weavechain/weave-js-api

Weavechain Javascript API

Language: JavaScript - Size: 124 KB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 9 - Forks: 0

AbdelStark/cashu-zk-engine

Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.

Language: Cairo - Size: 203 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 12 - Forks: 2

PeaceFounder/ShuffleProofs.jl

Verificatum compatible verifier and prover for NIZK proofs of shuffle

Language: Julia - Size: 548 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 8 - Forks: 1

Voxelot/zk-dex

Language: Solidity - Size: 41 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

dcarpintero/dapp-real-state

Decentralized Digital Marketplace w/ Smart Contracts and ZKPs.

Language: Solidity - Size: 34 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

CharmsDev/zkbitcoin

zkBitcoin: zero-knowledge proofs on Bitcoin!

Language: Rust - Size: 20 MB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 166 - Forks: 32

HarryR/ethsnarks-miximus

Example project for EthSnarks - Miximus coin mixer

Language: C++ - Size: 122 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 83 - Forks: 22

orao-network/zkvrf

Zero Knowledge Verifiable Random Function - zkVRF for EVM blockchains

Language: TypeScript - Size: 402 KB - Last synced at: 8 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0

PaulRBerg/awesome-zkp-starter-pack

A curated collection of links for zero-knowledge proof cryptography used in blockchains

Size: 7.81 KB - Last synced at: about 12 hours ago - Pushed at: 5 months ago - Stars: 74 - Forks: 7

kkrt-labs/kakarot-ssj 📦

Kakarot zkEVM - rewrite in the latest version of Cairo

Language: Cairo - Size: 4.4 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 136 - Forks: 84

Related Keywords

zero-knowledge-proofs 235 cryptography 56 zero-knowledge 51 ethereum 38 blockchain 38 rust 33 zk-snarks 31 zkp 26 solidity 24 smart-contracts 18 circom 14 privacy 13 zksnarks 13 homomorphic-encryption 12 bulletproofs 10 elliptic-curves 8 verifiable-credentials 8 cairo 7 starknet 7 federated-learning 7 zk 7 data 7 mpc 7 cryptocurrency 7 zksnark 7 bitcoin 7 typescript 6 web3 6 plonk 6 starks 6 snarkjs 6 javascript 6 distributed-computing 6 elliptic-curve-cryptography 6 solana 6 zokrates 6 weavechain 6 self-sovereign 6 layer-0 6 data-replication 6 golang 6 confidential-compute 6 stark 5 crypto 5 reactjs 5 zkproof 5 ai 5 evm 5 range-proofs 4 python 4 zk-rollup 4 elgamal 4 ethsnarks 4 ecdsa 4 dapp 4 digital-signature 4 anonymous-credentials 4 grpc 4 dao 4 wasm 4 secure-multi-party-computation 3 mimblewimble 3 cairo-lang 3 secret-sharing 3 verifiable-secret-sharing 3 security 3 chaum-pedersen 3 polkadot 3 e-voting 3 react 3 clearmatics-research 3 java 3 research-and-development 3 virtual-machine 3 zk-proofs 3 bellman 3 zksync 3 privacy-enhancing-technologies 3 lightning-network 3 mixer 3 snark 3 zkvm 3 ecc 3 nextjs 3 nft 3 groth16 3 mina-protocol 3 gnark 3 nodejs 3 zkml 3 protocol 3 agent 3 zcash 3 wormhole 3 accumulator 3 docker 3 proof-system 2 aes-gcm 2 abstract-algebra 2 aead 2