SuperNova: Proving universal machine executions without universal circuits

Team
Date
2022
Author
Abhiram Kothapalli
Srinath Setty
Citation