Zokrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

Language: Rust - Size: 18.1 MB - Last synced at: 8 days ago - Pushed at: 10 months ago - Stars: 1,867 - Forks: 369

Layr-Labs/awesome-avs

A curated list of awesome projects and resources related to AVS development and EigenLayer.

Size: 63.5 KB - Last synced at: 13 days ago - Pushed at: about 2 months ago - Stars: 170 - Forks: 31

NethermindEth/latticefold

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

Language: Rust - Size: 1.75 MB - Last synced at: 29 days ago - Pushed at: about 1 month ago - Stars: 72 - Forks: 9

boundless-xyz/boundless

Monorepo for Boundless, the universal ZK protocol

Language: Rust - Size: 18.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 30 - Forks: 36

vt-asaplab/vPIN

Privacy-Preserving Verifiable Neural Network Inference Service

Language: Rust - Size: 24.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 13 - Forks: 0

vt-asaplab/porla

Efficient Dynamic Proof of Retrievability

Language: C - Size: 15.1 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 3

VladlenAfonin/vc

Verifiable Computations

Language: Python - Size: 118 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 4 - Forks: 0

TheArchitect2000/Blockchain-based-IoT-Server

An IoT Management System for registering IoT devices, communicating via the MQTT protocol, managing users, and more.

Language: TypeScript - Size: 17.6 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 4 - Forks: 1

DarthBenro008/simplevrf

A simple and secure Verifiable Random Function (VRF) implementation for the Fuel Network.

Language: TypeScript - Size: 662 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

DavidTan0527/Verifiable-Computation

Language: Sage - Size: 78.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

LBruyne/ZKPedia

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

Size: 461 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

cnasikas/data-processing

Αccountable and privacy preserving data processing via distributed ledgers

Language: JavaScript - Size: 3.19 MB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

JaniAnttonen/gradu

Proof of Latency Using a Verifiable Delay Function

Language: TeX - Size: 21.4 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

mahzoun/SetOps

Verifiable Operations on Outsourced Sets

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

nuke-web3/sp1-chacha

Experimenting with lightweight verifiable encryption with Succinct SP1

Language: Rust - Size: 1.09 MB - Last synced at: 9 minutes ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 2

nuke-web3/risc0-chacha

Experimenting with lightweight verifiable encryption with RISC Zero

Language: Rust - Size: 1.07 MB - Last synced at: 9 minutes ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

HeiniDebes/ZEKRA

Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol

Language: Java - Size: 979 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Isaac-DeFrain/pinocchio

Reference implementation of the Pinccohio zk proof system

Language: Shell - Size: 29.3 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

HeiniDebes/RETRACT

Prototype code for Expressive Designated Verifier Anonymous Credentials

Language: JetBrains MPS - Size: 310 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0