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: 3 days ago - Pushed at: 3 days ago - Stars: 0 - 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: 177 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

firoorg/firo

The privacy-focused cryptocurrency

Language: C++ - Size: 207 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 745 - Forks: 357

microsoft/Spartan

Spartan: High-speed zkSNARKs without trusted setup

Language: Rust - Size: 145 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 755 - Forks: 134

starkware-libs/cairo

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

Language: Rust - Size: 202 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 1,739 - Forks: 600

agglayer/agglayer

Rust implementation of the Agglayer.

Language: Rust - Size: 9.78 MB - Last synced at: about 18 hours ago - Pushed at: 3 days ago - Stars: 98 - Forks: 36

keep-starknet-strange/garaga

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

Language: Cairo - Size: 52.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 227 - Forks: 73

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 MB - Last synced at: 1 day ago - Pushed at: 5 days ago - Stars: 26 - Forks: 23

EspressoSystems/jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

Language: Rust - Size: 46.3 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 442 - Forks: 127

AbdelStark/collidervm_toy

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

Language: Rust - Size: 258 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

Language: TypeScript - Size: 11.5 MB - Last synced at: 3 days ago - Pushed at: 19 days ago - Stars: 970 - Forks: 249

docknetwork/crypto

Rust crypto library for data privacy tools

Language: Rust - Size: 70.7 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 101 - Forks: 36

o1-labs/proof-systems

The proof systems used by Mina

Language: Rust - Size: 223 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 439 - Forks: 117

blocksense-network/zkVMs-benchmarks

Setups and programs for zero-knowledge virtual machine benchmarking

Language: Rust - Size: 637 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 2

ciphercurve/toyni

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

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

arkworks-rs/snark

Interfaces for Relations and SNARKs for these relations

Language: Rust - Size: 2.13 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 835 - Forks: 231

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.8 MB - Last synced at: 9 days ago - Pushed at: 12 days ago - Stars: 665 - Forks: 155

WTFAcademy/WTF-zk

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

Language: Jupyter Notebook - Size: 81.5 MB - Last synced at: 11 days ago - Pushed at: about 2 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: 3 days ago - Pushed at: 2 months ago - Stars: 26 - Forks: 4

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: Elixir - Size: 149 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 228 - Forks: 377

docknetwork/crypto-wasm-ts

Typescript abstractions over Rust crypto library's WASM wrapper

Language: TypeScript - Size: 14.1 MB - Last synced at: 6 days ago - Pushed at: 12 days 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: 11 days ago - Pushed at: 13 days 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: 13 days ago - Pushed at: 20 days ago - Stars: 226 - Forks: 39

supranational/sppark

Zero-knowledge template library

Language: Cuda - Size: 419 KB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 195 - Forks: 75

ora-io/awesome-ora

A curated list of awesome ORA ecosystem.

Size: 152 KB - Last synced at: 10 days ago - Pushed at: about 1 month ago - Stars: 87 - Forks: 17

LatticeX-Foundation/Rosetta

A Privacy-Preserving Framework Based on TensorFlow

Language: C++ - Size: 16.8 MB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 556 - Forks: 111

id-Mask/website

https://idmask.xyz

Language: Vue - Size: 450 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 1 - Forks: 0

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: about 12 hours ago - Pushed at: about 1 month ago - Stars: 89 - Forks: 24

docknetwork/crypto-wasm

WASM wrapper over the crypto library

Language: Rust - Size: 1.6 MB - Last synced at: 13 days ago - Pushed at: 9 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: 16 days 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: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

ZenGo-X/curv

Rust language general purpose elliptic curve cryptography.

Language: Rust - Size: 1.09 MB - Last synced at: 7 days ago - Pushed at: 9 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: 3 days ago - Pushed at: 28 days ago - Stars: 169 - Forks: 25

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: 1 day ago - Pushed at: over 2 years ago - Stars: 629 - Forks: 105

sec-bit/ckb-zkp

Zero Knowledge Proofs Toolkit for CKB

Language: Rust - Size: 2.03 MB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 67 - Forks: 15

Sindri-Labs/sindri-js

Sindri Zero-Knowledge Proof CLI

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

LuozhuZhang/awesome-zkevm

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

Size: 114 KB - Last synced at: 10 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 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

ZenGo-X/zk-paillier

A collection of Paillier cryptosystem zero knowledge proofs

Language: Rust - Size: 109 KB - Last synced at: 25 days ago - Pushed at: almost 2 years ago - Stars: 115 - Forks: 40

alxkzmn/spartan-circom

Write Spartan circuits in Circom

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

Manta-Network/Manta

The main repo for manta blockchain nodes.

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

keep-starknet-strange/starkstr

Nostr x STARKs exploration project.

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

keep-starknet-strange/raito

Bitcoin ZK client written in Cairo.

Language: Cairo - Size: 63.4 MB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 57 - Forks: 42

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 1 month ago - Pushed at: about 1 month 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 1 month ago - Pushed at: about 1 month ago - Stars: 22 - Forks: 5

xevisalle/zpie

ZPiE: Zero-knowledge Proofs in Embedded systems

Language: C - Size: 137 KB - Last synced at: 9 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: 6 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: about 1 month ago - Pushed at: about 1 month 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: about 20 hours ago - Pushed at: about 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: 18 days ago - Pushed at: 18 days 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: 19 days 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: about 2 months ago - Pushed at: about 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: 2 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: 17 days 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: 6 days 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: 28 days ago - Pushed at: about 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 1 month ago - Pushed at: 5 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: 21 days ago - Pushed at: about 2 years ago - Stars: 49 - Forks: 2

