ニュー トンのプロトコルにある危険な一行は、こう思えていました:

allow = true

きれいに。

最終的に見える。

スクリーンショットしやすいです。

しかし、前回の(より早い)ミスは、Rego が答えを返す前に起きます。

それは、システムがこの取引にとって「世界」が何を意味するかを決めるときに起きます。

取引の意図が入ってきます。まだ決済済みの状態ではありません。現実になろうとするアクションが入るだけです。

金額。

受取人。

関数呼び出し。

チェーン。

ポリシーID。

たぶん制裁(サンクション)のチェック。

たぶんリスクスコア。

もしかすると、命令(マンダート)のもとで資金を動かすAIエージェント。

最初は簡単そうに聞こえます。

ルールを確認してください。

承認するか、拒否するか。

しかし、ニュートンはトランザクションを読むためにルールへ問うだけではありません。

分散したオペレーターのネットワークに、ルールが読み取ることを許された入力に合意させることを求めています。

それが、ほとんどの人が見落とす表面です。

PolicyDataのオラクルは装飾ではありません。WASMデータプロバイダーは裏方の配管ではありません。Prepareフェーズは「ただデータを取っているだけ」ではありません。

オフチェーンの現実が、政策が評価できる形に引き込まれる場所です。

オペレーターはサンドボックス化したWASM経由で外部データを取得します。

制裁データ。

リスクスコア。

オラクルの値。

市場状態。

そして、現実はごちゃごちゃしているので、異なるオペレーターは同じ秒に同じ値を見ていないかもしれません。

1つのAPIがより遅い応答を返します。

1つのフィードが更新されます。

1つのオペレーターが、より新しいデータを掴みます。

ある経路では、重要になる程度の長さだけ古い状態が見えます。

まだ何も失敗していません。

それが厄介な部分です。

ニュートンのストリーミング合意フローでは、観測が正準化されたタスクデータへ押し出されます。数値フィールドは中央値(メディアン)を基準に正規化できます。外れ値は許容範囲(トレランス)によって拒否できます。次に、オペレーターがその合意済みデータに対してRegoを評価し、BLS鍵で結果に署名します。

エレガントです。

読み過ぎるのも危険です。

BLSのアテステーションが現れると、画面がより重く感じられるからです。

クォーラムが到達しました。

署名が集約されます。

スマートコントラクトは検証できる。

領収書は確認できます。

決定は今、ネットワークの重みを背負っているように感じられます。

そして実際そうです。

でも、それはネットワークが実際に合意した対象に限られます。

BLSクォーラムがあっても、考え得るすべての市場バージョンが理解されたことを意味しません。「データフィードが最終的に真実になった」ことを意味しません。さらに、「その経路が、政策の視界の外で安全だった」ことも意味しません。

つまり、十分なオペレーターが、同じ正準化されたタスクデータに対する同じ評価に署名したということです。

強力です。

魔法ではありません。

人間の誤りは、正準化されたデータを完全な現実として扱うことです。

ニュートンのより強い形は「APIを信頼して」です。

それは:

意図はこれです。

ここに政策があります。

データパスはここです。

ここにアテステーションがあります。

ここが契約の検証ポイントです。

それは、認可にとってより良い形です。

しかし、それは新しい責任を生みます。

領収書を子守唄のように読んではいけません。

境界地図のように読まなければなりません。

どのPolicyDataエントリが使われましたか?

どのWASMプロバイダーが入力を形作りましたか?

値は十分に新鮮でしたか?

どの項目が中央値正規化されましたか?

@NewtonProtocol のRegoルールは実際に何を求めていましたか?

それは一度も何を求めませんでしたか?

なぜなら、政策は読めるままでありつつ、それでも間違った世界を評価し得るからです。

ニュートンが嘘をついたわけではないので間違いではありません。

世界が枠の外へ移動したため間違いです。

制裁チェックは通過し得ますが、別のリスクシグナルはルールの一部として含まれていなかった可能性があります。支出上限は通過し得ますが、別のエージェントがどこか別の場所ですでに予算を消費していたかもしれません。バルト(金庫)上限は通過し得ますが、取得後にエクスポージャーが変化していたかもしれません。

ルールは通過しました。

領収書は通過しました。

契約は、自分が検証すべきものを検証しました。

それでもオペレーターは問いを投げなければなりません:

それが、私が認可したかった世界ですか?

それが、高圧のニュートン表面です。

コードとしての政策ではありません。

装飾としてのBLS署名ではありません。

のぼりとしてのコンプライアンスではありません。

ニュートンは、実行前に認可を検証可能な出来事へと変えます。

しかし、検証が見えるようになったら、人々は「検証に含まれていなかったものは何か」を尋ねなくなるかもしれません。

レビュアーが緩めます。

フロントエンドが緑になります。

エージェントは継続します。

緑の結果は役に立ちます。

署名された結果はより強固です。

準多数(クォーラム)に裏打ちされた結果は無視しにくい。

でも、それらの誰も次の問いを盗み取ってはいけません。

署名するに足るだけ、正しくなったのは正確に何ですか?

ニュートンは、その問いを消し去りません。

その問いを隠せなくします。

$NEWT #Newt $4 $TLM