TRUE:Truebit：為可驗證計算開辟市場

去中心化應用程序向我們描繪了美好的未來圖景。它們透明度高且具有防篡改性，永不停歇地運行著，在全球范圍內釋放激勵并解決協調性問題。但發展的道路上也有阻礙。去中心化的計算十分昂貴，受區塊Gas上限的限制，致使許多去中心化應用變得十分昂貴和不切實際。難題：去中心化的計算

使用Solidity編寫的代碼會在EVM中編譯為字節碼，然后打包到區塊鏈中。自此之后，每一筆向存儲著字節碼的合約地址發送的交易都會觸發代碼的運行。由此可以看出，區塊鏈共識機制在設計上存在冗余：所有的礦工進行一樣的計算，然后對結果達成共識。計算被量化，相應地費用也是視代碼執行的復雜程度決定的。區塊鏈虛擬機指令集中的每個操作都被標好價格，交易的發送者每執行一個指令，都會根據計算量來支付費用。但凡復雜的業務邏輯，總會帶來高昂的成本。不止如此，在網絡上進行的計算總量會受Gas上限的影響。Gas上限是指在一個區塊中所有交易能消耗的Gas總量。不幸的是，由于存在驗證者困境的問題，我們不能單純地增加Gas上限；礦工一旦接收到一個剛剛形成的區塊，就需要先驗證這個區塊是否有效，才能開始尋找下一個區塊，但是這樣的驗證是免費的勞動。受利益驅動的礦工處在了一個兩難的境地：驗證這個區塊還是直接跳過它。而當區塊的Gas上限增加時，這種困境的影響也隨之變大了。所以說計算是昂貴且受限制的。Turebit旨在解決這一問題。它通過將計算移到鏈下來解決這一問題，并通過一種交互式的加密經濟協議來驗證計算的正確性。解決方案：鏈下的可驗證計算

當一個dApp想要運行昂貴或是超過Gas上限的計算時，與其直接在以太坊上運行計算，不如交給Truebit協議。Truebit合約

Web3 自動化代碼審計平臺 MetaTrust 完成約 1000 萬美元種子輪融資:1月9日消息，Web3 自動化代碼審計平臺 MetaTrust 聯合創始人 Liu Yang 在采訪中表示，MetaTrust 已經完成約 1000 萬美元種子輪融資，M23、Redpoint Ventures、ABCDE Capital、Longhash、Hash Global、SNZ、Yunqi Capital、GGV、Fellows Fund、Aimtop Ventures 等多家風投機構參投。

MetaTrust 計劃于 2023 年第一季度計劃推出四款產品，并將在實現收入和利潤目標后尋找下一輪融資。[2023/1/9 11:02:41]

和Truebit協議進行交互的API十分簡單：它僅僅是Truebit智能合約上的一個叫做createTask的函數。dApp調用createTask函數的過程需發送以下內容：程序：程序代碼。Turebit使用的是WebAssembly虛擬機技術，所以dApp能直接將程序代碼的字節碼發送給WebAssembly虛擬機，或者發送該程序代碼在IPFS或其他基于內容尋址的系統上的哈希值。輸入值：針對程序的輸入值。dApp能直接發送這些輸入值，或是發送這些輸入值在基于內容尋址的系統上的哈希值。獎勵：獎勵金額，提供給任何運行這個程序的人。

一個dApp創建了一個Truebit任務為了進一步說明這個流程，下面我們來看兩個例子。Livepeer是一個去中心化計算平臺，它需要檢查轉碼器是否正常工作。于是它調用了createTask函數，將FFmpeg作為程序、一段視頻作為輸入值發送給了該函數。Aragon是一個匿名組織的平臺，它想進行計票的工作。在鏈上循環進行大批量的投票工作是十分昂貴的，而且如果計票的數量太多，Gas上限就會阻礙這項工作的進行。于是Aragon調用了Truebit的createTask函數，將計票函數作為程序、票數數組作為輸入值發送給了該函數。這個函數會在Truebit合約中生成一個新的任務。Truebit網絡

DeFi協議Shell Protocol v2版本已上線Arbitrum One:9月13日，據官方消息，DeFi協議Shell Protocol v2版本已上線Arbitrum One。

此前消息，Shell Protocol表示，Shell v2版本可以批量處理復雜交易，并且更新過的AMM函數曲線將提高流動性池的交易效率。[2022/9/13 13:26:11]

Truebit是一個計算任務市場。任何人都能安裝Truebit客戶端，加入無門檻的網絡中，然后通過運行計算任務來獲取報酬。Truebit礦工所安裝的客戶端會監聽Truebit合約所發出的事件。

