比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

「op/zk」rollup/mixers/MACI的批量處理存款-ODAILY_ERK

Author:

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

引言

在一堆不同的項目中,我們需要允許用戶從EVM存入某種鏈下狀態,該狀態在鏈上表示為Merkle累加器。該Merkle樹根據有效性證明或欺詐證明+同步假設進行更新。

SNARK友好的哈希函數非常昂貴,因此有必要最小化它的成本。在optimisticrollups世界中,它并不那么昂貴,但每次存款的成本限制了它在某些場景下的應用,例如大規模遷移。

要從EVM存入Merkle樹,需要執行tree_depth哈希從而能夠包含一個葉子節點。甚至在一個區塊中有兩筆存款都需要tree_depth的哈希值。那么有必要將它們合并在一起,這樣它們只需要花費個哈希值。

這些存款為

在這里,我們提出了一種存儲批處理方法,即

在另一篇文章中,我們將這些優化應用于mixers和optimisticrollups。

之前的工作

MerkleMountainRanges專注于創建深度隨時間增長的Merkle樹。在這個使用案例中,我們需要一個恒定深度的樹,并且不能有可變數量的哈希值。在optimisticrollup中,這也不理想,因為隨著樹的深度的增長,需要更改放在鏈上的數據。

火幣發言人否認“將2億USDT和5000ETH轉入火幣的巨鯨”屬孫宇晨地址:金色財經報道,火幣發言人否認“今日上午將2億USDT和5000ETH轉入火幣的巨鯨”屬孫宇晨地址。此外,該地址被標記為TRX代幣前10位持有者之一。[2023/8/8 21:31:31]

將此用于存儲是有問題的,因為隨著數據集變大,峰值袋變得越來越稀少,因此存款速度變得越來越慢。這可能導致用戶無限期地等待他們的資金存入。

另一種方法是多重證明但在這里不能使用,因為它需要在存款人之間安排協調員。鑒于不斷變化的存款隊列,狀態很可能在協調更新得到處理之前已經改變。

方法

創建存款隊列

如果您曾經玩過2048,您可能會從合并兩個相同值的區塊中獲得樂趣。我們在這里對于Merkle樹也這么做。

我們從一個空的存款樹開始。當存款進來時,我們將其存儲在隊列中并等待。當下一筆存款進入此哈希時,將此哈希保存到我們當前深度為1、同時有2個待處理存款的存款樹。然后我們可以停止存儲與第一筆存款相關的任何數據。

當另一筆存款進來時,我們會再次存儲它。然后對于下一個存款,我們用指定值對其進行哈希,然后用存款樹對結果進行哈希。創建我們的深度為2、有4個待處理存款的存款樹。

我們已經有效地合并了存款。

將存款樹插入余額樹中

此時,我們有一個深度為2的存款樹,其中有4個待處理的存款。我們還有一個余額樹,它包含一些先前存入的賬戶,其他地方都是零。我們不想覆蓋樹中的帳戶。因為這會毀掉這些用戶的賬戶。我們只需要將它們替換0。

FTX索賠門戶網站現已重新上線:7月13日消息,FTX索賠門戶網站已重新上線,為FTX、FTX US、Blockfolio、FTX EU、FTX Japan和Liquid用戶提供訪問賬戶信息、查詢歷史交易、提交電子索賠證明等功能。據悉,客戶提出索賠的截止日期已定為2023年9月29日下午4點(美國東部時間),索賠必須在截止日期之前提交。[2023/7/13 10:52:10]

為了將新葉子插入余額樹,我們需要證明:

一個節點的子節點全為零。我們需要這樣做以防止覆蓋已經有過存款的賬戶。

舉個例子,假設我們有一個節點有2個子節點。我們知道,如果2個子節點都是0,那么節點==hash(0,0)。

但是如果樹真的很深,在EVM/SNARK中計算這個哈希可能效率不高。因此,不如預先計算這個列表,并將其作為一個映射存儲在智能合約中進行部署。

然后每當我們想要檢查一個節點的子節點是否全為零時,我們只需查找此映射。所以有用Merkle證明該節點在樹中,然后通過檢查存儲的映射證明它的子節點全為零。新的Merkle根只更改了零節點,其他一切都相同。

我們之前已經證明了一片葉子的子節點全為零,現在我們想要改變那片葉子,同時保持樹的其余部分不變。

Cathie Wood旗下ARKK基金自去年7月以來首次出售Coinbase股票:金色財經報道,Cathie Wood的旗艦ARK Innovation ETF (ARKK) 出售了135,152股Coinbase (COIN) 股票,價值超過1200萬美元。根據CoinGape看到的交易數據,這是ARK Innovation ETF自去年7月26日以來首次出售COIN股票。自去年以來連續買入后,今年3 月,ARK Fintech Innovation ETF (ARKF)出售了 160,887股Coinbase (COIN) 股票。Ark Invest是Coinbase的第四大持有者,盡管加密貨幣市場波動、美國監管打擊以及行業破產,但自去年以來仍繼續大舉收購。

