我一邊心不在焉地刷着巴比倫的白皮書,注意力大多躲在別的事情上,幾乎沒做真正的閱讀,就直接撞上了橋接對比表。到了挑戰者那一行,我差點就想略過。 然後它在一秒之後把我攔住了。在較早的 BitVM 橋接模型裏,挑戰者是一個獨立角色:負責盯着欺詐,有時還需要獲得權限——屬於“別人的工作”,去把漏洞抓出來。巴比倫的無信任金庫設計把這個角色徹底移除了——現在,Bob 本人就是挑戰者。 我最初把這理解爲純粹的利好:參與方更少,信任滲漏的地方也更少。那大概就是“無信任”應該意味着的東西。 但事實並不是這樣變的。並不是欺詐監控從系統裏消失了。相反,欺詐監控被“搬家”了:從原本由某個專門角色負責、由他人承擔的環節,轉移到了 Bob 個人身上——不論他是否真的在看。 舊模型中的“被授權挑戰者”當然是一項責任風險——你確實得信任它會出現並執行。但從結構上說,那也是別人的工作,負責在該失敗的時候去失敗。 現在沒有其他人可以失敗了。如果 Larry 想做點什麼,而 Bob 沒注意到,那就不會有人替他介入。不是因爲系統變弱了,而是原本坐在 Bob 外部的那份責任,現在全部落在他身上。 我並不說這樣做一定錯。移除受信任的第三方,並用自我負責去替換——這纔是整個設計目標,而不是副作用。 只是注意到“無需被授權的挑戰者”並不意味着挑戰問題已經消失。它只是從一個外部、你不得不去信任的角色,轉移成了一個內部的習慣——而這個習慣,現在需要你自己去維持。
不同來源對牛頓在兩個不同層級上使用 TEE 的情況有描述。較早的說法出現在當時“可驗證的 AI 代理自動化”仍可被驗證的階段,稱每一次代理操作都會在一個安全的硬件隔離環境(安全硬件 enclave)內運行。當前的“身份-神諭(identity-oracle)”帖子則描述得更狹窄:TEE 僅用於身份驗證步驟,而更廣泛的策略評估則通過去中心化的運營者網絡完成。
在讀爲什麼 Newton 選擇 Rego 作爲其策略引擎,而不是自研點什麼,我得到的答案很直白:它就是已經在 Kubernetes 的准入控制中運行的同一種聲明式語言,經過多年的實戰檢驗,廣泛採用,毫不“稀奇”。
這是個真實的問題。Rego 和 OPA 已經在生產環境中多年使用,用來控制在各處集羣中會部署什麼。
但“爲某一個任務打磨得很成熟”並不等同於“爲這個任務也同樣成熟”。Kubernetes 的准入控制決定一個 Pod 是否會被調度。Newton 用同樣的語言來決定一筆涉及真實價值的交易是否會結算成功還是失敗。引擎相同,但誤判的代價完全不同——被拒的 Pod 只需要幾秒就能重新部署;而誤攔或誤放行的交易,並不會以同樣的方式自動撤銷。