以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

MEMO:關于在ZKEVM中移除內存限制的一些想法-ODAILY

Author:

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

ZKEVM是一個具有可編程性,以ZK技術為基礎的虛擬機,它可以為虛擬機執行的所有操作生成一個零知識證明,用來證明虛擬機執行操作的正確性。有關ZKEVM的幾種實現方案介紹及優劣對比,可以參考V神的文章:ThedifferenttypesofZK-EVMs;如果你想了解更多的設計細節,你也可以閱讀PSE的ZKEVM方案(native-level):privacy-scaling-explorations/zkevm-specsPolygon的ZKEVM設計(bytecode-level):PolygonzkEVMDocumentation;Sin7y的ZKEVM設計(language-level):OlaVM:AnEthereumcompatibleZKVM。\n\n無論是哪種方案,都需要用zk去約束VM的所有的行為,這些行為包括:

俄羅斯聯邦委員會批準關于引入數字盧布的法律:金色財經報道,據國際文傳電訊社和塔斯社消息,俄羅斯聯邦委員會19日批準關于在俄引入數字盧布并創建數字盧布平臺的法律,主要條款定于8月1日生效。根據法律條款,俄羅斯央行將被授予數字盧布平臺運營商的地位。俄央行表示,計劃下月開始測試首批數字盧布的實際交易。[2023/7/19 11:05:08]

?執行合約計算邏輯

?執行內存訪問

?執行哈希計算

?執行世界狀態更新

?...

眾所周知,zk在計算壓縮領域,具有極大的應用的前景;無論原始的計算多么復雜,其驗證過程都十分高效,這是所有zk算法的基本技能。因此,對于VM執行過程中的計算部分,zk可以很好的發揮作用;而在VM執行的過程中,除了計算本身外,還存在一些內存訪問操作,我們需要把一些數據提前放在內存里,然后在執行計算的時候取出來。

Abracadabra啟動關于UST崩盤引發的壞賬償還計劃的投票:11月1日消息,算法穩定幣MIM發行方Abracadabra社區啟動由UST崩盤引發的壞賬償還計劃的投票,投票選項有使用金庫資金、使用協議收入、結合使用金庫資金和協議收入三個選項。投票截止時間為11月2日22:00。

Abracadabra團隊稱,在Terra崩盤期間,Abracadabra的UST借貸市場產生了大約1200萬MIM的壞賬。截止10月中旬,Abracadabra金庫資產包括6,580,153CRV、996,059USDT、280,153USDC、3,300,000yveCRV、5,312,299MIM代幣和其他約30萬美元的資產。[2022/11/1 12:05:47]

而由于大部分的VM都是讀寫內存,因此不得不約束這些內存訪問操作的正確性;對于內存訪問的約束本身并不復雜,但是由于內存訪問的次數很高,所以導致多項式的階數很高,使得內存相關的約束證明耗時比較可觀。

AC繼續在其社交網站發布關于新產品ve(3,3)相關細節:1月13日消息,AC 在其社交網站上宣布在新產品 ve(3,3)上線時,每支 Fantom 鎖倉量排名前 20 的團隊將各獲得一枚 NFT。這些 NFT 將有 ve(3,3)的分配權,并可以在二級市場流通。[2022/1/13 8:47:22]

在ZK(E)VM的方案中,我們更應該把zk主要應用在對于計算本身的證明,對于EVM的其他行為,我們可以在VM層面去優化,以減少zk約束的規模。

Memory的設計

以EVM為例,EVM的內存是一塊很簡單的字節數組,可以存儲32字節或者1字節的數據,也可以讀取32字節的數據。

TopBtc關于SNTR交易對變更的公告:TopBtc發布公告稱,應SNTR官方要求,將SNTR從BTC交易區移放至ETH交易區,原BTC交易區的掛單將被撤銷,用戶請在ETH交易區重新進行交易。[2018/6/15]

圖片來源:ethereum_evm_illustrated,page51

在EVM中,和Memory相關的指令有:

?MLOAD(x):從地址x處加載32字節的數據到調用棧(stack)

?MSTORE(x,y):從地址x開始,寫入32字節的y

?MSTORE8(x,y):從地址x開始,寫入8字節的y(低位開始)\n有興趣的讀者可以在EVMPlayground上感受下,上述內存操作帶來的內存和棧的變化。

Memory的約束

委內瑞拉全國制憲大會批準了關于使用加密貨幣和石油幣的法令:據bitcoin news報道,委內瑞拉全國制憲大會(ANC)已經批準了該國政府上周宣布批準了關于使用加密貨幣和該國石油幣的法令。根據副總統的聲明,這項法令旨在為金融和商業活動中替代機制的管理奠定基礎。[2018/4/10]