nucypher/numerology

Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity

Language: JavaScript - Size: 739 KB - Last synced at: 19 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: 28 days ago - Pushed at: about 2 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: about 14 hours ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 1

jonas089/stark-math

Research revolving around Stark Math

Size: 281 KB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 12 - Forks: 1

ing-bank/threshold-signatures 📦

Threshold Signature Scheme for ECDSA

Language: Rust - Size: 1.49 MB - Last synced at: 3 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: 6 days ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 19

MartinCastroAlvarez/zk-proof

Risc Zero Rust App

Language: Rust - Size: 3.54 MB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

weavechain/weave-js-api

Weavechain Javascript API

Language: JavaScript - Size: 124 KB - Last synced at: 1 day ago - Pushed at: 2 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: 6 days ago - Pushed at: 7 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: 2 days ago - Pushed at: 2 months ago - Stars: 8 - Forks: 1

Voxelot/zk-dex

Language: Solidity - Size: 41 KB - Last synced at: about 1 month 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 1 month 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: 8 months ago - Stars: 166 - Forks: 32

HarryR/ethsnarks-miximus

Example project for EthSnarks - Miximus coin mixer

Language: C++ - Size: 122 KB - Last synced at: 10 days ago - Pushed at: over 5 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: 3 days ago - Pushed at: 5 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: 12 days 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: 3 months ago - Stars: 136 - Forks: 84

Manta-Network/manta-rs

Rust Crates for the Manta Network Ecosystem

Language: Rust - Size: 93.1 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 82 - Forks: 47

keep-starknet-strange/zkthread

Fractal scaling without fragmentation, powered by the Starknet stack 🐺

Size: 1.16 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 0

radkomih/cryptography-resources

Cryptography related resources

Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

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: 8 days ago - Pushed at: over 1 year ago - Stars: 83 - Forks: 19

jarrodwatts/polygon-id

A demo application using Polygon ID to submit ZK proofs of the user's age.

Language: TypeScript - Size: 2.05 MB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 7

zkmove/zkmove-lite

A fast zero-knowledge proof friendly Move language runtime environment.

Language: Rust - Size: 290 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 48 - Forks: 6

weavechain/bulletproofs-gadgets

Bulletproofs Gadgets. Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Language: Java - Size: 177 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 11 - Forks: 1

weavechain/bulletproofs

A pure Java implementation of Bulletproofs using Ristretto. Bulletproofs: short non-interactive zero-knowledge proofs that require no trusted setup

Language: Java - Size: 162 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 18 - Forks: 1

masaun/world-id-gated-food-voucher

【World ID-gated Food Voucher🎫🆔 for food rations for refugees】- This smart contract utilize World ID as a verification gate for checking qualification who can claim food voucher and verifying it.

Language: TypeScript - Size: 3.05 MB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

tHeMaskedMan981/ZK-Uniwallet-MIT-Bitcoin-Hackathon-2020

Infrastructure-track prize winner at MIT Bitcoin Hackathon 2020. A universal wallet management with inbuilt zk proof generations

Language: CSS - Size: 35.1 MB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1

Epiisteme/awesome-zero-knowledge-proofs

A Primer on Zero Knowledge Proofs

Size: 45.9 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

weavechain/weave-py-api

Weavechain Python API

Language: Python - Size: 51.8 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 5 - Forks: 1

roynalnaruto/range_proof

PoC implementation of polynomial commitment scheme based Range Proofs

Language: Rust - Size: 34.2 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 4

scipr-lab/dizk

Java library for distributed zero knowledge proof systems

Language: Java - Size: 175 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 234 - Forks: 68

xevisalle/paccs

Proof-of-Concept of the PACCs protocol.

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

LayerXcom/bellman-substrate

A library for supporting zk-SNARKs to Substrate

Language: Rust - Size: 4.08 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 31 - Forks: 10

mimblewimble/grin

Minimal implementation of the Mimblewimble protocol.

Language: Rust - Size: 20.4 MB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 5,041 - Forks: 990

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: 20 days ago - Pushed at: 8 months ago - Stars: 160 - Forks: 79

adria0/a0kzg

Kate-Zaverucha-Goldberg polynomial commitments in rust playground

Language: Rust - Size: 21.5 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 3

fbac/zkproof-go

Zero Knowledge proof based on Chaum-Pedersen protocol

Language: Go - Size: 6.39 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 1

EspressoSystems/cape 📦

Configurable Asset Privacy for Ethereum

Language: Rust - Size: 7.03 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 97 - Forks: 16

jonas089/cypher-poll

Anonymous Github Voting Protocol

Language: Rust - Size: 949 KB - Last synced at: 17 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1

spring-epfl/zksk

Zero-Knowledge Swiss Knife

Language: Python - Size: 567 KB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 94 - Forks: 23

tr1sm0s1n/aureum-dao

AUREUM, a Charity DAO DApp, built on the Concordium blockchain.

Language: Rust - Size: 8.34 MB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 4 - Forks: 0

clearmatics/neodizk

Java library for distributed zero knowledge proof systems (forked from scipr-lab/dizk)

Language: Java - Size: 609 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 3