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

61
Stars
10
Forks
Watchers

EigenLayer Rust Developer Tooling

verified publisher icon Layr-Labs