[{"type":"report","id":"BLC-STUDY-0123","title":"HyperNova: Recursive Arguments for Customizable Constraint Systems","author":[{"literal":"Abhiram Kothapalli"},{"literal":"Srinath Setty"}],"issued":{"date-parts":[[2023]]},"publisher":"Abhiram Kothapalli and Srinath Setty","URL":"https://eprint.iacr.org/2023/573","note":"Rights status: Official external source only. Not a licence to republish the paper."}]