なんだよ、あの“間違ったチェーン上のポータブルな証明”のことをずっと考えちまう。
先週、きれいなニュートン検証結果を眺めてたんだけど、やたらと社会的な仕事(ゴマかし)を背負わせすぎてた。証明自体は同じ。机が違うだけ。前提ももっと大きい。
それがずっと気になって仕方なかった。
検証されたかどうかではない。された。きれいに。ニュートン・プロトコルのゲートウェイがタスクを引き受けた。Regoがポリシーを読み、PolicyDataが外部の状態を取り込んだ。オペレーターが署名した。BLSの集約が着地した。向こう側の検証器が「はい」と言った。問題なし。いいね。すごくポータブル。みんなが好むのはその部分だ。
醜い部分は、そのあとに来ました。
誰かがその証明を持ってきて、まったく別のチェーンで、異なるリスクパラメータを使ってトランザクションの認可に利用しました。別のバルブ。別のカウンターパーティ。別のすべて。でも証明は「許可」と言っていたので、彼らはそのまま実行しました。
誰も、元のポリシー文脈がまだ適用されているかを確認しませんでした。データソースが同じかどうかも誰も尋ねませんでした。チェーンBで設定されたオペレーター集合が、チェーンAと同一かどうかも検証されませんでした。彼らはグリーンを見て、そのまま進めただけです。
誰も話題にしない、静かな危険があります。Newtonは証明をポータブルにします。でも、文脈なしのポータビリティは、ただのカーゴカルト的なコンプライアンスです。
Newtonメインネット・ベータは、DeFiに欠けていた認可レイヤーです。
決済前に、すべてのトランザクションをアクティブなポリシーに照らしてチェックします。コンプライアンス、アイデンティティ、セキュリティ、リスク——すべてトランザクション単位で強制。監視はされません。強制は事前に。あらゆる判断はオンチェーンで署名付きのアテステーションを生成します。
Vault SDKはすべてをパッケージします。コンプライアンスのためのChainalysis Hexagate。分析のためのVaults.fyi。リスクデータのためのRedStoneとCredora。Eigen Labs、Succinct、Rhinestone、Octaneにより保護。Magic Labsが作り、Polymarketのウォレット基盤の同じチームです。5700万ウォレット。20万人の開発者。PayPal Venturesが支援。
4つの執行ドメイン:OFAC制裁のスクリーニング、本人確認(アイデンティティ)の適格性検証、リアルタイムのセキュリティ脅威ブロック、取引相手の健全性モニタリング、レバレッジ追跡、オラクルの鮮度検証。
週末はベータを実戦投入して負荷をかけていきましたが、かなり現実的な摩擦に当たりました。
証明ポータビリティ・モジュールに、チェーンID不一致のバグがありました。Ethereumメインネットで生成された証明は、到達先チェーンで証明ペイロード内のチェーンIDが一致するかを確認せずとも、Base Sepoliaで正常に検証されてしまいました。検証コントラクトは署名だけをチェックして「はい」と言うだけでした。
ポリシー文脈のシリアライズにギャップがありました。証明がチェーンをまたぐとき、PolicyDataの参照が、到達先チェーンのデータソースに対して検証されていなかったのです。EthereumでRedStoneの価格をチェックするポリシーは、Arbitrumではまったく別の価格フィードを参照しても、黙ってそのまま通ってしまいました。
オペレーター集合の検証が、BLS集約署名が到達先チェーンに登録されたオペレーターから来たことを検証できませんでした。Ethereumのオペレーターが署名した証明でも、オペレーター集合が完全に違うのに、Optimismでは検証できてしまったのです。
Gatewayのポート設定に見落としがありました。同じポートが、インバウンドのトランザクション意図と、アウトバウンドの証明転送の両方に使われており、高スループット時にルーティング衝突が起きうる状態でした。
証明の有効期限ウィンドウが、チェーン間で同期されていませんでした。Ethereumで5分の有効期限で生成された証明は、Polygonでは、5分経過後も到達先チェーンの検証側が別のブロック時刻参照を使っていたため、有効とみなされ続けました。
クロスチェーン・アテステーションのリプレイ防止に、nonce衝突の問題がありました。同じ証明が、一定のウィンドウ内で到達先チェーンに2回送信されうる状態でした。nonce生成が、到達先チェーンのトランザクション数を考慮していなかったためです。
ポリシー評価のタイムアウトはチェーンごとに設定可能ではありませんでした。Ethereumで4秒かかる複雑なポリシーは、到達先チェーンがより厳しいブロック時間を持っているため、Avalancheではタイムアウトしました。
これらはどれもコアのアーキテクチャを壊しませんでした。システムは安定していました。でも、チェーンをまたいで証明を動かし始めると、重要になる現実的な摩擦ポイントがいくつもあります。
NewtonはまずVaultから始めます。次にRWA、ステーブルコイン、AIエージェントへスケールしていきます。
ポリシー・マーケットプレイス(Internet of Policies)がすべてをつなぎます。$NEWT >powers everything。23日にパートナーシップの発表が落ちました。Vault SDKの発表も、そのときでした。
ここに立ち返ります。私たちは、この全金融システムをオンチェーンで構築したのに、認可の部分を飛ばしてしまいました。Newtonは、最初からそこにあるべきものを追加しました。ですが今、新しい問題が起きています。私たちは、証明をそれがそうでないのに万能に適用できるものとして扱っている。
証明はクリーン。検証も堅牢。でも文脈は?それは私たち側の問題です。
証明がどこから来て、どこへ行くのかを、実際に確認する必要があると思うのは僕だけですか?
みんな、ポータビリティは強力です。でも注意が過剰に読み替えられています。グリーンをそのまま信じるわけにはいきません。