Truebit礦工監聽計算任務一旦生成新的任務，Truebit礦工能下載其代碼，然后使用任務發布者提供的輸入在本地TruebitWebAssembly虛擬機中運行程序，接著將自己的結果發送給智能合約。承接計算任務的同樣要交納押金，用于保證任務處理人對自己的計算結果負責。

任務處理人提交結果計時器啟動。在挑戰限時之內，任何Truebit驗證者都能在交納押金的前提下挑戰已提交的計算結果。第一種情況：沒有挑戰者

這是符合預期的情況。任務處理人正確地運行了程序。如果在整個挑戰時限內，沒人對已有計算結果提出異議的話，即認定為正確結果。Truebit合約會使用該計算結果去回調發起任務的dApp。

Arbitrum啟動主網，其開發商Offchain Labs完成1.2億美元B輪融資:以太坊擴展解決方案Arbitrum開發商Offchain Labs宣布，Arbitrum已啟動主網，公眾現在可以與Arbitrum上的去中心化應用程序進行交互。

此外，Offchain Labs宣布以12億美元估值完成1.2億美元B輪融資，Lightspeed Venture Partners領投，Polychain Capital、Ribbit Capital、Redpoint Ventures、Pantera Capital、Alameda Research和Mark Cuban等參投。（TheBlock）[2021/8/31 22:50:11]

任務發起人收到問題的答案第二種情況：有挑戰者

一個驗證者交納了押金，對當前的計算結果發起了挑戰。現在對計算結果產生了分歧。對合約而言，它不但保管著任務發起人所提供的原始任務獎勵，還保管著任務處理人的押金，以及挑戰者的押金。

一個驗證者發起了挑戰由此在任務處理人和挑戰者之間展開了一場交互式驗證游戲。驗證游戲

要注意的是Truebit任務是一個WebAssembly程序，會按順序執行一系列指令。

歐易 OKEx 將支持在以太坊擴容網絡 Arbitrum 上直接充提:據官方消息，歐易 OKEx 與以太坊擴容網絡 Arbitrum 的研發團隊 Offchain Labs 合作，將支持其用戶無需與以太坊 Layer 1 進行交互即可直接在 Arbitrum 主網上進行充值和提現，并且無需以太坊 Gas 費。歐易 OKEx 表示，此次合作將緩解以太坊生態系統的堵塞并促進以太坊的以 Rollup 為重點的開發計劃。[2021/5/4 21:22:25]

一個簡單的C程序及其編譯后的WebAssembly文本形式挑戰者發起了驗證游戲。任務處理人和挑戰者的初始狀態都是0，他們各自啟動了一個空的虛擬機，用同樣的程序運行同樣的輸入。在狀態為0的時候，他們是一致的。在程序運行的終點，我們假設是在運行了14個指令之后，他們計算出了不同的結果。也就是說，在狀態為14時，任務處理人和挑戰者出現了分歧。

任務處理人和挑戰者在狀態為0時計算結果一致并在狀態為14時發生了分歧挑戰者根據這一信息來查詢任務處理人在程序運行到一半，即運行完第7個指令之時的狀態。

歐易OKEx用戶將可直接存入Arbitrum主網:據官方公告，OKEx與Optimistic Rollup擴展解決方案Arbitrum合作，將以太坊第二層擴展直接帶給用戶。OKEx將啟用其功能，使其用戶無需與以太坊的基礎層進行交互即可直接存入Arbitrum主網上。[2021/5/2 21:17:40]

挑戰者查詢任務處理人的狀態任務處理人可以利用Truebit的WebAssembly虛擬機來計算己方狀態的哈希值。它是由任務處理人的WebAssembly虛擬機的堆棧、內存和完整狀態導出一個默克爾樹根。任務處理人會通過一個Respond消息將這個根提交至智能合約。

任務處理人和挑戰者進行驗證游戲現在輪到挑戰者在本地計算己方狀態的默克爾樹根，并且將結果和任務處理人的結果進行比較。如果兩根相等，就能判斷他們出現分歧的位置是在計算指令集合的后半部分。如果兩根不等，那么他們的分歧在集合的前半部分就發生了。為了便于說明，我們現在假設狀態為7時這兩個根是相等的。

挑戰者和任務處理人在狀態為7時狀態根相等挑戰者于是發送一個Query消息，詢問任務處理人在計算指令集合后半部分的中點，即運行完第10個指令后，的狀態根。

挑戰者詢問集合內第二個中點的狀態根任務處理人據此做出相同的回應。挑戰者發現在狀態為10之時兩方的狀態根相同，于是接著查詢下一個中點，即狀態為12之時，的狀態根。

