#Zk-snarks

Showing 32 of 32 repositories tagged #zk-snarks, ranked by stars

Lagrange-Labs
Lagrange-Labs
deep-prove

Framework to prove inference of ML models blazingly fast

Score
100
★ 3.4k ⑂ 98 +2/day
Rust
MinaProtocol
MinaProtocol
mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Score
100
★ 2.1k ⑂ 585
OCaml
OwshenNetwork
OwshenNetwork
owshen

The Deep Sea

Score
33
★ 2.0k ⑂ 92
Rust
Consensys
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

Score
100
★ 1.7k ⑂ 525 +3/day
Go
darkrenaissance
darkrenaissance
darkfi

Anonymous. Uncensored. Sovereign.

Score
67
★ 1.4k ⑂ 146 +4/day
Rust
semaphore-protocol
semaphore-protocol
semaphore

A zero-knowledge protocol for anonymous interactions.

Score
96
★ 1.1k ⑂ 295 +1/day
TypeScript
ethereum-oasis-op
ethereum-oasis-op
baseline

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.

Score
76
★ 572 ⑂ 234
czbag
czbag
zksync

Multitool soft for ZkSync Era

Score
72
★ 443 ⑂ 215
Python
zkemail
zkemail
zk-email-verify

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

Score
92
★ 430 ⑂ 114
TypeScript
stealthdrop
stealthdrop
stealthdrop

Anonymous Airdrops using ZK-SNARKs

Score
88
★ 364 ⑂ 38
Circom
Quillhash
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.

Score
60
★ 271 ⑂ 48
LayerXcom
LayerXcom
zero-chain

A privacy-preserving blockchain on Substrate

Score
56
★ 262 ⑂ 44
Rust
zkopru-network
zkopru-network
zkopru

Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

Score
52
★ 219 ⑂ 27
TypeScript
czbag
czbag
scroll

Multitool soft for Scroll

Score
64
★ 210 ⑂ 131
Python
meilof
meilof
pysnark

Library for programming zk-SNARKs directly in Python

Score
48
★ 193 ⑂ 32
Python
NethermindEth
NethermindEth
latticefold

A lattice-based non-interactive folding scheme written in Rust

Score
84
★ 129 ⑂ 23
Rust
eddieoz
eddieoz
haal

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

Score
44
★ 117 ⑂ 16
JavaScript
0xPolygonZero
0xPolygonZero
r1cs

A Rust library for building R1CS gadgets

Score
0
★ 92 ⑂ 7
Rust
vocdoni
vocdoni
vocdoni-node

A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

Score
0
★ 90 ⑂ 19
Go
HarryR
HarryR
ethsnarks-miximus

Example project for EthSnarks - Miximus coin mixer

Score
40
★ 85 ⑂ 21
C++
ora-io
ora-io
awesome-ora

A curated list of awesome ORA ecosystem.

Score
36
★ 84 ⑂ 18
ethereum934
ethereum934
eth-mimblewimble

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

Score
24
★ 80 ⑂ 10
Python
zkBob
zkBob
zkbob-contracts

A stablecoin-based zkprotocol designed for simplicity, privacy and utility

Score
80
★ 74 ⑂ 31
Solidity
colinnielsen
colinnielsen
ecrecover-noir

A Noir circuit that mimics Solidity's ecrecover

Score
68
★ 67 ⑂ 25
Noir
clearmatics
clearmatics
zeth

Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905

Score
28
★ 57 ⑂ 27
C++
iluxonchik
iluxonchik
zkLocus

zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS framework, zkLocus turns geolocation into a Real-World-Asset (RWA). zkLocus's DeFi ecosystem is powered by its native $ZKL token.

Score
16
★ 44 ⑂ 6
TypeScript
michaelliao
michaelliao
red-packet-contract

Crypto red packet with zk-proof.

Score
20
★ 36 ⑂ 11
HTML
miguelmota
miguelmota
zksnarks-example

An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.

Score
12
★ 36 ⑂ 8
berillos
berillos
pallad

Progressive Mina Protocol Wallet

Score
32
★ 32 ⑂ 17
TypeScript
wkennedy
wkennedy
solana-zk-proof-example

A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana

Score
4
★ 19 ⑂ 2
Rust
airchains-network
airchains-network
airchains

A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups

Score
8
★ 19 ⑂ 8
Go
MoonfishApp
MoonfishApp
ZKPlayground

Playground for ZoKrates ZK Snark toolbox for Ethereum

Score
0
★ 15 ⑂ 1
Swift
Related Topics
#ethereum#zk#zero-knowledge#blockchain#zero-knowledge-proofs#solidity#smart-contracts#web3#cryptocurrency#privacy#zkp#mina

© 2026 GitRepoTrend · GitHub repositories by topic · Updated weekly