verifiable-computing

There are 3 repositories under verifiable-computing topic.

microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
cryptography-library zero-knowledge-proofs zksnarks verifiable-computing nizk rust-library
Language:Rust 639
zkMIPS / zkm
The universal zkVM empowering Ethereum as the Global Settlement Layer
mips verifiable-computing zkp zkvm
Language:Rust 77
JaniAnttonen / proof_of_latency
A proof of concept of an interactive VDF-based proof of latency between two participants
vdf verifiable-delay-functions verifiable-computing p2p dynamic-routing
Language:Rust 4
LBruyne / ZKPedia
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
verifiable-computation wikipedia zero-knowledge zero-knowledge-proof zksnark interactive-proofs groth16 plonk zkp cryptography nizk verifiable-computing
4
eldenpark / verifiable-computing
Verifiable work delegation and ENS (Ethereum Name Service) indexing
ens ethereum verifiable-computing web3
Language:JavaScript 2

microsoft / Spartan