挑戰者查詢第三個中點的狀態根交互式驗證游戲繼續進行。挑戰者使用二叉搜索的方法迫使任務處理人找到出現分歧的狀態的位置。整個游戲的時間復雜度為O(log(n))，其中n是程序中指令的總數。根據任務處理人提交的指令發生前后的狀態根，最終將分歧發生的位置鎖定在某一個指令處。

爭論：從狀態12轉變為狀態13時的那個指令現在的計算量已經小到足以讓Trubit智能合約根據指令執行前的狀態來初始化一個虛擬機，然后在區塊鏈上運行那個產生爭議的指令。

鏈上WebAssembly解釋器運行有爭議的指令如果該狀態的默克爾根計算出來和任務處理人提供的狀態根不同，后者的押金就會被沒收。整個過程就是這樣！我們把所有的計算都移到鏈下進行，僅使用以太坊來計算那個單步指令，以防出現爭議。通過上述方式，我們對最終結果達成了共識，不過這種共識比中本聰的要求大多數人要誠實，BFT的要求三分之二的人誠實更強。我們得到了一種“沒有爭議的共識：只要有一個誠實的驗證人，就能保證系統的安全。加密經濟學

Truebit的激勵包括任務獎勵、押金、任務處理人和挑戰者之間的挑戰機制以及計算市場的經濟設計。最近我們公布了Truebit代幣的升級計劃，以下是目前考慮使用的兩種解決方案：激勵層一：強制出錯&累積獎池

仔細地研究這個協議，一些敏銳的讀者可能會發現一個問題。任務處理人明白自己的計算結果會受到檢查，而且如果出錯，會被沒收押金，因此不會作弊。長此以往，驗證者極難發現錯誤，無法獲得收入，最終在計算市場中消失。在驗證者消失之后，任務處理人就會開始作弊了。然后，驗證者會再度出現，把錯誤揪出來。這個系統并不處在一種穩定的平衡之中，而是經常上下翻轉的。為了解決這個問題，Truebit在白皮書中提出了一種強制出錯和累積獎池的概念。Truebit協議會在一定概率下強制任務處理人提供錯誤的計算結果。凡是發現這類錯誤并挑戰成功的驗證者都將自動收到一份累積獎金。這筆意外之財的獎額是從所有任務的獎勵中抽取的，因此十分巨大，為驗證者提供了可觀的預期收益。即使任務處理人總是提供正確的計算結果，驗證任務也是有利可圖的。激勵層二：多個任務處理人和結對驗證挑戰

另一個替代方案來源于具體實施過程。任務處理人和驗證者總是做著一樣的工作：他們下載相同的程序，在本地運行，然后得到計算結果。那么與其按照時序規則來規定一個任務處理人和多個挑戰者，為什么不改變協議，允許每個人在同一時刻提交自己的計算結果呢？智能合約會檢查所有的計算結果是否一致。如果一致，就認為結果是正確的。如果不一致，且產生了幾類計算結果的話，智能合約會組織不同類的任務處理人進行結對驗證。這種改進的協議能更好地保證時效性，因為驗證挑戰是并行的。這種改進也能替代強制出錯和累積獎池。但不足之處在于增加了任務發起人應支付多少獎勵以及多個任務處理人之間如何分配獎勵等問題的復雜度。我們正在努力研究如何改進協議模塊化架構

Truebit是一個模塊化系統，可分為以下三個層次：

Trubit的模塊化架構計算層：即WebAssembly虛擬機它需要鏈上和鏈下雙重的建設。Truebit的WebAssembly解釋器具有確定性和可計量性，能夠生成內部狀態的默克爾樹。爭議解決層：這是一個兩方間的交互式驗證游戲，包括任務處理人和驗證者之間多次的交互式問答。激勵層：這一層包括獎勵、押金、任務處理人和挑戰者之間的挑戰機制，以及代幣機制。各層之間會通過定義好的接口進行交流。結語

我們的工程方向目前聚焦于計算和爭議解決層。我們的調研主要針對激勵層和代幣機制。最近我們公布了針對Scrypt驗證的Truebit解決方案，它在Doge-Ethereum轉換橋中得到了應用。可以點擊這里觀看我們的demo視頻，或者在Github上查閱我們的代碼。我們的下一版視線中就會支持WebAssemblyVM。敬請期待！原地址:https://medium.com/truebit/truebit-the-marketplace-for-verifiable-computation-f51d1726798f作者:SinaHabibian翻譯&校對:安仔Clint&閔敏

Tags：TRUBITTRUEWEBTrueVettbitstamp交易所提現true幣未來價值ALFweb3Project

火星幣