Lookup(LogDerivativeLookupArgument)是一种通过预计算表（LookupTable）来验证某个值是否存在于特定集合中的技术。在ZKP中，它通常用于减少电路约束的复杂性，将复杂的算术约束（如位操作、范围检查）转换为查表操作，减少证明生成的开销。L

重心插值（Barycentricinterpolation）是拉格朗日插值的变换。有时候需要通过一组多项式点值直接计算另一个不同点处的值，例如，p(x)p(x)p(x)是一个度为2的多项式，可以在O(N)时间内用p(0),p(1),p(2)p(0),p(1),p(2)p(0),