[{"type":"report","id":"BLC-STUDY-0122","title":"SuperNova: Proving Universal Machine Executions without Universal Circuits","author":[{"literal":"Abhiram Kothapalli"},{"literal":"Srinath Setty"}],"issued":{"date-parts":[[2022]]},"publisher":"Abhiram Kothapalli and Srinath Setty","URL":"https://eprint.iacr.org/2022/1758","note":"Rights status: Official external source only. Not a licence to republish the paper."}]