ivc topic

List ivc repositories

pcd

29
Stars
10
Forks
Watchers

Implementations of proof-carrying data

sirius

117
Stars
17
Forks
Watchers

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).