GitHub topics: verifiable-computing
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.8 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 1

microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
Language: Rust - Size: 150 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 782 - Forks: 142

Layr-Labs/eigensdk-rs
EigenLayer Rust Developer Tooling
Language: Rust - Size: 39.2 MB - Last synced at: 3 days ago - Pushed at: 14 days ago - Stars: 91 - Forks: 31

WholesumNet/client
Client agent for Wholesum network
Language: Rust - Size: 451 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

ProjectZKM/zkm 📦
zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
Language: Rust - Size: 35 MB - Last synced at: 11 days ago - Pushed at: 3 months ago - Stars: 128 - Forks: 62

xQiratNL/VLDP
Efficient Verifiable Differential Privacy with Input Authenticity in the Local and Shuffle Model
Language: Rust - Size: 13.7 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

JaniAnttonen/proof_of_latency
A proof of concept of an interactive VDF-based proof of latency between two participants
Language: Rust - Size: 592 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 1

eldenpark/verifiable-computing
Verifiable work delegation and ENS (Ethereum Name Service) indexing
Language: JavaScript - Size: 1.45 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - 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
