或者：“Panopticomputers簡介：可擴展，分散計算的代碼執行法庭”。

以太坊社區永遠不會令我驚嘆。?很多聰明人在可能的邊緣工作。?我們并沒有真正地抓住當前迭代中可能出現的情況，我們已經看到令人驚異的新機遇。

對于未開化的，以太坊可以被描述為使用區塊鏈技術的分布式“世界計算機”。?它允許開發人員將代碼上傳到區塊鏈，在啟動時它會執行代碼以更改共享分類帳上的某些信息。?換句話說，您可以將任意復雜的狀態更改應用于共享的公共（相對）不變的分類賬。?p2p網絡中的每個節點都運行這些狀態更改，而特定計算機（礦工）確保這些狀態更改難以扭轉（通過獎勵補貼和費用）。?為了執行狀態變化和計算，需要與平臺的加密貨幣成比例地付費。你想要做的計算越多，你付出的代價就越多。?計算量在一個單獨的單元中測量，稱為“氣體”。

這個當前模型（以太坊是年輕的和新的）的一個問題是，雖然它允許一個初步的，分布式的世界計算機，1）所有節點仍然需要運行狀態變化，盡管他們沒有獎勵它，為了留在共享帳目當前真相的最高點（稱為“驗證者的困境”）和2）速度慢并且無法處理大量的計算和信息。?由于所有節點都需要運行計算，并且由于狀態變化是基于事務排序的，因此Ethereum雖然是分布式的，但基本上與其網絡中速度最慢的計算機一樣快。?流程中有可伸縮性解決方案可以平行處理事務并大幅度提高可運行的事務處理量?。?并非網絡中的所有計算機將來都需要運行所有狀態更改。?它將轉向一種更精確地將網絡中的計算機組合成一個大型單個分布式計算機的模型。?這些解決方案仍有待解決，并且正在積極開展工作。

另一個實現可擴展性的有趣模型是使用以太坊作為計算法庭。?派珀Merriam設計了一個計算市場?。?當在以太坊上定期運行這些計算的成本過高時，它是理想的使用方式。?通過執行以下操作節省成本：

開發人員上傳智能合同代碼。

它在市場中規定它想要執行一定的輸入功能。?它支付市場的成本低于在Ethereum上實際運行它的成本。

第三個脫鏈方運行計算并將結果發布到市場。?它與一筆存款足以在發生爭議時執行實際交易。

另一個第三方也可以運行它。?如果它發現另一個第三方在市場上撒謊，它可能會迫使上鏈執行發生在他們放下的存款上。?如果提交者最初是正確的，他們將獲得他們的存款和應支付的金額。?如果他們錯了，他們就不會收到付款，并將剩余的存款拿回來，而這筆存款沒有用于執行。

經過一段時間后，如果沒有任何挑戰，那么答案就是“接受”，然后付款就可以退還押金。

在這個市場中，只有一個誠實的演員在惡意演員的海洋中。?這是一個非常有效的系統，通常只會在計算結果錯誤時看到錯誤的答案（考慮到EVM是確定性的并且沒有隨機性，這似乎不太可能）或者某人實際上試圖欺騙并希望沒有人關心。?然而，在一個功能完備的市場中，主動檢查很可能會發生，在這種情況下，很可能會出現這樣的情況，即可以運行計算的成本比在Ethereum上執行計算要便宜得多。?這種折衷是人們可能需要等待一段時間才能繼續執行后續執行，因為需要等待挑戰期完成為100％。?更有效的市場意味著可以減少等待時間，因為知道有一批核查人員準備挑戰和迫使騙子的手。?這假定驗證將首先運行。?這個計算法庭，如果正確工作，將會分化到一個永遠不會真正運行的情況，因為這使得它無法作弊。

這是一臺“全景式計算機”（panopticon computer）。

如果沒有武力，計算機會保持誠實，擔心計算力可能會被調用，如果他們行為不當。

福柯的圓形監獄：囚犯被一位守望者看著，不知道他們是否被監視：控制自己的行為。

計算市場的局限在于此

您需要將所有代碼放在以太坊上，并且在發生挑戰時需要在以太坊上執行整個執行過程。?這最終仍然會減少可能由當前氣體限制運行的可能的計算頻譜。

它受EVM功能的限制。?您需要在其中編寫代碼，并且不能將計算卸載到其他編程語言。

因此，現在，如果要構建需要狀態和分散控制的分散收斂的應用程序，您將在當前迭代中使用以太坊。?這是昂貴的，但仍然有很多好處。?例如，你不會真的看到它運行一個神經網絡，除了......?這是TrueBit進來的地方?。?ChristianReitwie?ner，Jason Teutsch和Loi Luu的提案。

這是一個非常令人興奮的組合。?它采用計算市場的概念，但增加了驗證指令的能力，而不是在運行完整指令的情況下以更低的成本進行驗證。?換句話說，驗證提交的答案是否正確比計算成本少。?您不必執行整個指令來驗證提交者是否在作弊。?因此，您可以驗證是否發布了比以往適合以太坊的指令大的結果。

所以，使用以太坊，只需要將驗證腳本上傳到區塊鏈。?這些都是在EVM中編寫的，但它可以驗證*任何*語言。?例如，您可以驗證C ++或Rust。

它使用我們最喜歡的數據結構：merkle樹。?使用二進制搜索，在圖靈指令集中的不同點處的2個實體（求解器和挑戰者）之間進行交互式游戲，以查看計算步驟之間的記憶和狀態的merkle證明何時不再累加，其中它可以被證明是有效的（具有統計意義的機會給出了散列沖突的可能性）兩個被騙者中的哪一個。?驗證游戲在以太坊本身播放。?合約在某個時間點要求merkle哈希值，并且僅應用一個狀態改變來查看由此產生的merkle哈希值是否符合要求。?編寫這些驗證腳本需要運行游戲并進行中間變更。

