Skip to content

Research corpusConfidential computeBLC-STUDY-0645

Jolt: lookups for a virtual machine

Jolt proposes proving a virtual machine with lookups rather than by arithmetising every instruction into a bespoke constraint system.

  • Official external source only
  • Design paper
  • Official source
Compare

Record

Authors
Arasu Arun, Srinath Setty and Justin Thaler
Date
2023
Publisher
Arasu Arun, Srinath Setty and Justin Thaler
Version
Source cited by the 2023 study. The study is the reading. This page does not add a second essay.
Document ID
BLC-STUDY-0645
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

Jolt proposes proving a virtual machine with lookups rather than by arithmetising every instruction into a bespoke constraint system.

Where to read

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 project's public design document. Not a copy, not a benchmark, and not an offer.

Relationships

Cite this record

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

Author–date

Arun, A., Setty, S., & Thaler, J. (2023). Jolt: lookups for a virtual machine. Arasu Arun, Srinath Setty and Justin Thaler. https://eprint.iacr.org/2023/1217

BibTeX

@techreport{joltzkvm2023,
  title = {Jolt: lookups for a virtual machine},
  author = {Arasu Arun, Srinath Setty and Justin Thaler},
  year = {2023},
  institution = {Arasu Arun, Srinath Setty and Justin Thaler},
  url = {https://eprint.iacr.org/2023/1217},
  note = {Rights status: Official external source only. Blockchain Lab record: https://blockchainlab.com/research/corpus/papers/jolt-zkvm}
}

RIS

TY  - RPRT
TI  - Jolt: lookups for a virtual machine
AU  - Arasu Arun
AU  - Srinath Setty
AU  - Justin Thaler
PY  - 2023
PB  - Arasu Arun, Srinath Setty and Justin Thaler
UR  - https://eprint.iacr.org/2023/1217
N1  - Rights status: Official external source only
ER  -

CSL-JSON

[
  {
    "type": "report",
    "id": "BLC-STUDY-0645",
    "title": "Jolt: lookups for a virtual machine",
    "author": [
      {
        "literal": "Arasu Arun"
      },
      {
        "literal": "Srinath Setty"
      },
      {
        "literal": "Justin Thaler"
      }
    ],
    "issued": {
      "date-parts": [
        [
          2023
        ]
      ]
    },
    "publisher": "Arasu Arun, Srinath Setty and Justin Thaler",
    "URL": "https://eprint.iacr.org/2023/1217",
    "note": "Rights status: Official external source only. Not a licence to republish the paper."
  }
]

JSONBibTeX fileRIS fileCSL-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 licensingCorrections

Useful next step