讀懂StarkNet零知識遞歸證明--STARK_ARK:STARK

原文作者：StarkWare核心工程主管GidiKaempfer

TL;DR

?遞歸證明已在主網上線，通過單一證明就可擴展到StarkEx或StarkNet

?STARK將會顯著提高網絡容量、降低網絡延遲和交易成本

?為L3和其他應用奠定基礎

擴大規模！

由Cairo提供支持的遞歸證明現已正式投入運營。這標志著STARK對L2擴展能力的重大提升，它能通過單一證明實現以太坊的交易筆數數倍的增長。

目前，STARK的擴展是通過將幾萬甚至幾十萬筆交易"rollingup(匯總)"到一個證明中來實現的，這個證明會最終被寫入以太坊L1，通過遞歸，類似這樣的證明都可以被"rollingup"到一個單一的證明中去。

這種方法現在已經用于眾多基于Cairo的構建的應用程序中，比如：運行在StarkEx和StarkNet上的應用程序。

STARK的發展歷程

自2020年3月在Mainnet上完成第一次STARK證明以來，下述事件共同發展塑造了STARKs的發展。

基于STARK的擴展性

2020年6月，首個基于StarkEx的擴展解決方案部署在以太坊主網上。StarkEx擁有一個支持在鏈下執行計算并生成STARK-proof的驗證器，以及一個在鏈上來驗證此證明的驗證器，由于第一次部署的完全由StarkWare的工程師“手動”完成，因此也極大地限制了StarkEx的運行速度，最終我們意識到，我需要一種編程語言來支持一般計算的證明，于是Cairo誕生了。

灰度：千禧一代和Z世代選民可能會決定2024年“比特幣選舉”的結果:8月6日消息，灰度發布報告稱，千禧一代和Z世代選民可能會最終決定“比特幣選舉”的結果，因為他們越來越擔心自己的財務狀況。據悉，Cathie Wood和Balaji Srinivasan將2024年稱為“比特幣選舉”。

灰度團隊研究這些趨勢與即將到來的2024年美國總統大選有何關系。首先，比特幣目前處于一個美國總統選舉周期的最高價格；比特幣目前的交易價格超過29,000美元，而2020年第四季度上一個選舉周期的高點約為20,000美元。

其次，可以說同樣重要的是，對機構尤其不信任、同時又擔心其未來財務狀況的人群，可能是2024年之前最關鍵的選民群體。

在2024年的美國總統選舉中，預計年輕人將成為歷史上最大比例的選民，早期的報告指出，到2024年，千禧一代和Z世代將占美國選民的44%。[2023/8/7 21:28:37]

Cairo

2020年夏天，Cairo第一次出現在以太坊主網之上。Cairo是CPUAlgebraicIntermediateRepresentation的縮寫），并包含單個AIR來驗證這個“CPU”的指令集。Cairo為更復雜的商業邏輯、更多樣化計算語句打開了大門，并以一種更快、更安全的方式進行編碼驗證。Cairo程序可以證明單個應用程序執行的邏輯，而且一個Cairo程序也可以是多個此類應用程序的串聯——即SHARP。

北京探索增設數字經濟職稱:金色財經報道，北京市將著力培養數字技術技能人才，預計每年培養具有良好科學素養、精于實操應用、能夠解決復雜問題的數字技術技能人才1萬人，并探索增設數字經濟職稱評價專業。近日，北京市人力資源和社會保障局發布《北京市數字技術技能人才培養實施方案》，以進一步促進數字經濟和實體經濟深度融合，不斷強化科技人才支撐作用。

數字技術技能人才，包括數字技術領軍人才、數字技術人才和數字技能人才。《方案》提出，本市將發揮數字技術領域專業技術人員繼續教育基地作用，支持在京互聯網頭部企業、行業組織參與，鼓勵建立產學研一體化人才“訂單式”培養模式。其中，將以產業數字化與數字產業化為核心，圍繞人工智能、大數據、智能制造、區塊鏈等數字技術技能領域，培養一定數量的數字技術領軍人才。[2023/7/13 10:52:11]

SHARP

SHARP是一個共享驗證程序，它可以從幾個獨立的應用程序中提取相關交易數據，并在一個STARK-proof軟件中進行驗證。不同應用程序可以合并它們的交易批次，以更快地填滿了stark-proof池，這樣會提高交易的速度。所以下一個前沿領域是:遞歸證明，它不僅適用某些寫死的編碼邏輯，而且也是針對一般性的計算。

要了解遞歸證明的全部好處，我們首先要了解SHARP是如何執行證明的。下圖描繪了一個典型的非遞歸流程：

