Research corpus ScalingBLC-STUDY-0123

HyperNova: Recursive Arguments for Customizable Constraint Systems

HyperNova generalises folding to customisable constraint systems so a recursive proof can follow the arithmetisation the circuit actually uses.

Official external source only
Design paper
Official source

Compare

Record

Authors: Abhiram Kothapalli and Srinath Setty
Date: 2023
Publisher: Abhiram Kothapalli and Srinath Setty
Version: Source cited by the 2023 study. The study is the reading. This page does not add a second essay.
Document ID: BLC-STUDY-0123
DOI: None recorded
Last reviewed: 1 October 2026
Licence: No licence recorded. Rights status under review.

No hash is published. This build does not store those PDF bytes, so a checksum would be invented. Where a legacy path exists, it points at the Internet Archive copy of the old library.

Direct answer

HyperNova generalises folding to customisable constraint systems so a recursive proof can follow the arithmetisation the circuit actually uses.

Where to read

Official source — ePrint 2023/573
Blockchain Lab study, the canonical readingOriginal commentary. Not a transcription of the paper.

Metadata and commentary only. The reading is the study page.

Full text

Full text is not published on this page. Public availability is not a licence to republish a document. Blockchain Lab has not recorded a licence that permits an HTML transcription, a training set, or a retrieval corpus of the paper. Text on this page is Blockchain Lab's own wording, or a pointer to a study that is also Blockchain Lab's wording.

What changed

A reading of the public paper. Not a copy, not a benchmark, and not a claim about any later network.

Relationships

Canonical readingHyperNova study
Related paperSuperNova
Related paperNova

Cite this record

These citations point at the source document. They are not a licence to copy it.

Author–date

Kothapalli, A., & Setty, S. (2023). HyperNova: Recursive Arguments for Customizable Constraint Systems. Abhiram Kothapalli and Srinath Setty. https://eprint.iacr.org/2023/573

BibTeX

@techreport{hypernova2023,
  title = {HyperNova: Recursive Arguments for Customizable Constraint Systems},
  author = {Abhiram Kothapalli and Srinath Setty},
  year = {2023},
  institution = {Abhiram Kothapalli and Srinath Setty},
  url = {https://eprint.iacr.org/2023/573},
  note = {Rights status: Official external source only. Blockchain Lab record: https://blockchainlab.com/research/corpus/papers/hypernova}
}

RIS

TY  - RPRT
TI  - HyperNova: Recursive Arguments for Customizable Constraint Systems
AU  - Abhiram Kothapalli
AU  - Srinath Setty
PY  - 2023
PB  - Abhiram Kothapalli and Srinath Setty
UR  - https://eprint.iacr.org/2023/573
N1  - Rights status: Official external source only
ER  -

CSL-JSON

[
  {
    "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."
  }
]

JSON BibTeX file RIS file CSL-JSON

Rights record

Source status: Official source
Use status: Metadata and commentary only. The reading is the study page.
Rights: Official external source only
Training and retrieval: Not permitted from this site. There is no rights-cleared full text to retrieve or to train on.

Rights and licensing Corrections