zkMIPS/zkMIPS

zkMIPS 1.0: An open-source, simple, stable, and universal zkVM on MIPS32r2.

Language: Rust - Size: 14.7 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 10 - Forks: 14

a16z/jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Language: Rust - Size: 19.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 784 - Forks: 232

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.

Language: Go - Size: 37.5 MB - Last synced at: about 16 hours ago - Pushed at: about 17 hours ago - Stars: 545 - Forks: 208

arkworks-rs/crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

Language: Rust - Size: 364 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 210 - Forks: 102

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

Language: Lean - Size: 2.95 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 67 - Forks: 10

matter-labs/awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Size: 188 KB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 5,477 - Forks: 866

Zokrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

Language: Rust - Size: 18.1 MB - Last synced at: 2 days ago - Pushed at: 9 months ago - Stars: 1,862 - Forks: 368

jonas089/jonas089-snark

Elliptic Curve Cryptography and Field Arithmetic from scratch

Language: Rust - Size: 57.6 KB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 1

nexus-xyz/nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

Language: Rust - Size: 71.7 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 2,413 - Forks: 431

RingsNetwork/rings

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

Language: Rust - Size: 4.11 MB - Last synced at: 12 days ago - Pushed at: 11 months ago - Stars: 208 - Forks: 19

arkworks-rs/groth16

A Rust implementation of the Groth16 zkSNARK

Language: Rust - Size: 185 KB - Last synced at: 19 days ago - Pushed at: about 2 months ago - Stars: 282 - Forks: 119

WTFAcademy/WTF-zk

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

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

0xEigenLabs/eigen-secret

Confidential Transaction with Collaborative Traceability, zk-zkRollup

Language: TypeScript - Size: 86.7 MB - Last synced at: 12 days ago - Pushed at: almost 2 years ago - Stars: 47 - Forks: 8

arkworks-rs/spongefish

Fiat-Shamir for the masses.

Language: Rust - Size: 867 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 63 - Forks: 23

pierpaolodm/Privacy-PreservingProofs4EditedPhotos

Our project introduces a system designed to efficiently prove and verify the authenticity of transformed images.

Language: Circom - Size: 28 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

casweeney/zk-cryptography-research-implementations

A collection of ZKPs (Zero Knowledge Proofs) and cryptographic research implementations in Rust.

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

a16z/zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

Language: Rust - Size: 55.7 KB - Last synced at: 18 days ago - Pushed at: about 1 year ago - Stars: 59 - Forks: 22

shuklaayush/halo2-plonky2-verifier

Halo2 gadgets for verifying plonky2/starky proofs (WIP)

Language: Rust - Size: 2.84 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

Fundspay/ticketmaster-server

This is a demo ticketing application for the fundsdb-zkpengine

Language: JavaScript - Size: 75.2 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

NilFoundation/vote-saver-protocol 📦

VoteSAVER Protocol Implementation

Language: C++ - Size: 898 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 6

CharmsDev/polymath

Polymath: Groth16 Is Not The Limit

Language: Rust - Size: 169 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 29 - Forks: 5

ZKDL-Camp/lectures-tex

Source files for ZKDL Lectures

Language: TeX - Size: 125 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 8 - Forks: 0

tokamak-network/DEPRECATED-Tokamak-ZkEVM

A new type of zk-EVM for L2 rollup

Language: JavaScript - Size: 1.17 GB - Last synced at: 11 days ago - Pushed at: 3 months ago - Stars: 11 - Forks: 3

mottla/go-R1CS-Compiler

A compiler to turn GO code into a zkSNARK

Language: Go - Size: 1.03 MB - Last synced at: 17 days ago - Pushed at: almost 4 years ago - Stars: 16 - Forks: 1

arkworks-rs/ivls

Implementation of incrementally verifiable ledger system

Language: Rust - Size: 53.7 KB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 17 - Forks: 5

zkCollective/zk-Harness

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

Language: Python - Size: 134 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 99 - Forks: 17

AntoineRondelet/crsregistry

CRS Registry of past SNARK ceremonies

Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

cawfree/zk-starter

zero knowledge for those with zero knowledge

Language: Solidity - Size: 610 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 103 - Forks: 4

jonas089/paradox-6

Rust ZK Node with Noir and Circom Verifier

