TUR:Turboproof 證明系統初探

編者按：本文來自以太坊愛好者，作者：GuillaumeBallet，翻譯&校對:TrumanW&阿劍，Odaily星球日報經授權轉載。以太坊的狀態數據正不受限制地快速增長，長此以往，將只有少數大型公司才能負擔運行節點的成本。應Alexey的要求，本文描述了我對turboproof證明系統的理解，該技術未來有可能會應用在多種輕客戶端上。以太坊區塊鏈的狀態數據使用十六叉帕特里夏樹來存儲的。數據存儲有兩個層次：地址樹是從地址到賬戶數據的映射。智能合約的數據也存儲在一棵數據樹中，該樹就是由從32字節內存地址到32字節的值的映射構成的。這些默克爾樹存儲對。請注意，鍵的基本單位是半字節，而不是一個字節。這些默克爾樹具有3種類型的節點：葉子節點：這些是對，它們始終是默克爾樹的終端節點。分支節點：內部節點，并且此節點及其所有子節點共享相同的前綴。每個分支節點有17個條目。前16個條目對應于子節點的鍵后綴的第一個半字節。如果存在，則第17個條目是與鍵前綴關聯的值。擴展節點：“捷徑節點”，讓所有子節點共享一個公共前綴。有了擴展節點，就不會建出很多只有一個葉子的分支節點了。舉個例子，以下的樹有一組葉子節點，分支節點以及擴展節點：

Gemini：對Signature銀行沒有風險敞口:3月13日消息，加密貨幣交易所Gemini發推稱，Signature銀行沒有Gemini的客戶資金，也沒有Gemini USD（GUSD）的儲備資金。

所有Gemini客戶的美元都存放在摩根大通、高盛和道富銀行，所有GUSD儲備資金均存放在道富銀行、高盛和富達。[2023/3/13 13:01:08]

-圖1.一個Trie編碼以下鍵值對：，，和。在此示例中，鍵和值已縮短為2個字節，以提高可讀性。標簽為0到15的行表示分支節點，延伸出來的箭頭所指的半字節是其子節點的前綴。第17個條目未使用，因此未顯示。的那一行是擴展節點，這意味著其子節點必須以這兩個半字節為前綴。終端節點是葉子，左邊的兩個具有前綴，右邊的兩個不需要前綴，因為根據指向它的路徑就能得到完整的鍵。-在實際應用中，這個模型是以太坊很多效率問題的根源，但是它也被證明有很強的韌性。序列化值

Polygon Labs與風投機構Mercy Corps Ventures達成合作:金色財經報道，據Polygon Labs官方博客，全球發展組織Mercy Corps旗下風投機構Mercy Corps Ventures (MCV)達成合作，將資助區塊鏈試點項目、啟動一系列區塊鏈黑客松、以及舉辦區塊鏈訓練營路演。Mercy Corps Ventures投資組合中超過一半（51%）的創始人是女性，上個月還推出了加密基金Crypto for Good Fund II，目前第二輪申請已經開放并將于3月31日結束。[2023/3/4 12:41:43]

一些用例需要在用戶之間傳遞元組。例如，為了節省空間，輕型客戶端僅存儲各默克爾樹的根。因此，為了與狀態進行交互，用戶需要告訴輕客戶端自己的狀態是什么樣的，以便輕客戶端可以執行操作并計算新的狀態根。為壓縮數據，該建構必須能夠將多個賬戶的狀態變化打包成單個證明。在前面的示例的基礎上，這是樹中同時存在和的證明：

Unique Network融資1130萬美元 Outlier Ventures領投:10月26日消息，波卡生態NFT公鏈Unique Network今天宣布融資1130萬美元，使總融資額達到1600萬美元。該輪投資由Outlier Ventures領投，The LAO、Flamingo、Nalu Capital以及200多位其他投資方參投（包括現有投資方）。新融資將用于為即將推出的Kusama NFT鏈Quartz做足準備。

據悉，Unique Network是第一條構建在Polkadot和Kusama網絡上的NFT鏈，為NFT應用程序開發需求提供廣泛的技術解決方案，并兼顧靈活性和低廉的成本。（Block Leaders）[2021/10/26 20:57:52]

-圖2.證明圖1中的樹包含和。除了這兩個值以外的子樹所存儲的值都用原值相應哈希值替代。。-只要在該證明中提供的哈希值就是原值的哈希值，那么根據圖2中的信息計算出的樹根哈希值將與圖1中的樹根哈希值一致。問題是如何序列化數據：給定一個哈希表列表和對列表，人們如何找出樹的結構？例如，僅給出以下輸入：和的對表示子樹的哈希值。人們可能重建出下面這棵樹：

可定制保險市場Tidal Finance獲NGC Ventures投資:可定制保險市場Tidal Finance獲NGC Ventures投資。Tidal Finance是建立在Polkadot上的類似Balancer的保險市場，具有為多個鏈中的一個或多個資產創建自定義保險池的功能，通過給予池創建者部分存款收益作為獎勵達到資本效率的最大化。

Tidal Finance的公開市場性質將通過促進不同資金池之間的競爭來大大提高資本效率。用戶可以通過選擇一份或多份合同來創建保險庫。例如，保險池可能是不同平臺（Compound Dai，Uniswap ETH，Aave YFI，Balancer ETH，mStable USDC等）中不同代幣的混合。池創建者可以選擇從當前市場上的任何平臺中選擇任何資產，以及設置覆蓋期限，杠桿率等。[2020/11/4 11:38:43]

