On 19 February 2026 four researchers at ICME Labs posted a preprint to arXiv describing Jolt Atlas. It is a zero-knowledge machine learning (zkML) framework for proving that a model's inference was computed as claimed.[1] A zero-knowledge proof shows that a claim is true without revealing anything else. Jolt Atlas extends Jolt, a zero-knowledge virtual machine (zkVM) for RISC-V programs, to neural networks.[1]

A zkVM proves a program's execution by emulating the CPU instructions it runs. Jolt Atlas instead applies Jolt's lookup-based approach directly to the tensor operations of models in the Open Neural Network Exchange (ONNX) format. A lookup argument proves that a function's inputs and outputs appear in a precomputed table. This suits non-linear functions, such as activation functions, that are costly to express as arithmetic constraints. The authors say that working directly on tensor operations removes CPU registers from the model of computation and simplifies checks that memory reads and writes are consistent.[1]

The authors also report that Jolt Atlas can prove inference in memory-constrained environments. In addition, they replace Jolt's polynomial commitment scheme with HyperKZG. They say this trades a transparent setup, one relying on no secret parameters, for compact pairing-based proofs suited to verification on a blockchain.[1]

On a MacBook Pro with an Apple M3 chip and 16 GB of memory, the preprint reports a proof time of about 14 seconds for nanoGPT, a model of about 250,000 parameters. On the same machine, it reports an end-to-end time of about 38 seconds for the 125-million-parameter GPT-2.[1] It compares the nanoGPT result with a proof time of 237 seconds for the same model. The authors take that figure from the published benchmark of ezkl, another zkML framework.[1] The project's code is public on GitHub. Its README, last revised in May 2026, lists shorter times on the same laptop configuration, including an end-to-end time of about 17 seconds for GPT-2.[2]

Sources

  1. Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero KnowledgearXiv (Wyatt Benno, Alberto Centelles, Antoine Douchet and Khalil Gibran) · 19 Feb 2026
  2. JOLT Atlas (ICME-Lab/jolt-atlas README)GitHub · 6 May 2026

Check or correct this page

Correct
Request a correction · Edit the source on GitHub · Corrections policy
Verification record

The digest below shows whether the text you are reading matches the published source. It does not show that the reporting is correct. The build computes it from this page's Markdown source and lists it in the site manifest.

6bc14834d4c98ca270f98bac0018230b420c3e8cc64e97493ada1e2b9a6ee203

View source · Manifest