Truebit 上的開發者和項目介紹

作者: Truebit

編譯: ChainCatcher

歡迎來到系列；已驗證，以書面和視頻形式展示功能和訪談，重點介紹在 Truebit 上開發的貢獻者和項目。按照協議的精神，這些會議邀請了開發人員、研究人員和與項目相關的人員，他們的嚴謹工作推動了 Truebit 生態系統和社區的發展。

我們很高興今天介紹我們的第一位客人 Carsten Munk，他是一位多產的開發人員，在主網啟動後對我們不斷壯大的社區產生了強大的影響。 Carsten 深入研究 Truebit 代碼，是一位鼓舞人心的領導者，幫助開發人員開始了解該協議。我們想藉此機會邀請 Carsten 分享他的經驗和發現，並在美國東部標準時間 2021 年 6 月 24 日星期四中午 12 點通過跟進 Reddit AMA 回答問題。希望在那裡見到你！

我是 Zippie 的首席技術官，是一名計算機科學家，多年來一直涉足以太坊領域。多年來一直困擾我的主要挫折之一是缺乏使用以太坊區塊鏈進行任何類型的大規模計算的能力------在這種情況下，即使是簡單直接的區塊鏈用例，即使在小規模上也會變得不合理地昂貴。

我們在 Zippie 的重點一直是撒哈拉以南非洲等新興市場，那裡的人們已經通過採用移動貨幣（例如 M-PESA）非常了解數字貨幣------以及如何將 Web3.0 大規模引入這些市場，主要在移動瀏覽器上。我們的長期目標很簡單------如果我們不讓 Web3.0 技術為大眾所接受、使用和理解，我們就不會產生技術和最終用戶應得的影響。

當你開始通過協議中活躍的 17+ 百萬人的視角來看待你的以太坊使用情況時，它會改變你的觀點。當我開始養成將潛在解決方案的每一個 gas 價格和 gas 支出相乘以模擬將真實用戶群引入我們的解決方案的經濟性時，真正的絕望開始了。

在檢查了擴展空間中的其他解決方案後，這種可擴展性的絕望促使我選擇了 Truebit。

與許多其他可擴展性解決方案相比，Truebit 是一種「更簡單」的心智模型。如果結果不一致，求解器和驗證器基本上會重複計算，直到確定計算範圍的選定中點步驟並找到計算的確切分歧點。從那裡，以太坊區塊鏈確定誰進行了正確的計算。

許多其他解決方案的可表達性受到限制，例如，專門適用於完成代幣交易或有限的智能合約行為；並使用相當先進的證明結構。

我們對 Truebit 的使用還處於早期階段，但現在我們正在將其用作一些原型中的一個元素。

我們的計劃是在我們即將推出的 Zippie ID 產品中更廣泛地使用它，該產品處理大眾的去中心化身份。如果您想了解更多信息，可以加入 Zippie 的 Telegram。

我的貢獻主要是構建尚未移植到 Truebit 開源工具鏈的部分，例如 BLS12--381 簽名驗證庫，或 JavaScript 解釋器，例如 QuickJS- https://github.com/zippiehq/quickjs-真比特

我與 Truebit 相關的工作主要集中在簡化團隊其他成員的開發，消除他們大規模使用區塊鏈的障礙。

最重要的是要了解 Truebit 是一個構建塊。它本身並不能解決交易成本，它對匯總甚至代幣交易一無所知，但你可以進行計算，或者以可靠和準確的方式驗證計算結果這一事實，使 Web3.0 應用程序能夠構建- 為他們的目的進行鏈擴展要容易得多。

Truebit 允許顯著擴展以太坊作為結果「判斷」或驗證證明的能力------輕鬆從 IPFS 獲取數據並以比完全在鏈上和 EVM 內完成計算更便宜的價格進行計算。

作為使用 Truebit 的新開發人員，理解當前版本中的 Truebit 是作為「早期訪問」主網推出的並且文檔中存在一些空白也很好。

值得慶幸的是，Jason 和 Truebit 團隊的其他成員對目前出現的任何問題都非常敏感。編寫更好的文檔只是時間問題。

從 JavaScript 和 Solidity 跳到 WASM 有點飛躍。許多 Web 開發人員不知道如何編寫 C/C++/Rust 代碼或開始考慮利用 Truebit，更不用說處理 Emscripten 等工具鏈了。開發人員和用戶不需要與他們當前的編碼方式跳得太遠，這在某種程度上可能是其他解決方案的好處。

部分挑戰在於，要熟悉 Emscripten 及其怪癖並不容易，因為它們的部署目標是 Web 瀏覽器內的 WASM。我一直在研究基於原型 WASI 的環境，它可以讓人們更容易理解 Truebit 環境的局限性，並使其在處理更複雜的任務時更加連貫。你可以在這裡看到它：https://github.com/zippiehq/wasi-truebit

我們還一直在研究在 Truebit 中使用 TinyGo 和 JavaScript 與 QuickJS 運行 Go，以此作為減少開發人員飛躍的一種方式。

也就是說，有很多關於如何在 Linux 上處理簡單編譯的文檔，因此如果您對要卸載的內容有明確的目標，它就不是主要障礙。

要正確「獲取」Truebit，您需要將其視為一種以異步方式基於特定輸入獲取計算結果（輸出）的方法。這不同於您之前構建許多區塊鏈合約的同步方式，您可以在其中直接調用另一個智能合約並在交易執行期間獲得響應 - 以同步方式與其他智能合約對話。

開始使用 Rust/C/C++ 對您的鏈下計算進行建模，它從文件中獲取數據並將輸出寫入特定文件。該模型本質上就是您的 Truebit 任務描述。然後了解輸入和輸出如何完成任務------這是你的鏈上智能合約和需要實施的軟件，它與 Truebit 文件系統對話。

然後在 Goerli 測試網上為 Truebit 開發，然後在主網上線以節省您的 Ether。

最後查看 Truebit 官方 Reddit 頻道中的題目。我在美國東部時間 6 月 24 日星期四中午 12:00 主持了一場 AMA，以繼續由這篇文章引發的對話。如果您未能加入我們，您可以在此處查看 AMA 答案！