The Prover's Bargain

ZKLoRA proof times across six base models: the prover bears 31–74 s of computation per LoRA module while the verifier spends 1–2 s. Toggle per-module vs full adapter set; tap a model to see total prover and verifier work — the asymmetry is the deal.

chart SVG Zero-Knowledge Machine Learning Infrastructure Jun 21, 2026

⬢ loading artifact…

The Prover's Bargain — tap a model row to inspect it · toggle per-module / full adapter set · data as of Jan 21, 2026 · ZKLoRA, Roy et al., arXiv:2501.13965 Table 1 ↗ open artifact ↗

View artifact source on GitHub ↗

Appears in

Zero-Knowledge Machine Learning Infrastructure

Prove It Without Showing It: Zero-Knowledge Verification for LoRA Adapter Marketplaces

ZKLoRA lets a LoRA seller prove adapter compatibility with your base model without exposing the weights. The verifier checks in 1–2 s — but the prover bears 31–74 s per module, and the protocol is interactive, which puts trustless on-chain settlement just out of reach.

Jun 21, 2026 7 min read ⬢ interactive