学習リソース

学習リソースはあまりない。testコードなどを読んで勉強するのが一番良さそう。

レポジトリ

plonky2-semaphore
semaphoreというサービスのplonky2実装。Tornado cashの実装とほぼ同じ。
https://github.com/mir-protocol/plonky2-semaphore

Polygon zero のdiscordにも結構情報が落ちている

Plonky2 = Plonk + Fri
なのでPlonkとFriについてそれぞれ学習するのが良さそう。

FriはSTARKのサブルーチンで使われるテクニック

Transparent
Trusted setup が不要。
Recursive proofの作成時間が世界最速でM1 Macで0.3sほど。圧倒的に速い。
算術化につかう有限体はGoldilocks Fieldと呼ばれる、 $p = 2^{64} - 2^{32} + 1$ を法とする64bit有限体。サイズが小さいために有限体の演算が高速で、これがplonky2の高速化に大きく寄与している。FRIでは128bitに有限体を拡大し、健全性を保証する。

ed25519
https://github.com/polymerdao/plonky2-ed25519
proof生成時間はM1 mac pro で40秒ほど
secp256k1
proof生成時間はM1 mac pro で10秒ほど

plonky2はrecursive proofがcheapなので、複数の署名検証は並列証明→証明の集約化
になりそう

ブロックチェーンでplonky2の証明を検証するには次の3つの方法がある

plonky2をWASMでコンパイルしてWASM contract対応のL1にデプロイする
`default-features = false"を指定してWASMにコンパイルする