@Dusk 何が「PLONK

の証明が検証済み（proof verified）であること」がノード

レベルで実際に何を保証しているのかを確かめに行きました。
多くの解説は検証を単なる合否ゲートとして扱い、それ以上

語ることがないからです。

Dusk の事前検証パスは、すべての Phoenix トランザクションが
専用の

証明検証（proof-verification）関数を通過してから

メンプールに入れられることを確認します。

それが、プライバシーモデル全体が

依拠しているチェックポイントです──証明がなければ

受け入れない。$DUSK

この部分に腰を据えて

見る価値があります。

第三者のセキュリティレビューにより、
このチェックポイントにギャップがあることが指摘されました。

PLONK の検証

内の特定の評価が、設計が想定していた通りに

完全にはチェックされていなかったのです。
修正は今年の早い時期に

特定のコミットとして反映されました。

「ZK 証明で検証済み」であることは

固定された保証ではない、というリマインダーです──それは

検証を実行するコードがどれほど強固かに左右されます。
そして、そのコードには盲点があり得て、

監査はそれを見つけるために行われるのです。

実際にどういう意味かを追いました:

そのギャップが、偽の証明が

本番環境をすり抜けていたことを意味してはいません。
Dusk のスタックは

すでに、証明システムと
ノードライブラリの複数回の

事前監査を経ていたからです。

ただし、「証明がチェックされる」という主張が

一度きりの見直し不要な

暗号学的保証に支えられているのではなく、
継続的な精査に支えられている──

そういうことにはなります。#dusk

Dusk 自身の資料から私が確認できていないのは、
今後、検証パスに対する独立した監査が

固定された頻度で実施されるのか、それとも

セキュリティ会社が見に来るタイミングで

随時行われるのか、という点です。@Dusk #dusk $DUSK