verifiable-computing topic

List verifiable-computing repositories

Spartan

639
Stars
99
Forks
Watchers

Spartan: High-speed zkSNARKs without trusted setup

verified publisher icon microsoft

zkm

80
Stars
41
Forks
Watchers

The universal zkVM empowering Ethereum as the Global Settlement Layer

verified publisher icon zkMIPS

eigensdk-rs

91
Stars
33
Forks
91
Watchers

EigenLayer Rust Developer Tooling

verified publisher icon Layr-Labs