比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > AAVE > Info

NFT:為什么說“小表模式”zkEVM更為高效-ODAILY_LID

Author:

Time:1900/1/1 0:00:00

前言

以太坊虛擬機是建立在以太坊區塊鏈上的代碼運行環境,合約代碼可對外完全隔離并在EVM內部運行,其主要作用是處理以太坊系統內的智能合約。之所以說以太坊是圖靈完備,是因為開發者可以使用Solidity語言創建運行于EVM上的應用程序,一切可計算的問題都能計算。但僅是圖靈完備還不夠,人們還試圖將EVM封裝在ZK證明系統里,但問題是封裝時會產生大量冗余。Fox所發明的“小表模式”zkEVM,在保證原生的Solidity以太坊開發者能無縫遷移至zkEVM的同時,還將大幅削減封裝EVM到ZK證明系統時產生的冗余成本。

EVM自2015年問世以來正在經歷一場史詩級的ZK改造。這場大改造主要有兩個方向。

第一個方向就是所謂的zkVM賽道,該賽道項目致力于將Application的性能提升到最優,而與以太坊虛擬機的兼容性并不是首要考慮的問題。這里有兩個子方向,其一是做自己的DSL(DomainSpecificLanguage),比如StarkWare正致力于推廣Cairo語言,推廣難度并不小。其二是目標兼容現有的比較成熟的語言,比如RISCZero致力于讓zkVM兼容C++/Rust。該賽道的難點在于因為引入了指令集ISA,導致最終輸出的約束更復雜

Base主網正式上線:金色財經報道,由Coinbase支持的Base網絡現已正式向公眾開放, Base生態系統已擁有100多個dapp和服務提供商。Coinbase協議負責人Jesse Pollak表示,與以太坊相比,用戶可以探索這些dapp,并受益于更低的交易費用和更快的交易速度。

金色財經曾報道,Base于2月啟動測試網,隨后于7月份發布了針對開發人員的版本。Base已與許多加密項目集成,包括DeFi協議、錢包、網橋、預言機以及分析和基礎設施提供商。[2023/8/10 16:16:22]

第二個方向就是所謂的zkEVM賽道,該賽道項目致力于EVMBytecode的兼容,即Bytecode級別及其以上的EVM代碼都通過ZkEVM產生對應的零知識證明,這樣以來原生的Solidity以太坊開發者會可以無成本遷移至zkEVM。該賽道選手主要有PolygonzkEVM、Scroll、Taiko和Fox。該賽道的難點在于兼容EVM這樣一個并不適合封裝在ZK證明系統時產生的冗余成本。Fox經歷長時間的思考與論證,終于找到了從根本上消減第一代zkEVM巨大冗余的那把鑰匙:“小表模式”zkEVM。

Circle CEO:70%的USDC采用來自美國以外:金色財經報道,Circle首席執行官Jeremy Allaire表示,“我們估計70%的USDC采用率都在美國以外,而且一些增長最快的地區是新興市場和發展中市場。亞洲、拉丁美洲和非洲都取得了巨大進展。對安全、透明的數字美元的需求強勁。”[2023/8/8 21:31:35]

數據和證明電路是zkEVM生成證明的兩大核心要素。一方面,在zkEVM中,證明者需要所有交易涉及的數據以證明交易帶來的狀態轉移是正確的,而EVM中的數據量大且結構復雜。因此,如何整理和組織證明所需的數據便是構建一個高效的zkEVM需要仔細考慮的問題。另一方面,怎么通過一系列的電路約束高效地證明計算執行的有效性與正確性,則是保證zkEVM安全性的基礎。

我們首先談第二個問題,因為這是所有設計zkEVM的團隊都需要考慮的問題,這個問題的本質其實就是“我們到底要證明什么?”而目前大家對這個問題的思路都是相似的,由于一個交易可能是多種多樣的,直接按順序證明每一步的操作帶來的狀態改變都是正確的顯得不現實,因此我們需要分類證明。

