Compare
Four documents, the same five questions.
No throughput league table and no yield. The cells are what this library is willing to say about the text.
| Question | Jolt: lookups for a virtual machine |
|---|---|
| What the text proposes | Jolt proposes proving a virtual machine with lookups rather than by arithmetising every instruction into a bespoke constraint system. |
| Who may write | Arasu Arun, Srinath Setty and Justin Thaler |
| What is settled | The paper's object is the proof system for a VM. A product that later uses the idea still has to name the instruction set. |
| Load-bearing assumption | This is a research paper. It is not a claim that any network has shipped it unchanged. |
| What this library says afterwards | A reading of the project's public design document. Not a copy, not a benchmark, and not an offer. |
| Rights | Official external source only |