DAT:一文探討 zkRollup 改進提案的具體思路及優缺點_ARTIC Foundation

感謝AlexGluchowski以及BarryWhitehat提供的意見和看法。1

長話短說

本文介紹了一種無需來自運營方tx歷史數據的zkRollup，這具有在L1上使用txcalldata的gas效率，并且還具有智能合約執行及資產隱私的特性。每個batch只需要在txcalldata中記錄一個狀態改變的所有者的賬戶列表。缺點是每個用戶在將資金退出到L1時，需進行客戶端zkp計算，而另一個缺點是在EVM兼容性方面帶來困難。2

背景和動機

對于Rollup的運營商和交易者而言，他們在使用txcalldata時仍然會產生消耗。這種限制僅僅是因為需要恢復作為交易結果的狀態，以免用戶無法生成其資金的Merkle證明。Rollup的大部分規范要求運營商將所有交易歷史數據轉儲到L1上的txcalldata。交易歷史數據的這種透明度，不僅增加了txcalldata的gas成本，而且還破壞了交易的隱私。據推測，交易歷史數據的累加器，既解決了效率問題，也解決了隱私問題。3

Soluna Holdings宣布建立用于比特幣挖礦和其他密集型計算應用的綠色數據中心:金色財經報道，Soluna Holdings首席執行官John Beliziare向股東發表了一封公開信，宣布建立用于比特幣挖礦和其他密集型計算應用的綠色數據中心。

John Beliziare稱，比特幣在加密貨幣領域的突出地位及其對安全解決方案日益增長的需求使其非常適合我們的有限能源方法，而人工智能的興起為我們公司提供了進一步增長和多元化的機會。[2023/6/23 21:55:15]

方法

簡而言之，在第一步中，我們構造了一個zkRollup，其中運營商將最終狀態差異直接寫入txcalldata。交易歷史數據將在一個zkp電路的隱私輸入中。第二步，我們通過分離常用存儲和用戶狀態存儲從txcalldata中刪除最終狀態差異。這使用戶可以使用非包含證明退出。用戶保留其用戶存儲并僅公開其Merkle根。用戶可以用zkp證明根轉換，并且可以更新智能合約的常用存儲。詳細步驟如下：3.1)第一步，zkRollup中txcalldata使用選項

Web3任務平臺Zealy完成350萬美元pre-seed輪融資:金色財經報道，基于社區參與的Web3任務平臺Zealy宣布完成350萬美元pre-seed輪融資，Redalpine領投，Connect Ventures、Aglaé Ventures、Kima Ventures、Purple、STATION F、Founders Future、Pareto Holdings、以及一批來自 The Sandbox、POAP、DFNS、Starton和Pianity公司的商業天使投資人參投。

據悉，Zealy允許成員進行數字資產、實體和虛擬活動和任務發布，幫助Web3公司參與、分析和擴展社區。[2023/4/6 13:47:52]

使用txcalldata恢復完整狀態有兩種選擇。選項1：將所有交易歷史數據記錄到txcalldata。選項2：記錄由于區塊中的交易而導致的最終狀態的差異。在選項2中，由于txcalldata中沒有要記錄的內容，數以百萬計具有相同結果的交易使用0gas進行txcalldata使用。Merkle根轉換的可靠性由zkp保證。而采用“選項2”是第一步。3.2）第二步，優化“選項2”

FTX前COO：不知道任何轉移客戶資金的事情，個人資產都在FTX上:11月15日消息，針對加密 KOL Autism Capital 發布的關于包括 FTX 前 COO Constance 在內的前員工的各種傳聞，FTX 前 COO Constance 進行了回應與澄清，其表示：

看到我們的前雇員在推特上散布關于我個人的不真實的謠言，最終還是感到很傷心和難過。我和這個事件沒有關系，在上周二之前我也毫不知情。我所做的只是盡力在事后提供幫助，我不想放棄我在過去 3 年中為之付出的公司，所以我真的試圖拯救它。

我想澄清的是：

1/我不知道任何轉移客戶資金的事情，也不了解 Alameda 的交易及其與 FTX 的安排。

2/我負責 BD，增長和市場營銷，直到最后一刻，我和我的團隊都在用自己的名譽來捍衛 FTX，看到這樣的事情發生，我們感到非常失望。

3/我和 Sam 沒有任何私人關系，在過去 3 年，我非常努力地建設公司和團隊，我不認為這次的失敗是由于我們的交易所業務沒有做好。

4/Conch Shack 是公司財產，不是送給我的，我和其他員工一起住在 Conch Shack。

5/像你們很多人一樣，我所有的資產都在 FTX 上，現在都沒了，我在其他交易所沒有任何資產。

6/我非常傷心，而且我個人也被員工們分享的這些不實之詞傷害了，我會暫停發布新的工作招聘貼，直到完全恢復過來，但我還是會在其他人 DM 我時把簡歷發送過去。[2022/11/15 13:07:46]

