Projects in Awesome Lists tagged with verifiable-computing
A curated list of projects in awesome lists tagged with verifiable-computing .
https://github.com/microsoft/spartan
Spartan: High-speed zkSNARKs without trusted setup
cryptography-library nizk rust-library verifiable-computing zero-knowledge-proofs zksnarks
Last synced: 14 May 2025
https://github.com/microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
cryptography-library nizk rust-library verifiable-computing zero-knowledge-proofs zksnarks
Last synced: 01 Apr 2025
https://github.com/zkMIPS/zkm
The universal zkVM empowering Ethereum as the Global Settlement Layer
mips verifiable-computing zkp zkvm
Last synced: 27 Nov 2024
https://github.com/layr-labs/eigensdk-rs
EigenLayer Rust Developer Tooling
avs eigenlayer ethereum restaking rust sdk verifiable-computing
Last synced: 16 May 2025
https://github.com/janianttonen/proof_of_latency
A proof of concept of an interactive VDF-based proof of latency between two participants
dynamic-routing p2p vdf verifiable-computing verifiable-delay-functions
Last synced: 22 Apr 2025
