GitHub topics: verifiable-computing
WholesumNet/client
Client agent for Wholesum network
Language: Rust - Size: 325 KB - Last synced at: about 5 hours ago - Pushed at: about 5 hours ago - Stars: 0 - Forks: 0
microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
Language: Rust - Size: 150 KB - Last synced at: 1 day ago - Pushed at: 14 days ago - Stars: 773 - Forks: 136
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: 4 days ago - Pushed at: 4 days ago - Stars: 4 - Forks: 1
Layr-Labs/eigensdk-rs
EigenLayer Rust Developer Tooling
Language: Rust - Size: 36.1 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 91 - Forks: 30
zkMIPS/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: 22 days ago - Pushed at: about 2 months ago - Stars: 127 - Forks: 61
xQiratNL/VLDP
Efficient Verifiable Differential Privacy with Input Authenticity in the Local and Shuffle Model
Language: Rust - Size: 13.7 MB - Last synced at: 3 months ago - Pushed at: 3 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: about 2 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: about 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
