Lookup Singularity

Lookup Argumentは肥大化しやすい算術回路への変換過程を効率化することができる仕組みです。

証明生成前に予め参照テーブルを計算しておき、そのデータを参照することで算術回路を節約できます。

このような工夫により計算量を抑えるだけでなく、メンテナンスコスト及び監査コストも下げることができるためzkVMのような複雑なアーキテクチャの開発ハードルを下げることができます。実際にJoltにおけるLassoなど、ほとんどのプロジェクトではLookup Argumentを用いた設計を採用しています。