MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification.

Jiaxing Zhao, Srinath T. V. Setty, Weidong Cui, Greg Zaverucha

Browse the full SP paper archive.