また別のサイクル、また別のスラッシング・メカニズム。紙の上ではきれい。
ニュートンのアプローチは、ひとつの点で正直です。パラメータは統治によって変わるもので、固定の定数ではありません。その認識は重要です。というのも、数学が成り立つのは、罰が確実に利益を上回る場合だけだからです。ステーク100 !ETH#、不正で200、合理的なアクターが10人なら計算してみてください。
しかし、本当の摩擦はパーセンテージではありません。問題はレイテンシです。
チェレンジャーは一定のウィンドウ内にZK証明を提出する必要があります。挑戦がなければ、スラッシュもありません。すると、抑止力は二変数の方程式になります。すなわち、刑罰の厳しさと、チェレンジャーの生存性（liveness）です。初期のネットワークにはどちらも欠けています。限られたオペレーター、集中したステーク、検証されていないチェレンジャーのインセンティブ。メカニズム設計とメカニズムの有効性のギャップは、ローンチ時に最も大きくなります。
私たちはこのパターンを以前にも見ています。毎サイクルが、同じ問題に対する、より洗練された解決策を約束します。つまり「信頼を任意（オプション）にする」方法です。語彙はオラクルから妥当性証明へ、そして経済セキュリトへと移り変わりますが、根本の緊張は変わりません。分散には調整が必要で、調整にはインセンティブが必要です。インセンティブは搾取者を引き寄せます。そして軍拡競争は続きます。
トークン層がすべてをややこしくする。ガバナンストークンそのものが主要な価値の取り分（アクルーアル）メカニズムになると、プロトコルのセキュリティと市場の投機の境界が曖昧になります。ガバナンスは蓄積のゲームになります。セキュリティは、下限（フロア）を引き上げるための話題になります。実際のスラッシングメカニズムは、背景のノイズにしかなりません。
それを否定しているわけじゃない。見ています。
私が待っているシグナルは、ホワイトペーパーの数式ではありません。最初の成功したチャレンジです。どのタイプの違反か。違反から実行までの時間。記録が空のままなのか、それとも埋まり始めるのか。
もう一つ、注目すべき点があります。真の抑止は、スラッシュそのものではありません。重要なのは、スラッシュの信頼できる脅威です。その脅威は、レイテンシーが1分経つごとに弱まっていきます。高スループットの環境では、チャレンジウィンドウが性能のボトルネックになります。オペレーターはセキュリティよりもスピードを最適化します。仕組みは一つのことを語ります。インセンティブは別のことを囁きます。
ニュートンの設計は、たいていのものよりも率直です。固定された調整問題が解決済みだなんて前提にしていません。ガバナンス変数の存在を認めています。これは、これらのシステムが本質的には人間的であり続けることを、ほんの少しだけ認めたようなものです。政治と市場はまだ重要です。コードはただ、その結果（帰結）を強制するだけです。
そのデータは、それが抑止なのか芝居（劇）なのかを教えてくれます。それまで私は感心しません。否定もしていません。ただ、静かに注意深く見ているだけです。
チャレンジログは見続けます。埋まれば、メカニズムが機能していると分かります。もし空のままだったら？完璧な挙動か、完璧な無効化のどちらかです。
それが起きるまで分かりません。
