译自 halo2 book：user/lookup-tables.md

查表(lookup tables)

在普通程序中，你可以通过预计算并存储某部分计算的查表(lookup table)，用内存换取 CPU 来提升性能。在 halo2 电路(circuit)中我们也可以做同样的事情！

可以把查表理解为在变量之间强制实施一种关系(relation)，这种关系以表的形式表达。假设我们的约束系统(constraint system)中只有一个查表论证(lookup argument)，那么表的总大小受电路大小的限制：每一个表项占用一行，而每一次查表(lookup)也要占用一行。

TODO