“證明溢出”問題_ROO

在Scroll，我們正在開放構建zkEVM，并希望將我們正在構建的協議的所有方面保持公開透明。

這篇文章中描述了我們稱之為“證明溢出”的問題—?一個由于ZKrollups中執行和證明生成分離而引起的問題。

背景

Scroll的rollup流程大致可以理解為：

1.用戶向Scroll的內存池提交交易。

2.排序器(sequencer)節點將一些交易打包到一個區塊中。

3.批處理程序(bather)將一些區塊打包成一個批次(batch)。

批次的數據被發布或“提交”到以太坊L14.證明者獲取批次并生成證明。

該證明可以證明該批次中的所有交易均已正確執行。該證明提交給以太坊L1進行驗證。相應的批次被認為是“最終確認的”。我們在Alpha測試網中遇到的一個問題是無法證明某些批次。愿意是它們“太大”而無法放入我們的zkEVM電路中。

Tether與KriptonMarket合作為阿根廷的小企業推出支付方案:5月18日消息，Tether 宣布與出入金解決方案 KriptonMarket 建立合作關系，允許阿根廷用戶能夠在布宜諾斯艾利斯中央市場獲得穩定幣。布宜諾斯艾利斯中央市場是拉丁美洲最大的水果和蔬菜市場。Tether 和 KriptonMarket 的合作可能會讓該中央市場的 900 家批發商和 50 家零售商能夠接受 USDT，通過 KriptoPayments 直接用 USDT 支付賬單，以 USDT 支付員工部分工資等等。[2023/5/18 15:12:00]

人們可以認為zkEVM電路由許多子電路組成，比如n個子電路，它們通過查找表互連。每個子電路用于約束特定的操作——例如，Keccak電路計算Keccak哈希，求冪電路計算求冪。我們的zkEVM電路設計中當前限制是每個子電路必須具有相同的行數，比如m行。

財富雜志采訪CZ：《塑造加密貨幣最強大創始人的力量》:4月10日消息，財富雜志以《塑造加密貨幣最強大創始人的力量》為題對 CZ 進行專訪，采訪稿中回顧了 CZ 在創建 Binance 前在加拿大求學、在東京從事交易系統開發與在上海多次創業的經歷，同時提到了 CZ 成長經歷中從努力學習到逐漸嘗試創業的過程，最后總結了 Binance 發展過程中 CZ 與監管和諸多競爭對手的斡旋。此外，此次專訪還涵蓋了 CZ 的家庭與成長環境方面的大量內容。[2023/4/11 13:55:23]

根據每個子電路中消耗的行數，每個所傳入的交易都具有唯一的配置文件。例如，可能有一個交易需要許多Keccak操作，因此在Keccak電路中占用許多行，而在求冪電路中不占用任何行。相反，可能有一個交易在Keccak電路中占用很少的行，而在求冪電路中占用很多行。

Jack Dorsey ：為社媒制定免費開放協議才有未來，為此將開放新的資助類別:12月14日消息，Twitter前聯合創始人Jack Dorsey近日發文稱，“Twitter作為社交媒體和公共對話工具有其自身缺陷，我們應聚焦在使用社交媒體服務的人，并且更快地朝著絕對透明的方向發展。”

此外他表示，為了加速開放互聯網和協議的工作，他將開設一個新的資助類別：“開放互聯網開發”。重點面向從事社交媒體和私人通信協議、比特幣和純網絡移動操作系統的工程團隊提供資助。下周將開始提供贈款，從每年給Signal100萬美元開始。[2022/12/14 21:43:09]

由于批次由區塊組成，而區塊由交易組成，因此批次的行消耗配置文件由組成它的交易所決定。如果一個批次的行消耗超過最大行數m，則該批次將無法證明。當一個批次無法證明時，它無法在L1上最終確認，任何后續的批次也無法證明。

NFT交易平臺Niftify完成786萬美元種子輪融資:金色財經消息，NFT交易平臺Niftify完成786萬美元種子輪融資，Moonchain Capital和Audacia Capital領投。據悉，Niftify允許任何人創建和運營自定義NFT商店和市場，致力于成為一個完整且合規的NFT解決方案。目前該平臺在以太坊和Polygon上運行，支持多種法定支付選項，包括信用卡、ApplePay、GPay和三星支付。[2022/9/6 13:11:37]

值得注意的是，即使只包含單個交易的批次也可能會溢出電路。

要解決“證明溢出”問題需要解決以下問題：如何防止創建超出電路容量的批次？

長期解決方案

問題源于我們電路架構的局限性：所有子電路都必須有一些預先確定的、固定數量的行。我們正在研究重新設計我們的架構，以便可以獨立地動態調整子電路的大小——每個子電路的大小都可以根據批次證明的要求放大或縮小。例如，如果一個批次在Keccak電路中需要2^20行，但在求冪電路中只需要2^14行，則子電路可以獨立縮放。

尼日利亞SEC將向當地加密交易所收取費用:5月16日消息，根據尼日利亞SEC周日發布的數字資產運營指導方針，幣安、Quidax等加密貨幣交易所將被SEC收取3050萬尼日利亞奈拉（約合73,448.48美元）的費用。

