Halo2
一般的な解説
zcashが開発
Mina Protocolで使用
リソースの分離
スマート・コントラクトのロジックを、競合につながらないプライベートな部分（したがって並列化可能性が高い）と、オプションのファイナル・インテントの2つの部分に分離
intent
何らかの意図された目的や動機
プロトコルや通信、証明などいろんな意図が挙げられるけど、おそらく証明
zk
最終インテントはネットワーク（特にコンセンサス）によって順序付け
しばらくの間キューに入れられる
スマートコントラクトの他の部分は、そのキューを処理するために使用できる
誰が実行するかはアプリケーションの選択
Halo2 is a recursive zk-snarks algorithm based on UltraPlonk Atithmetization and the Pasta curve
コードによるHalo2(ZKP)入門 from Mameta