There are 3 repositories under verifiable-computing topic.
Spartan: High-speed zkSNARKs without trusted setup
The universal zkVM empowering Ethereum as the Global Settlement Layer
EigenLayer Rust Developer Tooling
A proof of concept of an interactive VDF-based proof of latency between two participants
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
Verifiable work delegation and ENS (Ethereum Name Service) indexing
Client agent for Wholesum network