Revisiting the Nova Proof System on a Cycle of Curves.

Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty

Browse the full AFT paper archive.