あの監査レポート、今でも背筋が凍る。

かつて、俺が賭けていたプロトコルを見ていたときのことを思い出す。完全にめちゃくちゃにされたんだ。ハックのせいじゃない——数学的なブレイクスルーによって。だれかがペアリング曲線に潜む微妙な弱点を見つけた。最初は致命的じゃなかった。……ただ、ひび割れが入っていった。そこから構築されていたものがすべて崩れ始めた。署名が失敗する。証明が無効化される。ポジションは清算。💀

その記憶が、俺がDuskの暗号スタックをマッピングしたときに甦った。

見えてくるのはこういう点だ。Duskのアーキテクチャの土台には、BLS12-381、JubJub、Schnorr、Poseidonといったプリミティブがある。BLS12-381は、多くの現代的な証明システムで使われるペアリング対応の楕円曲線。JubJubはGF(q)上で定義されたねじれたエドワーズ曲線——そして肝心なのはここ:GF(q)の選択は、BLS12-381楕円曲線構築のスカラー場になるように決められていること。PoseidonハッシュはBLS12-381のスカラー場上で動作する。PLONK? それはBLS12-381上で動くPLONK証明システムの純粋なRust実装。Schnorr署名はJubJubとPoseidonを使う。

独立した部品じゃない。密に結合されたシステム。一つの依存関係の連鎖だ。

そして、俺がDuskのやり方で実際に評価しているのはここ。彼らは「それが存在しないふり」をしない。AGENTS.mdファイルにはこうオープンに書かれている:"ここにあるバグはコンセンサスとプライバシーに影響する"。順列定数の変更、ラウンド構造、あるいはスポンジ(sponge)ロジックの変更は、nullifier導出、Merkle証明、オンチェーン暗号化を静かに壊しうる。これは怠慢じゃない——工学的な成熟だ。

単一の弱点が存在しないと仮定して、制度的なインフラは作れない。存在を認め、それに合わせて柔軟性を設計し、扉を開けたままにすることで作る。

$DUSK は依存関係の連鎖を隠してなんかいない。理解できるように作っているんだ。

だから、俺の頭から離れない問いがある:土台が移動したら、あなたのインフラはそれに一緒に動ける準備ができているのか?@Dusk #dusk $BTR $BMT