HALとグラフの比較は、より一般的に次のように見ることができます: 「計算」をモデル化するとき、私たちは - 浅い埋め込み(ホスト言語で直接書く)、または - ディープ埋め込み(データ構造としてエンコード)?🧵

浅い→深さからは、いくつかの設計ポイントがあります。 1. Rust / C++での直接実装 2. ホスト言語内に埋め込まれたDSL 3. まったく新しい専門言語 各ステップは利便性を構造と分析の容易さと引き換えにします。

ZKでは計算を実行するだけでは不十分で、制約に変換しなければなりません。 したがって、ほとんどの証明システムはすでに(2)または(3)に傾いています。 - Circom、PIL/PIL2 →カスタム制約言語+コンパイラ - Plonky2 →各ゲートが複数の意味関数を定義する

Plonky3はAirBuilder特性をさらに発展させ、同じコードで証人の評価、検証残差の計算、制約多項式のダンプが可能です。 多くのzkVM(SP1、Hypercube、OpenVM)はPlonky3を採用しています。ZiskはPIL2を基にしています。 これは計算が深くグラフのような表現に向かう明確な傾向を示しています。