根據該指導方針，出售被認為是證券的數字代幣的公司必須向監管機構注冊，其申請將在30天內進行審查，以確定數字資產是否值得被歸類為證券（資產）。

此外，SEC要求位于尼日利亞的加密貨幣交易所繳納費用。據了解，尼日利亞有幾家數字資產運營商，包括幣安、Quidax、Paxful、Buycoins、Remitano和NairaEx，平臺為了繼續運營，必須擁有5億奈拉的實收資本（為交換數字資產而收到的資金）作為證據。

此前消息，尼日利亞發布了數字資產新規則，為加密貨幣交易提供了更清晰的指南。尼日利亞SEC在其網站上發布了“關于數字資產發行、提供平臺和托管的規定”，將數字資產歸類為受SEC監管的證券。新規定涵蓋了數字資產作為證券發行以及數字資產托管機構、交易所和虛擬資產服務提供商的注冊。（Ripples Nigeria）[2022/5/16 3:19:37]

這種類型的動態設計帶來了挑戰，我們正在努力解決這些問題。然而，與此同時，我們需要解決固定尺寸電路的問題。

當前解決方案

1.根據最壞情況下的操作碼設置區塊Gas限制?

這里的想法是根據最壞情況下的操作碼來設置區塊的Gas限制。換句話說，設置區塊Gas限制，即使它被最昂貴的操作碼填滿，該區塊仍然可以適配我們的電路。這保證了任何區塊都無法填滿電路。

優點：簡單缺點非常低效分析表明，最昂貴的操作碼(SHA)的證明行與EVMGas之間的比率約為11倍。每個額外的Keccak字節占用約2.2行，同時消耗約6/32EVMgas。對于m=2^20，我們可以容納大約2^20/2.2個Keccak字節。這對應于(2^20/2.2)*(6/32)~=89,000gas的最大區塊限制。太小！！2.Gas重新定價??

我們可以修改操作碼到Gas的映射表來反映證明成本，而不是執行成本。這將涉及從每個操作碼與它在所有子電路中占用的最大行數的靜態映射，然后修改我們的Geth分支以使用這個新的Gas定價。

優點：證明溢出問題在執行層被處理為“OutofGas”錯誤缺點可能會破壞依賴于正常EVMGas定價的合約。很難以編程方式將操作碼映射到行消耗。這個映射應該是可編程的，因為zkEVM的電路庫會隨著時間的推移而改變，也因為手工分析容易出錯，這里稍有錯誤就會導致溢出漏洞需要保持L2GethGas定價和zkEVM電路庫之間的同步-不同步將導致漏洞3.引入額外的“ProofGas”計量

除了正常的EVMGas之外，我們還可以有一個單獨的概念“Proof?Gas”。Proof?Gas將用于量化交易在我們的電路中消耗的空間。請注意，這種“Proof?Gas”應該是多維的——因為不同的操作碼在不同的電路中占據不同的行。

一旦引入“Proof?Gas”計量的概念，就會出現在哪個級別約束它的問題。

3a.在執行層約束ProofGas

此解決方案與解決方案2類似，不同之處在于它保留了EVMGas和ProofGas的概念。這將再次涉及將每個操作碼靜態映射到它在每個電路中占用的行數，然后修改L2Geth以添加這種ProofGas的概念。如果特定交易超過了ProofGas限制，則交易將撤銷并出現一些自定義的“outofproofgas”的錯誤。這將確保沒有區塊可以超過行約束，因為執行層將在此之前停止交易。

優點：證明溢出問題在執行層被處理為“outofproofgas”錯誤缺點難以生成從操作碼到行消耗的靜態映射需要保持L2Geth和zkEVM電路庫之間的同步需要對L2Geth和zkEVM電路庫中的邏輯進行重大更改，以支持額外的ProofGas概念3b.在執行層之外約束ProofGas

我們可以從zkEVM電路庫中公開API來報告給定執行蹤跡所需的行數，而不是生成操作碼到電路行的靜態映射。L2Geth可以生成區塊的執行蹤跡，然后查詢電路行消耗——如果超過最大行數，則不會創建區塊。

優點：無需以編程方式將操作碼映射到行消耗所需的復雜性。缺點：當必須構造一個區塊時，L2Geth會增加一些計算開銷，因為它需要進行額外的計算來估計電路行消耗。使強制包含變得復雜。強制包含是一種機制，用戶可以直接通過L1提交L2交易。這些交易被“強制”包含在L2鏈中，作為一種抗審查機制。我們無法將交易映射到它在L1上消耗的電路行數，因此無法判斷它是否可證明結語

似乎解決方案3b是最簡單且風險最小，也是可行的解決方案。

伴隨這種方案的主要挑戰是如何處理強制交易，因為可能存在太大而無法放入電路中的強制交易。這里的一個想法是使用解決方案1中的想法來限制強制交易的Gas限制，這樣即使在最壞的情況下，強制交易也不會溢出電路。

從長遠來看，我們的目標是開發一個更靈活的證明系統，支持動態大小的子電路，從而完全避免這個問題。

Tags：GASPROProofROOgas幣一分鐘暴漲5600倍prom幣k線圖前面數據哪去了Evident Proof Transaction TokenSHROOM價格

LTC