Telecharger Cours

SuperNova: Proving universal machine executions without universal ...

This paper introduces SuperNova, a new recursive proof system for incrementally producing succinct proofs of correct execution of programs on a stateful machine ...



Download