boundless-xyz/boundless

Monorepo for Boundless, the verifiable compute layer

Language: Rust - Size: 16.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 17 - Forks: 27

NethermindEth/latticefold

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

Language: Rust - Size: 1.75 MB - Last synced at: 6 days ago - Pushed at: 13 days ago - Stars: 72 - Forks: 9

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: 4 days ago - Pushed at: 26 days ago - Stars: 169 - Forks: 31

TheArchitect2000/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: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 1

VladlenAfonin/vc

Verifiable Computations

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

DarthBenro008/simplevrf

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

Language: TypeScript - Size: 662 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 3 - Forks: 0

Zokrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

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

nuke-web3/sp1-chacha

Experimenting with lightweight verifiable encryption with Succinct SP1

Language: Rust - Size: 1.09 MB - Last synced at: 6 days ago - Pushed at: 26 days 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: 6 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

vt-asaplab/vPIN

Privacy-Preserving Verifiable Neural Network Inference Service

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

Isaac-DeFrain/pinocchio

Reference implementation of the Pinccohio zk proof system

Language: Shell - Size: 29.3 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - 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

vt-asaplab/porla

Efficient Dynamic Proof of Retrievability

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

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

cnasikas/data-processing

Αccountable and privacy preserving data processing via distributed ledgers

Language: JavaScript - Size: 3.19 MB - Last synced at: about 1 month ago - Pushed at: over 6 years 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: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - 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

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