在OlaVM的5.3.5節,你可以看到關于Memory約束的設計原則(OlaVM內存相關的指令和EVM類似)。

在OlaVM中,RAM的所有操作組成一個獨立的table,table里的內容由memory和storage兩種類型組成。在這里,我們只關注對于memory的約束。\n內存的操作類型大體可以分為三類:

?Init操作

?write操作

?read操作

觸發Init的場景有三種,分別是ctx的變換,type的變化,addr的變化;當任何一個場景觸發時,需要約束,操作類型為w(write),v(value)為0。

當上述三種場景沒有觸發時,則需要根據當前的操作類型來約束;

?如果是w(write)操作,需要約束clk是遞增的,寫入的值v是對的。

?如果是r(read)操作,需要約束clk是遞增的,讀取的值和上次寫入的值是相同的。

一些可能性提升

?對于Init操作,需要約束一個內存地址的初始化的值為0么?

我認為沒有必要對初始化的操作進行約束;實際上,對于任何地址,你可以約束它的第一次訪問必須是write操作,而不是read操作;而如果是write-once內存模型,這個限制將天然存在,因此,如果虛擬機的內存模型改為write-once模型,將減少對內存的訪問約束。

?對于read操作,能否避免對應的約束,即避免校驗讀取的值和上次寫入的值一致?

由于VM本身定義的memory類型的讀寫內存,無法保證,VM在讀取這個內存地址的值之前,這個地址的值沒有被修改,因此需要增加一個相等性校驗,如下圖所示:

由此可以看出,產生這個約束的核心原因,內存模型是讀寫內存,地址的值存在被改寫的可能,因此,如果嘗試使用只讀內存,那么就不需要在memory的約束去實現上述的一致性約束。

注意:這可能會增加虛擬機的實現難度,因為這是一個不常用的內存模型;并且,我們應該不會首先在這個虛擬機上面去定義一個高級DSL,因為這個語言對Dapp開發者會有些不友好,需要在編譯器層面去消除,使得這些不友好,對開發者不可見。\n\n所以,如果采用上述內存模型,內存模塊的約束,將只剩下針對write操作的約束,即使用copyconstraints來保證寫入的值是對的即可。無須約束:

?讀取的值等于寫入的值,因為內存只能被寫一次

?讀的clk大于寫的clk,因為只能先寫再讀

?內存的初始化值為0

參考

ethereum_evm_illustrated,page51

關于我們

Sin7y成立于2021年,由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊,探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。

微信公眾號:Sin7Y

GitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon

Tags:ABRMEMOEMOMEMLABRAB4 Flash MemoryemobankSohi Meme

火必交易所
區塊鏈:2022波場黑客松大賽第三季獲獎項目正式公布-ODAILY

2022波場黑客松大賽第三季獲獎項目已敲定。本賽季共吸引了1185名參賽者,收到了272個團隊提交的參賽作品,第三季大賽分為6個賽道:Web3、DeFi、NFT、GameFi、Ecosystem.

1900/1/1 0:00:00
CEO:北拓「Web3.0 New Era」主題活動在新加坡成功舉辦-ODAILY

10月10日晚,NorthBetaInternational北拓國際主辦的「Web3.0NewEra」主題活動以線上線下結合的形式在新加坡成功舉辦.

1900/1/1 0:00:00
WEB:十點建議,助你在Web3安全探索-ODAILY

如果你初來乍到Web3的世界,你要學習的第一件事是:保持懷疑,保持敬畏,保持對求知欲;路途自由美好,但路邊也險象環生.

1900/1/1 0:00:00
SIG:SignalPlus每日晨報(20221107)-ODAILY

上周五美國10月非農數據發布,新增就業人數26.1萬人,高于市場預期,同時9月前值也上修5.2萬,不過10月增幅已經是2020年12月以來最低,失業率則升至3.7%,是2月以來最高.

1900/1/1 0:00:00
STE:邊跑邊賺風光不再,回顧STEPN短暫的榮光-ODAILY

筆者曾在6月份發布一篇關于STEPN投資潛力的文章,不久后便出清了所持有的跑鞋NFT以及所有代幣.

1900/1/1 0:00:00
ELON:推特正式宣布測試NFT磁吸功能NFT Tweet Tiles-ODAILY

對推特(Twitter)來說,這是十分忙碌的一周。這家社交媒體平臺在宣布被埃隆·馬斯克(Elonmusk)私人收購之后,即將迎來其作為上市公司的最后幾天時光.

1900/1/1 0:00:00
ads