-圖3.因為缺少結構信息而建出的錯誤數據樹-也可能建出下面這樣的數據樹：

AVA Labs獲IOSG Ventures戰略投資:金色財經報道，7月3日消息，AVA Labs基于對IOSG Ventures戰略規劃、發展助力和全球化資源的認可，與IOSG Ventures就中國市場未來發展達成戰略合作協議。

IOSG Ventures將作為AVA Labs在中國區的獨家戰略合作顧問，協助AVA Labs在中國市場的戰略定位、平臺生態建設、開發者社區建設、本土化合作等。

據了解，AVA Labs是由康奈爾大學教授、IC3聯合創始人EminGünSirer、計算機學者KevinSekniqi以及FacebookLibra協議HotStuff共識第一作者TedYin共同創立。AVA Labs主導開發的AVA區塊鏈平臺基于革命性的共識算法——Avalanche（雪崩協議）構建的數字支付和計算平臺。

IOSG Ventures成立于2017年，是一家專注于區塊鏈及加密貨幣的美元基金。主要投資金融科技、物聯網、機器學習、區塊鏈、密碼學等領域非常早期的項目。[2020/7/3]

-圖4.另一棵因為缺乏結構信息而產生的錯誤數據樹-因此，我們需要編碼結構信息的方法。Turboproof

AlexeyAkhunov的提案仍在制定中，而我這篇獨立的文章也想略盡綿薄，為定義整個概念做點工作。這里介紹的解決方案與我和SinaMahmoodi合作的rust實現相對應。Turboproof分為三個部分：葉子節點的清單哈希值的列表，與樹的原始分支一一對應“結構信息”，即僅使用提供的哈希和葉子如何重建樹的指令列表。為能重建出正確的數據樹，最后一部分被編碼為供堆棧器執行的一系列指令：LEAF表示應從證明的葉子序列中彈出一個葉子節點；BRANCH規定需要創建一個新的分支節點，并且之前構造的節點應存儲為新分支節點的第i個子節點。然后將新節點存儲在堆棧中；ADD規定，應將堆棧頂部的節點設置為堆棧上位于其下方的分支節點的第i個子節點；EXTENSION規定應將堆棧頂部的節點設置為擴展節點的子節點，整個子樹的前綴由半字節ext的序列表示；HASH是表示子樹哈希值的節點。一些例子

樹

假設整個狀態由以下4個對組成：

這些鍵值對所組成的數據樹表示如下：

-圖5.初始數據樹-證明

我們的證明將是針對兩個鍵0xcafecafe和0xcafedeca的。不需要用到的兩個葉子節點將被轉化為哈希值。然后將證明序列化為：節點以深度優先的順序序列化：

-圖6.證明的節點部分-哈希也按深度優先順序進行序列化。只有一個哈希值，代表0xd*子樹用于重建樹的指令集：

用戶現在可以證明他們知道樹的當前狀態。他們可以將證明發送給中繼器或任何想要確保用戶知道他們自己狀態的人。重建樹

一開始，節點和哈希列表被接受，接著堆棧被初始化為空。

-圖7.重建樹過程的初始狀態-讓我們跟隨這個程序。1.LEAF

-圖8.第一個葉子節點被推入堆棧-2.LEAF

-圖9.兩個葉子節點都在堆棧中-3.BRANCH(14)

-圖10.將序列中的節點設為分支節點，然后彈出堆棧頂部的節點，將后者設置為前者的第14個子節點。如此組成的子樹隨后立即被推入棧頂。-4.ADD(13)

-圖11.彈出堆棧頂部的兩個元素，并添加第二個元素作為第一個元素的第13個子元素。結果被推回堆棧。-5.EXTENSION()

-圖12.將序列中的節點設為擴展節點，擴展節點的前綴為“0xafe”，然后棧頂的元素成為該擴展節點的子節點。完成操作后，整個子樹被推回堆棧。-6.BRANCH(13)

-圖13.將序列中的節點設為分支節點，并讓棧頂的元素成為其第13個子節點。結果再次被壓入堆棧。-7.HASH

-圖14.哈希從證明的哈希列表中提取并推入堆棧的頂部。-8.ADD(14)

-圖15.棧頂的哈希值被添加為樹的第14個子節點。-該程序至此終止，并且堆棧的頂部存有樹的最終版本。該樹與圖6中的樹具有相同的根哈希，并且很簡單就能驗證兩個鍵均存在。Turboproof的意義

以太坊狀態數據正在增長。在撰寫本文時，狀態數據已增長到約占20GB。對于手機來說，這個量級已經太大了。想讓所有人都能訪問網絡，就必須保證不那么強大的設備也能訪問網絡。有了這樣的證明方式，用戶就可以只存儲他們感興趣的數據，并在他們想與區塊鏈進行交互時證明所有權。這就是所謂的輕客戶端。想深一步，人們可以構想用這種“無狀態”的方式來維護主鏈，用戶只需保存鏈上狀態中跟自己有關的部分，并在需要時發布這些信息。這將有助于阻止狀態所需空間的持續增長，并使所有人都能使用以太坊。為了使證明尺寸較小并能快速處理，仍需要做一些工作，好在讓它們變得更加普及也會有助于我們的工作。致謝仰賴于AlexeyAkhunov和SinaMahmoodi的投入和反饋，這篇文章才得以寫就。

Tags：TURVENTVENENTTURBOS價格Floki AdventureTAXHAVENINUSolvent

比特幣價格