Repositories tagged with "verifiable-computation"
ZoKrates
Zokrates
โA toolbox for zkSNARKs on Ethereumโ
boundless
boundless-xyz
โMonorepo for Boundless, the universal ZK protocol.โ
awesome-avs
Layr-Labs
โA curated list of awesome projects and resources related to AVS development and EigenLayer.โ
latticefold
NethermindEth
โ A lattice-based non-interactive folding scheme written in Rustโ