5500萬USDT從Kraken轉移到Bitfinex:金色財經報道，數據顯示，今日21:08，55,000,000枚USDT (價值約合55,015,234美元) 從Kraken轉移到Bitfinex。[2023/6/18 21:44:18]

一個典型的非遞歸證明流程

在這里，狀態說明會隨著時間匯總，當達到容量(或時間)閾值時，將生成一個大的組合狀態說明(也稱為Train)，只有在收到所有單獨的狀態說明后，才會驗證這個組合狀態說明，而這個證明需要很長的時間來進行驗證(是單獨證明每個狀態說明所需時間的總和)。

驗證非常大的狀態說明最終會受到可用計算資源(如內存)的限制。在遞歸之前，這實際上是STARK證明中限制可擴展性的阻礙。

什么是遞歸證明

使用STARK證明，證明一個狀態所花費的時間與執行該狀態所花費的時間大致呈線性關系。如果執行一個狀態需要花費T時間，那么驗證證明大約需要log(T)時間，這被稱為“對數壓縮”。換句話說，使用STARKs，你花在驗證狀態上的時間要比計算執行狀態的時間少得多。

Cairo支持通用的計算狀態，這些狀態可以由STARK驗證，也可以由相應的STARK驗證器驗證。

數據：Arbitrum錢包地址數量超500萬:4月18日消息，據推特用戶@Henrystats 在 Dune Analytics 上編制的統計數據，Arbitrum（ARB）的帳戶或錢包地址數量在4月17日超過了500萬。除了個人地址，ARB生態系統中現在有超過400萬個活躍賬戶，自成立以來已完成近2億筆交易。[2023/4/18 14:09:44]

這就是執行遞歸的優勢所在:我們可以用同樣的方式編寫一個Cairo程序來證明數千個交易的正確性，我們也可以編寫一個Cairo程序來驗證多個STARK證明。我們可以生成一個證明來證明多個“上游”證明的有效性，這就是我們所說的遞歸證明。

由于對數壓縮和大致線性的關系，STARK的驗證需要相對較短的時間(預計在不久的將來只需要幾分鐘)。

在實現遞歸時，SHARP可以在狀態數據到達時就對其進行證明，它們的證明可以在各種模式中一次又一次地合并成為遞歸證明，直到在某個時間節點上，將產生的最終遞歸證明提交給L1鏈上驗證者。下圖描述了一個典型這樣的流程:

一個典型的遞歸證明流程

在這個例子中，四個狀態聲明被發送到SHARP,這些狀態聲明都是平行證明的，然后，每對證明都由遞歸驗證器進行驗證，并為此生成下一個證明，而這個證明說明了前兩個證明已被證實。接下來，通過遞歸驗證器語句再次合并兩個證明，最終生成了一個證明了四個原始狀態的證明--Proof123。然后，該證明在主鏈上提交，并由Solidity驗證者智能合約進行驗證。

EOS推出EOS EVM主網測試版:4月14日消息，EOS基金會在其主網上部署EOSEVM測試版，此次測試版發布是在上個月末測試網推出之后進行的。EOS Network Foundation創始人Yves La Rose表示：“我們的目標是創造一個可互操作的未來，彌合區塊鏈、開發人員和用戶之間的鴻溝。借助EOSEVM，以太坊開發人員和用戶現在可以更輕松地利用EOS網絡的低費用、超快速度和可靠性。EOSEVM是一個重要的里程碑，代表了我們對多鏈未來的承諾。”

據悉，EOSEVM的目標是成為業界性能最高、兼容性最好的EVM。此外，EOS Network Ventures最近宣布將投資2000萬美元用于GameFi和EOS EVM項目。[2023/4/14 14:03:06]

遞歸證明的好處

降低鏈上成本

當我們實現了將多個證明"壓縮"為一個，這意味著每個交易的鏈上驗證成本降低。

使用遞歸證明，可以消除限制證明的計算資源障礙(例如內存)，讓每個有限規模的狀態聲明都可以被單獨證明。因此，當使用遞歸時，遞歸的組合狀態可以不受限，讓每筆交易的成本減少幾個數量級。

在實踐過程中，減少的成本還取決于你可接受的延遲。此外，由于每個證明通常還伴隨著一些輸出，如鏈上數據，因此，與單個證明一起寫入鏈上的數據量是有限的。盡管如此，將成本降低一個數量級完全是可以實現的。

降低交易延遲

遞歸證明模式減少了證明大量狀態數據的延遲，這主要是以下兩個因素的結果：

傳入的狀態數據可以并行證明處理。

