MicroNova: Folding-based arguments with efficient (on-chain) verification

Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha

IEEE Symposium on Security and Privacy 2025 · Day 2 · Blockchain II