金色財經注:Ark Invest旗下的多只EFT持有COIN的股票,此次出售的只是ARKK基金。[2023/7/12 10:50:06]

使用相同的Merkle路徑,我們計算了用deposit_tree替換的沒有葉子的根。

然后我們將這個新的Merkle根存儲為包含所有存放葉子的新余額樹,使用我們用來證明葉子在樹中的相同Merkle路徑確保了所有其他葉子不會改變,并且只允許我們更新零節點的子節點。

同步的注意事項

前橋水基金高管:美國地區性銀行或面臨數萬億美元的擠兌風險:金色財經報道,前橋水基金高管、投資公司Unlimited首席執行官Bob Elliot在社交媒體發文稱,美聯儲和聯邦存款保險公司 (FDIC) 關于硅谷銀行未來的決定可能會影響美國地區性銀行并導致這些銀行面臨數萬億美元的擠兌風險。Bob Elliot披露數據顯示,美國近三分之一的存款都存放在小銀行,其中50%的存款都沒有保險,而信用社沒有保險的存款比例甚至更高,根據美聯儲的數據,截至2023年2月,美國小型銀行擁有6.8萬億美元的資產和6800億美元股權,硅谷銀行倒閉將帶來“數千家小銀行擠兌的風險”。(Cointelegraph)[2023/3/12 12:58:10]

像zksnarks/optimisticrollup這樣的一些系統需要證明時間才能執行存款。如果在這種情況下存款樹發生變化,則證明可能無效。因此,最好有一種方法可以在某個存款樹被存入時暫停更新。

概括

這里我們提出了一種合并存款的方法。我們在EVM中查詢存款,當它們被存入更大的Merkle樹時,它們會將它們合并。

在后續文章中,我們將把它應用到mixer存款和optimisticrollup存款/大規模遷移。

討論:

weijiekoh

假設隊列長度是8而不是4。

令storage為存儲一個值所需的gas量。

MakerDAO社區拒絕向Cogent銀行提供1億美元貸款的提案:金色財經報道,根據MakerDAO協議的治理網站顯示,MakerDAO社區拒絕了美國Cogent向其借款1億美元的提案,大約73%的投票者拒絕了該計劃。Cogent Bank是一家總部位于佛羅里達州的州立特許銀行,總資產超過10億美元,該公司提議從Maker借入高達1億美元的DAI穩定幣,并將利用這筆資金向其企業和工業客戶提供貸款。

MakerDAO是一個去中心化自治組織,通過提案和投票來管理借貸平臺Maker。Maker發行價值50億美元的穩定幣DAI,通過借款人的抵押數字資產支持其價值,還通過現實世界資產(RWA),例如銀行等傳統金融機構的負債來支持其價值。[2023/2/28 12:32:57]

令hash為哈希兩個值所需的gas量。

這是否意味著存儲在2^n位置用戶由于其在隊列中的位置而處于劣勢。

barryWhiteHat

與現狀相比,對每個人來說都更便宜?

weijiekoh

它確實對每個人來說都更便宜,在我看來,當考慮到每次哈希的成本時,這種權衡是一個偏好問題。如果哈希函數是便宜的(例如kecack),那么成本差異可以忽略不計,但如果哈希函數是昂貴的(例如Poseidon)那么

的使用者的gas花費加起來也比較昂貴。

vbuterin

因此KateCommitment值得探索。使用KateCommitment,只需一個組元素就可以輕松證明來自單個狀態的任意數量的位置。這可以與隊列方法結合使用,以確保有大量存款可以批量處理。Kate方法的另一個好處是很容易將其插入基于橢圓曲線的SNARK/PLONK證明中。

weijiekoh

請問你對使用KateCommitment有什么想法?是把所有的存款根積累到KateCommitment而不是余額樹的嗎?

vbuterin

將KateCommitment使用于存款和余額。

weijiekoh

盡管用我們擁有的最好的開發工具(帶circom的BN254)來驗證在snark中的KateCommitment仍然是不可行的。但我的意見是,我們必須等到更先進的snarks變得可行。

vbuterin

我沒想過讓snark從字面上驗證橢圓曲線配對計算。我正在考慮使用類似PLONK的多項式證明,其中KateCommitment和opening作為兩個參數傳入,您只需直接對它們進行多項式檢查。所以沒有“一個系統驗證另一個系統”的開銷。

weijiekoh

請問這是你心目中的snark嗎?

在這種情況下,像commit()函數需要一個SRS并且還需要對EC取冪來計算Kate承諾。我可能是錯的,但由于在現有的alt_bn128的SRSes上執行EC操作的成本很高,我們是否需要在BabyJub曲線上進行新的'PowersofTauCeremony',以便我們可以擁有對snark友好的KateCommitment?

MichaelConnor

可以批量處理成KateCommitment的項目數量是否有實際上限?限制是SRS的大小?如果是這樣,Merkle樹不是提供更大的匿名集嗎?

