多变量lookup argument

Posted 2022-12-03 mutourend

1. 引言

多变量lookup相关论文有：

• Orbis Labs（Cardano的layer2 zk-rollups）团队Ulrich Hab¨ock 2022年11月论文 Multivariate lookups based on logarithmic derivatives，也可参看：https://github.com/Orbis-Tertius/MVlookups。
  • zk-VM中密集使用的multi-column，其fractional decomposition lookups性能要 优于 Hyperplonk+ 中使用的基于boolean hypercube的“classical” plookup策略。
• Zeta Function Technologies团队Ariel Gabizon 和 以太坊基金会团队 Dmitry Khovratovich 2022年11月论文 Flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size

而TritonVM（Recursively verifiable STARKs ）——TIP 0001: Contiguity Argument for Memory Consistency中试图用derivatives for lookups（使用grand product来计算derivative）来解决其memory table的一致性证明。

参考资料

[1] Twitter MVlookups——基于隐式分解的多变量lookup argument