Language: Rust - Size: 72.3 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

0xEigenLabs/0xEigenLabs.github.io

Language: JavaScript - Size: 57.6 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 3

BoltonBailey/formal-snarks-project

A formal verification of Linear PCP SNARKs.

Language: Lean - Size: 471 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 44 - Forks: 1

iosis-tech/zetina

Shared peer-to-peer network of zero-knowledge provers

Language: Cairo - Size: 1.08 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 8 - Forks: 1

jonas089/ecdsa-circuit-input-lib

Rust library for generating inputs for Noir circuits that utilize Secp256k1 ECDSA signatures.

Language: Rust - Size: 220 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

KogarashiNetwork/Kogarashi

凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform

Language: Rust - Size: 5.9 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 27 - Forks: 4

mmaker/c-lwe-snarks

Some YOLO crypto

Language: C - Size: 2.05 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

distributed-lab/era-boojum Fork of matter-labs/era-boojum

PLONK + FRI based ZK proving system.

Language: Rust - Size: 1.7 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

DrPeterVanNostrand/halo2-merkle

Halo2 Merkle tree circuits

Language: Rust - Size: 12.7 KB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 32 - Forks: 4

tobias-rothmann/plonk

implementing PLONK according to the original paper

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

ocdbytes/zkMint

Mint NFT for addresses with a proof that one knows the secret phrase without revealing it to the public in any form.

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

eyedeekay/samtracker

Will it track?

Language: Go - Size: 87.9 KB - Last synced at: 30 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

toonsegers/verifiable_mpc

A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.

Language: Python - Size: 369 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 3

arkworks-rs/gm17

A Rust library for the preprocessing zkSNARK of Groth and Maller

Language: Rust - Size: 120 KB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 5

teddav/tornado-halo2

Tornado Cash circuits written with Halo2

Language: Rust - Size: 16.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

duckki/mini-snark

A simple SNARK implementation in Python

Language: Python - Size: 46.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

airchains-network/evm-sequencer-node

Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.

Language: Go - Size: 887 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

zack-bitcoin/verkle

A database being built for the Amoveo blockchain.

Language: Erlang - Size: 1.08 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 15 - Forks: 4

kilic/bellman-playground

bellman circuit playground

Language: Rust - Size: 47.9 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 3

RafaBlockDev/zk-snark-documentation

Snark Library to find absolutely everything from Zero-Knowledge SNARK

Language: TypeScript - Size: 512 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

bullet-tooth/zk-battleship

Language: Rust - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mottla/go-AlgebraicProgram-SNARK

Pairing-Based Zero-Knowledge SNARK creation toolchain

Language: Go - Size: 1.31 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

VictorColomb/stark-snark-recursive-proofs

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

Language: Rust - Size: 977 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 94 - Forks: 3

matter-labs-archive/matter-network

PoC of SNARK-driven Plasma with up to 500 tx/sec

Size: 43 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 70 - Forks: 4

arkworks-rs/pcd

Implementations of proof-carrying data

Language: Rust - Size: 33.2 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 21 - Forks: 7

arkworks-rs/dpc

A library for decentralized private computation

Language: Rust - Size: 206 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 17 - Forks: 4

matter-labs-archive/Groth16BatchVerifier

Batch verification proposal for the zkSNARK verification with the same(!) circuit

Language: JavaScript - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 19 - Forks: 2

EnoRage/zeroPool 📦

Size: 64 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

verumlotus/circomlib-ml-vesta Fork of socathie/circomlib-ml

Circom Circuits Library for Machine Learning for the Vesta Curve

Language: Jupyter Notebook - Size: 890 KB - Last synced at: 10 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

LuozhuZhang/understanding-zk-rollup

understanding zk-rollup

Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Equideum/libsnark

Custom fork of public libsnark (used in ZKP-Benchmarker)

Language: C++ - Size: 10.6 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

vuvoth/evoting

Amonymos voting on ethereum base on snark.

Language: JavaScript - Size: 48.4 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

matter-labs-archive/GameOfSnarks_contracts

Smart-contracts for the game of SNARKs

Language: JavaScript - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 3

MikeRalphson/hunting-of-the-snark

Lewis Carroll's The Hunting of the Snark in pantomime format

Size: 14.6 KB - Last synced at: 7 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0