On the Security of Nova Recursive Proof System

ePrint Report: On the Security of Nova Recursive Proof System

Hyeonbum Lee, Jae Hong Seo

Nova is a new type of recursive proof system that uses folding scheme as its core building block. This brilliant idea of folding relations can significantly reduce recursion overhead. In this paper, we study some issues related to Nova's soundness proof that relies on the soundness of the folding scheme in a recursive manner.


First, its proof strategy, due to its recursive nature, inevitably expands …

block building can eprint report idea lee nova proof recursion report security seo study system