---
title: "Letting the lookup argument be an afterthought"
description: "Enormous effort goes into choosing between proof systems while the lookup argument — which dominates prover time for range checks, bitwise operations and…"
type: "failure-mode"
url: "https://zkpick.com/proof-systems/failure-modes/letting-the-lookup-argument-be-an-afterthought/"
section: "01 Choosing a proof system"
authors:
  - "MarketComp"
publisher: "MarketComp"
version: "1.3"
updated: "2026-09-12"
license: "CC-BY-4.0"
json: "https://zkpick.com/data/proof-systems/failure-modes/letting-the-lookup-argument-be-an-afterthought.json"
---

*By MarketComp. Updated 2026-09-12. Version 1.3. CC BY 4.0.*

# Letting the lookup argument be an afterthought

Enormous effort goes into choosing between proof systems while the lookup argument — which dominates prover time for range checks, bitwise operations and instruction decoding — is inherited from whatever the library defaulted to.

**Mitigation:** Count lookups explicitly and evaluate the lookup argument as a first-class decision. Constrain multiplicity columns carefully: an unconstrained multiplicity silently breaks soundness.