Lido:今日創下最高單日質押流量,已觸發 “Staking Rate Limit”限制:2月25日消息,流動性質押協議Lido發推稱,今日流入其平臺的質押ETH數量超過15萬枚,創下迄今為止最高單日質押流量,但在達到這一數字后平臺觸發了安全限制功能“Staking Rate Limit”。該功能是一種動態機制,可在無需暫停質押存款的情況下響應大流量質押代幣流入而稀釋質押獎勵的問題,但會減少鑄造stETH數量然后逐步補充。

Lido提醒,此限制會影響可能嘗試Lido平臺鑄造stETH的各方,如果出現“此時無法鑄造stETH”提示可嘗試小額數量或等待一段時間。

金色財經此前報道,Lookonchain數據顯示,標記為“Justin Sun”(孫宇晨)的錢包地址在Lido上質押150100枚ETH,價值約2.4億美元。[2023/2/25 12:29:20]

Dylan Leclair:比特幣在未來一到兩個季度將會受到沖擊:8月29日消息,21stParadigm聯創、比特幣分析師Dylan Leclair表示,比特幣將在未來一到兩個季度的去杠桿事件中受到沖擊。如果這種情況發生,可能會有大量空頭進入低位,其中大部分是美元保證金。他同時表示將在未來12個月內進行個人有史以來最大的一次收購。[2022/8/29 12:56:02]

圖1:大表、小表兩代zkEVM解決方案

例如,我們將每次stack中元素的變化都放在一塊,專門編寫一個stack電路證明,為單純的算術操作專門編寫一套的算術電路等等。如此一來,每個電路需要考慮的情況就變得相對簡單。這些不同功能的電路在不同zkEVM中有不同的名字,有人直接稱其為電路,也有人稱其為狀態機,但是這個思想的本質都是一樣的。

為了更清楚的解釋這么做的意義,我們舉一個例子,假設現在要證明加法操作:

假設原先的stack是

LINE推出Profile NFT功能,可將NFT設置為個人資料圖片:7月7日消息,日本即時通訊軟件LINE已開始在體驗版中推出Profile NFT功能,用戶可在NFT市場LINE NFT中將NFT設置為LINE軟件中的個人資料圖片。

此外,LINE將于7月8日發售可設置Profile NFT功能的NFT系列“Profile NFT by Minto”,以配合Profile NFT功能的發布。(Impress Watch)[2022/7/7 1:57:16]

則如果不分類拆分的話,我們需要設法證明進行完上述操作后stack變為

而如果進行了分類拆分的話我們只需要分別證明以下幾件事:

stack電路:

C1:證明pop出2和4后變為

C2:證明push(6)后變為

算術電路:

C3:a=2,b=4,c=6,證明a+b=c

值得注意的是,證明的復雜程度和電路需要考慮的各種情況的數量有關系,如果不分類拆分的話,電路需要覆蓋的可能性將會非常巨大。

圖2:第一代zkEVM采用的大表模式

而一旦分類拆分了,每一個部分的情況將會變得相對單純,從而證明的難度也會顯著減小。

但是分類拆分也會帶來其他問題,那便是不同類別電路的數據一致性問題,例如在上面的例子里,我們實際上還需要證明以下兩件事:

C4:”C1中pop出來的數”=“C3中的a和b”

C5:“C2中push的數”=“C3中的c”

為了解決這個問題,我們回到了第一個問題,即我們要如何組織交易涉及的數據,下面我們接著探討這個議題:

一個直觀的方法是這樣的:通過trace,我們可以拆解出所有交易涉及的每個步驟,知道其涉及的數據,并通過向節點發送請求以獲得不在trace中的那部分數據,隨后,我們將其如下排列成一個大表格T:

“第一步操作”“第一步操作涉及的數據”

“第二步操作”“第二步操作涉及的數據”

…“第n步操作”“第n步操作涉及的數據”

如此一來,在上面的例子中,我們就會有一行記錄著

“第k步:加法”“a=2,b=4,c=6”

而上面的C4便可以被如下證明:

C4(a):C1pop出的數和大表T中的第k步一致

C4(a):C3的a和b和大表T中的第k步一致

C5也是類似的。這個操作被稱為lookup。lookup的具體算法我們不在本文中詳細介紹,但是可以想象,lookup操作的復雜度與大表T的大小密切相關。因此,現在我們回到第一個問題:如何組織證明會用到的數據呢?