vbuterin

我的意思是直接對KateCommitment進行多重證明。所以你會有一個承諾P,你只需做一個標準的muti-opening來證明對于一組(x,y)有P(xi)=yi成立。

可以更進一步:為了避免每對都進行一次EC乘法,(x,y)對本身可以用多項式承諾進行編碼,muti-opening將變成一個等價證明:,然后這些多項式承諾將同時成為PLONK證明的一部分。

weijiekoh

也許我應該從不同的角度去看問題。我主要關心用戶的gas成本,其次才是協調器。這畢竟是批量存款技術要解決的問題。

在MACI中,我們需要證明ZK中余額樹中每個葉子的事情。即在余額樹中,每個葉子可能會或可能不會根據其解密內容修改狀態樹。由于我們要確保協調器以正確的順序處理每條消息,我們的Groth16snark必須證明每個葉子的成員資格和消息樹中的位置。

這已經花費了幾十萬gas。如果我們執行Kate多重證明,將至少添加另外193kgas。

如果/當我們轉向PLONK,我們是否可以避免這種額外成本?

在短期內,如果沒有PLONK,在BabyJub中使用Kate承諾可能會有好處,因此我們可以在Groth16snark中驗證Kate承諾或Kateverkle樹。

每個存入隊列的用戶只需支付存儲32個字節的費用。

一旦存款隊列已滿,協調員就會累積成一個凱特承諾,這應該很便宜。例如,Kate提交16個值需要223454個gas,這比波塞冬二叉Merkle樹有很大的改進,后者需要797835個gas來提交16個值。這樣,用戶和協調者都可以節省gas。

為了構建最終的余額樹,協調器還將使用Kate承諾,從而生成Verkle樹。由于我們可以以更低的gas成本承諾更多的價值,我們可以擁有更大的樹容量。

當我們處理余額樹時,我們會檢查snark中每條消息的成員資格和位置,然后照常進行。

也許我們可以使用Verkle樹(Merkle樹使用Kate承諾作為哈希函數而不是Poseidon/MiMC)。

Pratyush

KZG10Commitments需要配對;BabyJubJub不是一個友好的配對曲線

weijiekoh

使用這種技術可以節省更多的gas。子樹的哈希函數可以是SHA256,這在EVM中比較便宜。樹的其余部分(從子樹深入到根)可以用Poseidon進行哈希。

這樣做的代價是,任何snark都會增加每個子樹級別大約90k約束。從這個角度來看,TornadoCash的抽屜式電路有28271個約束條件。因此,這種方法只對MACI這樣的用例有意義,在這種情況下,驗證者可能不介意(粗略地)將他們的驗證時間增加一倍甚至三倍。

Tags:ARKKATERKMERark幣價格METAKATTERK價格Streamer Inu

中幣下載
“一夜暴富”夢破碎 謹防虛擬貨幣投資騙局-ODAILY_cardano

近年來,區塊鏈技術受到了人們的狂熱追捧,虛擬貨幣成為不少人投資的對象。在這波“炒幣”熱潮中,一些虛擬貨幣交易“黑平臺”應運而生,“殺豬盤”、“割韭菜騙局”等套路屢見不鮮.

1900/1/1 0:00:00
公鏈的爆發Solana:新一代以太坊「殺手」-ODAILY_SOLA

Solana取名來自創始人經常去的沙灘“SolanaBeach”,高通出來的大牛搞的項目。目前已經成長成僅次于以太坊、BSC的第三大公鏈.

1900/1/1 0:00:00
始于功能,終于社交網絡-ODAILY_STA

有一種流行的獨創網絡的策略,我喜歡稱之為"始于功能,終于社交網絡"。最開始,用一個單人工具吸引用戶,然后隨著時間的推移,讓他們參與到網絡社交中.

1900/1/1 0:00:00
Messari 2022年加密行業深度研報(八):ETH、 L1和L2 、跨鏈橋-ODAILY_POL

第八章ETH,L1&L2,跨鏈橋 1.ETH三季度報告 我個人非常喜歡Bankless出的以太坊第三季度更新報告,這真的太酷了.

1900/1/1 0:00:00
AAX 學院帶你了解什么是穩定幣戰爭?-ODAILY_AAB

穩定幣一直被加密貨幣交易者視為是買賣不穩定頭寸非常熱門的方法,如今,即使是傳統的金融體係也開始將穩定幣作為一種更有效的資金轉移手段。市場由Tether發行的USDT主導,在市值方面仍遙遙領先.

1900/1/1 0:00:00
如果你不是每天都被拒絕,那你的目標可能還不夠宏大-ODAILY_GER

我最有用的職業經歷大約是八年前,當時我正試圖打入由風投支持的初創公司的世界。我申請了數以百計的工作:低級別的風險投資角色、初創公司的工作,甚至是大的科技公司。但是我被每一家公司拒絕.

1900/1/1 0:00:00
ads