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

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

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

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

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

開發(fā)人員上傳智能合同代碼。

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

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

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

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

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

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

如果沒有武力，計算機會保持誠實，擔(dān)心計算力可能會被調(diào)用，如果他們行為不當(dāng)。

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

計算市場的局限在于此

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

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

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

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

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

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

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

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

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

使用TrueBit項目，智能合約實際上可以讓外部程序以無可信賴的方式為它們執(zhí)行例程，并且它們可以使用數(shù)TB的數(shù)據(jù)（這是現(xiàn)代深度學(xué)習(xí)所需的）：如果您編碼巨大的根哈希數(shù)據(jù)收集到智能合約中，它可以使用它來訓(xùn)練一個神經(jīng)網(wǎng)絡(luò)（當(dāng)然這也只是作為其根散列存儲），并根據(jù)這些數(shù)據(jù)做出決定。?數(shù)據(jù)甚至可以通過更新根哈希來更新。?只要數(shù)據(jù)可供外部執(zhí)行者（以及至少一個誠實的驗證者）使用，系統(tǒng)就會繼續(xù)運行。?在我們?nèi)杭臅r候，智能合約實際上可以在經(jīng)濟上強制執(zhí)行數(shù)據(jù)的可用性。

所有軟件服務(wù)的邊際成本趨于零？

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

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

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

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

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

智能合約自動開始提供服務(wù)，要求TrueBit市場執(zhí)行結(jié)果。

它要求的價格應(yīng)該足以使其能夠繼續(xù)經(jīng)營futarchies以改進和發(fā)布到市場（零邊際成本）。

使用TLSNotary證明（正如Oraclize.it所使用的），它甚至可以像現(xiàn)在這樣與網(wǎng)絡(luò)交互。?在以太坊的EIP 101中，智能合約只需要進行刺激，而智能合同可以自行支付燃?xì)赓M用，而不是用戶激活它。

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

不確定性

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

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

＃未來

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

從這個角度來看，什么是牽強的想法？?運行由Ethereum強制實施的神經(jīng)網(wǎng)絡(luò)似乎有可能導(dǎo)致關(guān)于AI DAO的問題?？?那么分散的虛擬模擬現(xiàn)實的所有想法呢？?至少它變得更可能。

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

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

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。