圖3:Fox所發明的“小表模式”zkEVM

我們考慮如下一系列的表格構造:

表格Ta:

“類型a的第一個操作”“類型a的第一個操作涉及的數據”

“類型a的第二個操作”“類型a的第二個操作涉及的數據”

…“類型a的第m個操作”“類型a的第m個操作涉及的數據”

表格Tb:

“類型b的第一個操作”“類型b的第一個操作涉及的數據”

“類型b的第二個操作”“類型b的第二個操作涉及的數據”

…“類型b的第m個操作”“類型b的第n個操作涉及的數據”

…如此構造多個小表,這么做的好處是當我們可以根據需要的數據所涉及的操作的類型,直接在對應的小表中進行lookup,如此一來,便能很大程度的提高效率。

一個簡單的例子是如果我們要證明a~h這8個字母都存在中,我們需要對大小為8的表進行8次的lookup,但是如果我們把表分為和的話,我們只需要對這兩個大小為4的表分別進行4次lookup就可以了!

在FOX這個layer2的zkEVM中便使用了這種小表的設計以提升效率,為了保證在各種情況下都能完備的證明,對于具體的小表拆分方式需要仔細的設計,而提升效率的關鍵則在于對表的內容的分類與其大小的平衡。盡管將完整的zkEVM在這個框架中實現需要龐大的工作量,我們預期這樣的zkEVM將會在性能方面有突破性的進步。

結論

Fox所發明的“小表模式”zkEVM,在保證原生的Solidity以太坊開發者能無成本遷移至zkEVM的同時,大幅削減封裝EVM到ZK證明系統時產生的冗余成本。這是zkEVM結構的一次重大變革,將對以太坊擴容方案產生深遠影響。

Tags:NFT以太坊LIDSTAGNFT價格以太坊幣怎么挖礦網站下載Lido Staked ETHNoah Decentralized State Coin

AAVE
WEB:「Over the Moon」超一線嘉賓陣容揭曉,精彩提前鎖定-ODAILY_區塊鏈

「OvertheMoon—逐浪Web3」新趨勢分享4月11日14:00–21:30「MetaStoneXOdaily」「OvertheMoon—逐浪Web3」峰會將于TheSt.

1900/1/1 0:00:00
SIG:SignalPlus每日晨報(20230329)-ODAILY_SIGNA

各位朋友,歡迎來到SignalPlus每日晨報。SignalPlus晨報每天為各位更新宏觀市場信息,并分享我們對宏觀趨勢的觀察和看法。歡迎追蹤訂閱,與我們一起關注最新的市場動態.

1900/1/1 0:00:00
BIT:Bitget研究院:FOMC加息會議放出鷹派言論,市場回調靜待ARB上線-ODAILY_ARBI

過去24小時,市場出現了不少新的熱門幣種和話題,或許它們就是下一個市場焦點。 1.熱門項目 IC:狐貍圖片的MemeCoin,鏈上流動性$57萬,24小時交易量$461萬,市值$400萬,活躍度.

1900/1/1 0:00:00
ETH:?上海升級后Staking ETH提現數據變化-ODAILY_以太坊交易付費的成本是

ETH正在經歷第二波提款潮以太坊完成上海升級已經超過一周時間,統計數據表明,自升級的第一波提款潮之后,ETH的存款數于4月18日超過了提款數,但很快又迎來了新的一波提款潮.

1900/1/1 0:00:00
RWA:RWA成為DeFi新敘事:2023年成為代幣化拐點之年?_區塊鏈

在過去幾年中,RWA的敘事一直處于沉寂狀態,但最近它開始走紅。許多傳統金融機構都開始布局RWA領域,如J.P.Morgan在Polygon區塊鏈上使用日元和新加坡元的代幣化版本執行了第一筆實時交.

1900/1/1 0:00:00
SIG:SignalPlus每日晨報(20230331)-ODAILY_Hypersign Identity Token

各位朋友,歡迎來到SignalPlus每日晨報。SignalPlus晨報每天為各位更新宏觀市場信息,并分享我們對宏觀趨勢的觀察和看法。歡迎追蹤訂閱,與我們一起關注最新的市場動態.

1900/1/1 0:00:00
ads