無需等到組合狀態數據池中的最后一條的到達，即可開始證明，這意味著加入組合狀態池的最后一條數據的延遲大致是證明最后一條狀態所需的時間加上證明最終的遞歸驗證時間之和。

目前，我們正在積極地開發和優化證明遞歸驗證的延遲。我們希望在幾個月內能達到幾分鐘這個量級。因此，一個高效的SHARP可以提供從幾分鐘到幾個小時的不等延遲，這主要取決于每筆交易與鏈上成本的權衡，這也表明SHARP的延遲得到了很大意義的改善。

促進L3發展

Cairo中的遞歸驗證器也向StarkNet的提交證明提供了應用可能，因為該聲明可以被嵌入到StarkNet智能合約中，這就允許在公共的StarkNet(一個L2網絡)上實現L3的部署。

遞歸模式非常適用于L3的證明的聚合，即通過L2上的一個證明來驗證即可，因此這也實現了某種意義上的以太坊性能超擴展。

其他好處

應用型遞歸

遞歸證明為希望進一步想要降低成本和提升性能的平臺與應用程序提供了更多契機。

每個STARK都證明了應用于某種輸入聲明的正確性，這種輸入被稱為"公共輸入"。從概念上講，STARK遞歸將兩個輸入的證明壓縮為一個，雖然證明的數量減少了，但源頭的數量是保持不變，而這些輸入通常被用于應用程序或者L1上的狀態更新。

如果允許遞歸聲明是應用感知的，即識別應用程序本身的一些語義，那它既可以將兩個證明壓縮為一個，也可以將兩個輸入合并為一個，結果語句可以根據應用程序的語義驗證輸入組合的有效性，因此命名為應用遞歸，這能大幅降低鏈上驗證器的復雜性。

應用遞歸示例

首先，聲明1證明了從A到B的狀態更新，聲明2證明了從B到C的進一步更新。聲明1和聲明2的證明可以合并成第三個聲明，它直接證明了從A到C的狀態更新。通過類似的邏輯，人們可以顯著地減少狀態更新的成本。

應用性遞歸的另一個重要例子是壓縮多個證明的匯總數據。例如，對于想StarkNet這樣的ValidityRollup，L2上的每個存儲更新也作為L1上的傳輸數據包含在內，以確保數據可用性。其實，我們沒有必要在同一個存儲元素發送多個更新，因為數據可用性只需要那些經過了驗證交易的最終值。這種優化已經在單個StarkNet區塊內實現。通過為每個區塊生成證明，應用遞歸可以跨多個L2的區塊匯總壓縮此數據，這可以顯著降低成本，使L2上的塊間隔更短，還不犧牲L1可擴展性。

值得注意的是，應用性遞歸可以與前面描述非應用性遞歸相結合，這兩個優化是彼此獨立的。

降低鏈上驗證者復雜度

STARK驗證器的復雜性取決于它被設計來驗證的語句種類。特別是對于Cairo語句，驗證器的復雜度取決于Cairo語言中允許的特定元素，更具體地說，取決于支持的內建程序。

Cairo語言不斷發展，提供越來越多有用的內置程序，而遞歸驗證器只需要使用這些內置插件的一部分，通過在遞歸驗證器中支持的完整語言，遞歸SHARP可以成功地支持Cairo中的任何語句。

L1solididity驗證器只需要驗證遞歸證明，而不需要最新的內置代碼，換句話說，我們把不斷升級的復雜語句的驗證被下放到L2，只是讓L1驗證器來驗證更簡單、更穩定的狀態數據。

減少計算足跡

在沒有遞歸之前，將多個狀態數據匯總到一個證明中的計算能力受限于可用計算實體的計算能力。

有了遞歸，就不再需要證明這種極其龐大的組合證明，因此，可以使用更小、更便宜和更多的計算實體。這使得可以在更多的物理和虛擬環境中部署驗證器成為可能。

總結

通用計算的遞歸證明現在正在服務多個生產系統，包括StarkNet。

在持續的優化之下，遞歸證明將會提供更高吞吐量、更低GAS費、更低延遲性，并為L3和應用遞歸帶來新的機會。目前，遞歸驗證器還在進一步優化中，隨著時間的推移將會提供更好的性能和成本效益。

中文推特：https://twitter.com/8BTC_OFFICIAL英文推特：https://twitter.com/btcinchinaDiscord社區：https://discord.gg/defidao電報頻道：https://t.me/Mute_8btc電報社區：https://t.me/news_8btc

Tags：STAARKSTARKSTARstarl幣有可能漲1000倍嗎Fragments of arkerstarknet幣價分析FSTAR價格

萊特幣最新價格