當批次/區塊中的交易更改合約中的相同存儲值時，上述選項2會花費更少的gas。這種共享和更改的值就像ERC20的總供應量、swap協議的總資產池量等。而且這種存儲值也會影響到所有資產持有者，這種數據的丟失會導致zkRollup的活性損失。另一方面，其他不常共享和更改的數據大多是個人資產數據。這類數據的丟失，直接意味著資產持有者損失了資金。這種風險是分開的，不會影響到對方的資金。然后分離用戶的狀態，并提供其狀態的用戶數據及其證明作為運營商對其交易的收據，從而降低了大量gas成本。交易者向運營方發送交易；運營商將其用戶狀態的merle證明作為交易的收據；交易者簽署這個收據；電路中只接收帶有簽名收據的交易數據；如果一個用戶進行了交易，并且多個用戶的余額發生了變化，并且他們知道自己的狀態，包括這些余額和Merkle證明，那么他們中的任何一個都可以隨時通過zkp退出其資金。這證明這是其余額的最后一個狀態，可以通過每個批次的更改狀態所有者的每個帳戶列表的不包含證明來確定。更改狀態所有者的帳戶列表的稀疏Merkle樹可用于有效證明。有兩種方法可以讓更改狀態的所有者知道他們最近的更改。如果他們在線，運營商發送最后一個差異，接收簽名的差異，并將其放入zkp電路的輸入，這樣的gas成本是最低的。如果他們不在線，運營商會將其發布到txcalldata或鏈下去中心化存儲。通過這種狀態分離，運營商不再需要將最終狀態的任何差異都放在txcalldata中，因為用戶的帳戶狀態對于退出來說足夠安全，而丟失共同共享的數據，只是意味著運營商無法更新zkRollup的Merkle根，他們將簡單地停止服務。然后，公共共享存儲和用戶存儲都可以在鏈外分發。每批只需要在txcalldata中記錄一個狀態改變的所有者的賬戶列表。3.3）第三步，隱私智能合約執行

數字藝術家Beeple：正建造一座5萬平方英尺數字藝術公共博物館:10月26日消息，據外媒報道，數字藝術家Mike Winkelmann（綽號Beeple）表示，他正在南卡羅來納州查爾斯頓建造一個5萬平方英尺的展覽空間，以展示數字藝術，包括他自己的作品。（《華爾街日報》）[2022/10/26 16:39:25]

用戶的交易不在鏈上，但運營商仍然可以看到并需要看到用戶狀態，以進行zkp證明。如果用戶在其一邊進行zkp以證明其用戶狀態的Merkle根和公共共享存儲的轉換，則運營商只需更改該Merkle根和存儲，余額的秘密仍然存在。用戶向運營商發送交易；運營商返回余額和更新后的公共共享存儲的差異；用戶對更新后的用戶狀態和公共共享存儲的Merkle根進行zkp證明；制作每個批次的運營商可通過更改批次中共享存儲的變化知道余額差異，但其無法知道其他批次的余額差異，因為運營商之間只共享最終差異。這具有混合級別的隱私。這種機制需要用到遞歸zk。4

嫣然天使基金發行數字藏品:金色財經報道，據嫣然天使基金官方公眾號，在6月1日國際兒童節來臨之際,騰訊音樂公益聯合嫣然天使基金共同推出關愛唇腭裂兒童音樂公益數字藏品“嫣然天使愛唱團《卜算子·我住長江頭》”于5月30日上線預約,6月1日正式發售，此次藏品全平臺限量發行3600份,藏品發售所得除運營成本之外的收入也將全部愛心捐贈嫣然天使基金,幫助唇腭裂患者改善生命質量。[2022/5/31 3:51:28]

更詳細的討論

4、1在鏈下與離線狀態改變者通信

這只是一種選擇。該協議可以在沒有這部分的情況下構建。即使在最壞的情況下，狀態更改器處于離線狀態，這種情況下的數據可用性風險也非常有限。離線用戶可以在其在線時獲取數據以安全退出，其可以設置代理而不是自己接收數據。并且我們可以構造退出方法，以便上次狀態更新不會因為數據可用性問題而使之前的狀態變得危險。典型的去中心化存儲結構如下所示：提交哈希證明preimage(hash(storage))=preimage(hash(storage,last-Ethereum-block-header))-last-Ethereum-block-header繼續觀察有多少節點可以完成4.2賬戶鏈上gas費用

每個帳戶都可以獲得一個比地址本身短得多的ID。每個batch只需要一個賬戶列表，這樣就可以省略重復項，這比txcalldata中使用的交易歷史要高效得多。4.3公共共享存儲的進一步優化

在以太坊L1上，你無法擦除txcalldata。我們可以修改它，因為公共共享存儲不需要在鏈上。與交易歷史數據不同，我們只需要最后的狀態數據，不需要任何之前的狀態。然后運營商可以放棄之前在網絡中共享的“最終狀態數據”。運營商可以通過zkp邏輯知道可以丟棄的數據。5

結論

分離用戶狀態使得zkRollup智能合約執行既高效又隱私，幾乎所有的txcalldata成本都從zkRollup中移除了。本文來自元宇宙之道，星球日報經授權轉載。

Tags：TXCDATATAALLCTXC幣ARTIC FoundationSignatamathwallet錢包提不了幣

中幣