本白皮書可以閱讀此驗證的基礎?。?它在Christian Reitwiessner的智能合同法庭博客文章中有所擴展。

它將Ethereum從一臺*緩慢分布的世界計算機變成了一個可擴展的大型計算機。?它將它變成一個龐大的分散的數學法庭。?在發生計算糾紛時，它會通過運行驗證腳本來強制執行。?如前所述，它的優點在于，如果出現問題，只需要首先運行驗證腳本：某人正在試圖作弊。?你只需要一個誠實的演員來摧毀所有惡意的騙子。

這是革命性的。?它將Ethereum變成一個新的分散式計算基板的基礎層，可以大大地進一步提高。?以下是基督徒解釋在以太坊運行神經網絡的可能性的一段：

使用TrueBit項目，智能合約實際上可以讓外部程序以無可信賴的方式為它們執行例程，并且它們可以使用數TB的數據（這是現代深度學習所需的）：如果您編碼巨大的根哈希數據收集到智能合約中，它可以使用它來訓練一個神經網絡（當然這也只是作為其根散列存儲），并根據這些數據做出決定。?數據甚至可以通過更新根哈希來更新。?只要數據可供外部執行者（以及至少一個誠實的驗證者）使用，系統就會繼續運行。?在我們群集的時候，智能合約實際上可以在經濟上強制執行數據的可用性。

所有軟件服務的邊際成本趨于零？

如果你推斷這種可能性，它會變得相當令人目眩......潛在的存在是所有軟件服務的邊際成本都為零。?Blockchains和Ethereum引入了這樣一個概念，即我們現在可以運行不再需要組織來維持它們的軟件。?軟件總是需要人類和組織的外殼來維持自己。?我們必須圍繞軟件構建組織。?然而，在集體計算基礎設施的情況下，這個模型被徹底顛覆了。?軟件獨立存在，并以每次執行付費的模式蓬勃發展。?它會一直存在，直到它執行，直到再次執行才進入休眠狀態。?這意味著，為了蓬勃發展，軟件代理商只需要支付自己的維護費用。?這個想法在比特幣社區早期引發了許多關于自駕車擁有自己的概念的討論。?因為它是一輛汽車，它不需要賺錢。?它只需要支付自己的成本：為人類服務。面對這種可能性，組織運行軟件是一項昂貴的努力。?組織有人類需要被喂食，有權利和貪婪等獎勵，賺取的錢比服務本身存在所需要的要多。?軟件不（或不需要）。

這意味著隨著時間的推移，從經濟角度看，轉向以零邊際成本執行的軟件似乎是不可避免的。?但是，今天的區塊鏈并不會導致所有軟件都以零邊際成本運行。?它仍然很慢。?但是，使用TrueBit，似乎可以以零邊際成本執行任何軟件服務。?這個成本將是：為市場付費的成本，它自己的內部運作系統和外部參與者運行計算（能源+潛在的人）的成本。

作為Trent McConaghy在AI DAO上的帖子的一部分?，我提交了一個WIP版本的服務，使用futarchy和TrueBit生成藝術本身。?它生產的藝術越好，它可以繼續制作的藝術就越多。?在這個過程的任何地方都不需要支持人類。?我已經開始研究這個更通用的版本，需要更多的設計工作。?基本的，早期的想法是（可能是在這里漏洞）：

智能合同的任務是提供某種服務。?一些乙醚被送到它，以“誕生”它。

Futarchy然后用于查找并附加外部代碼來完成此服務。

智能合約自動開始提供服務，要求TrueBit市場執行結果。

它要求的價格應該足以使其能夠繼續經營futarchies以改進和發布到市場（零邊際成本）。

使用TLSNotary證明（正如Oraclize.it所使用的），它甚至可以像現在這樣與網絡交互。?在以太坊的EIP 101中，智能合約只需要進行刺激，而智能合同可以自行支付燃氣費用，而不是用戶激活它。

最終，這越來越成為軟件不必為它背后的人付錢的方向。?它只需要足夠的成本來保持自己能夠提供服務。

不確定性

盡管目前的實施并非沒有不確定性。?驗證腳本需要寫成能正確驗證計算結果（這似乎是一項艱巨的任務）。

市場上存在一些加密經濟條件，需要予以克服。?例如，仍然需要超時，希望如果作弊者提交了錯誤的答案，則有足夠的時間讓挑戰者到達。?互動游戲在被迫時會花幾個街區來玩（不長）。?這對某些計算集合有一定的限制。?如果其他可伸縮性解決方案得以實施，游戲可能會更快。?此外，圍繞潛在sybil攻擊提交答案的一些經濟學可能會使其脫軌。?這些似乎都不可能無法克服。

＃未來

TrueBit的潛力看起來頗具革命性。?它將以太坊變成了一個分散的計算法庭，允許大量軟件以零邊際成本運行。

從這個角度來看，什么是牽強的想法？?運行由Ethereum強制實施的神經網絡似乎有可能導致關于AI DAO的問題?？?那么分散的虛擬模擬現實的所有想法呢？?至少它變得更可能。

在過去的幾年里，當我遇到真正讓我頭腦發熱的新技術時：比特幣，以太坊，IPFS（和IPLD），以及現在這個。?我真的希望看到它得到開發，測試和使用。

https://medium.com/@simondlr/an-intro-to-truebit-a-scalable-decentralized-computational-court-1475531400c3

總結

以上是生活随笔為你收集整理的【译】An Intro to TrueBit: A Scalable, Decentralized Computational Court.的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。