關于Rollup 你應該知道的基礎知識_ROL

Layer 2 是解決?案的統稱, 旨在通過在以太坊主?(第 1 層) 上處理交易來幫助擴展應?程序, 同時利?強?的主?分散式安全模型。當前以太坊交易速度慢，電費上漲使??量增?時出現??體驗差的問題。第 2 層協議就是為了解決這個問題誕?。

Layer 2 是解決?案的統稱, 旨在通過在以太坊主?(第 1 層) 上處理交易來幫助擴展應?程序, 同時利? 強?的主?分散式安全模型。當?絡繁忙時, 交易處理速度會受到影響, 這會使某些類型的 dapps 的??體驗變差。隨著?絡的?益繁忙, 電費也隨著交易發送?的競標?上漲。這可能會使使?以太坊變得?常昂貴。

rollup 中?直譯為打包，以前的?法為編程語?模塊打包器，相當于 python 中的 module。現在?于第 2 層協議中的?種解決?案。總的來說，它們把主鏈下的很多交易打包，?成?份聲明或者證明，證明此包內的所有交易合法（即交易前 Merkle 樹的根和前?包內的交易后根對應的上，且交易內容合 規），然后只將其中?部分內容發布到主鏈，從?增加速度，減少電費和交易費消耗。

加拿大監管部門關于是否放棄調查Binance的聽證會將于6月2日舉行:金色財經報道，根據提交給法庭的一份文件，加拿大安大略省證券委員會上個月向Binance發出調查令，看它是否試圖規避證券法監管。?Binance幾天后宣布，由于與穩定幣和投資者限制有關的新指南，它將離開加拿大。Binance隨后要求證監會撤銷調查，聲稱其范圍極其廣泛且在沒有任何實際事實依據的情況下發布。?在5月18日的文件中，Binance 補充說，調查令沒有合法目的，并且該交易所已經退出安大略省和加拿大。?

根據法庭的文件，關于是否放棄調查的聽證會將于6月2日舉行。[2023/6/2 11:53:55]

交易執?在主?之外；

但交易數據或交易證明存儲于主?, 以便于驗證.

零知識證明 zk-rollup;

solana網絡發布關于6月2日網絡中斷的問題報告:金色財經報道，Solana 官方發布主網 Beta 中斷報告，稱一個由持久 nonce 交易特性觸發的運行錯誤，在特定的環境下，允許一個失敗的持久 nonce 交易被處理了兩次，這導致當驗證節點第二次處理交易時，一些節點拒絕了后續的區塊，而其他節點接受了它。關鍵的是，超過 33% 的驗證者接受了這個區塊，但這個數字沒有達到調和不確定性所需的 66 %。

目前在 v1.9.28/v1.10.23 版本中已禁用了持久隨機數交易功能，以防止網絡在再次出現相同情況時停止，且在實施緩解措施并在即將發布的版本中重新激活該功能之前，將不會處理持久隨機數交易。

此前報道，Solana 主網 Beta 于 6 月 2 日凌晨暫停出塊，中斷超 4 小時。[2022/6/5 4:03:39]

優化 optimistic-rollup(筆者?譯)

關于“銷毀8867.5萬枚LUNA以鑄造至少30億UST”的提案獲得通過:11月10日消息，Terra聯合創始人Do Kwon此前發起的關于“銷毀8867.5萬枚LUNA以鑄造至少30億UST”的提案投票現已獲得通過，其中，已經銷毀52萬枚LUNA，并鑄造了1650萬UST，之后將按預定時間表進行銷毀鑄造，會在未來兩周內將8867.5萬枚LUNA銷毀完畢。銷毀產生的UST將進入社區池，一旦Terra生態保險協議Ozone上線，社區將通過單獨的提案決定部署多少資金至Ozone，在提案44中提出的計劃是使用10億美元。Do Kwon表示，此次交易會產生大量的交易費收入，可以為Luna提升10%的質押收益。[2021/11/10 6:43:49]

這?僅為簡單介紹，詳細部分會另開?章介紹。簡單來說，零知識證明就是在不暴露秘密的情況下，說服對?我有這么?個秘密。例如對于 A,B 兩?，A 知道秘密 a, b (和 a+b=7)，B 知道線性映射 f(x)，B 發給 A 映射 f, A 計算 f(a) 和 f(b) 并發給 B，B 計算 f(a)+f(b)=f(a+b)。如果 f(a+b)=f(7)，那么 B 可以確 信 A 知道 a+b=7。從歷史來講，零知識這?概念最早出現于 1985 年，Shafi Goldwasser, Silvio Micali, and Charles Rackoff「The Knowledge Complexity of Interactive Proof-Systems」。?零知識證明?于 Rollup 最早出現于 2018 年 Barry 的??書中。

SushiSwap否認關于存在10億美元合約漏洞的報道:9月23日消息，自稱是白帽黑客的人聲稱發現了Sushiswap一個可能使價值超過10億美元的用戶資金受到威脅的漏洞。黑客表示“SushiSwap的兩個合約MasterChefV2和MiniChefV2中的緊急提款功能存在漏洞”--這些合約管理著交易所的2倍獎勵農場以及SushiSwap的非以太坊部署的資金池，如Polygon、Binance Smart Chain和Avalanche。黑客稱，雖然emergencyWithdraw功能允許流動性提供者在發生緊急情況時立即贖回他們的LP代幣，同時放棄獎勵，但如果SushiSwap池內沒有獎勵，該功能將失敗，從而迫使流動性提供者在大約10小時的過程中等待池子被手動重新填充，然后才可以提取他們的代幣。

對此，SushiSwap的匿名開發者Gupta已在Twitter上否認了這種說法，他強調，所描述的威脅“不是一個漏洞”，“沒有資金處于風險之中”。Gupta澄清說，“任何人”都可以在緊急情況下給獎賞池充值，從而繞過黑客聲稱的補充獎賞池所需的10小時多重簽名過程的大部分。“黑客聲稱有人可以投入大量的LP來更快地耗盡獎勵器是不正確的。如果你增加更多的LP，每LP的獎勵會下降。”（Cointelegraph）[2021/9/23 17:01:26]

這?零知識證明主要是?于以太坊區塊鏈上發布并公開記錄該區塊的有效性。在 Layer2 上被打包的交易將會以?個證明的形式發布于主鏈，這使得每個?都有驗證它的辦法。主要?的是防?有?惡意 利?Layer2 上的交易來篡改信息。值得注意的是，零知識證明并不是隱私保證，也不是加密系統。因為除了擁有該秘密的?以外，沒有?可以解密。從誕??今，零知識證明或者說 ZK-Rollup 經歷了三個發展階段：SNARK, STARK, 和 Bulletproofs. ?前來說 Zcash, ZK Sync(Matter Labs), DarkForest(Game) 等在使?SNARK，Monero 使? Bulletproofs. 從下圖中可以對?這三種?法的區別。具體例?將在后?介紹。

DFINITY互聯網計算機關于提升容器內存的提案獲得通過:9月4日消息，DFINITY互聯網計算機社區關于提升智能合約容器（Canister）內存的提案現已獲得批準，該提案為提高可擴展性，建議為容器設計一個新的系統API，并將容器內存從4 GB 增加到300 GB。根據提案，若獲得通過，后續的提案將遵循所提出的設計思路，并且會有代碼更新。

DFINITY中的計算單位被稱為容器，包含程序和狀態，容器由位于數據中心的節點負責運行，被分配在不同的子網上，以此來實現互聯網計算機的擴容。[2021/9/4 23:00:03]

由于 Plasma 和側鏈的擴容性問題，Rollup 本?被視為新興解決?案，?ZK-Rollup?是其中可擴容性最強的，也是處理交易速度最快的，相對于 Plasma 和 OP-Rollup??。它的數據只有很少?部分存儲于主鏈上。

單筆交易費降低。

?般說來，它的驗證速度快，證明?成速度很慢。但是由于它的?成依賴于智能合約，所以相當于 把所有?的?作分給了?個?做，剩下的?的?作就是簡單的驗證，這?單指 SNARK。

不需要欺詐游戲，從?使交易快速被驗證?塊 (約?分鐘)。

零知識證明的計算困難要求數據優化以獲取最?吞吐量。

ZK-Rollup 需要?成?個初始串，這會使系統中?化?些。

量?計算可以破解，這?指 SNARK。STARK 可以抵御量?攻擊。

它需要的安全性假設更?。

優化 Rollup 出現于 2019 年 7?，由 John Adler 在以太坊基?會研究論壇上提出想法。?前使? Optimistic-Rollup 的有 Optimism, Fuel Labs, Arbitrum 想法較為簡單，這?OP-Rollup?共有兩種鏈下??，聚合者 (Aggregator) 和驗證者 (Validator)。在 Layer2 發?的交易被聚合者打包，并?成?個 Merkle 樹的頭，和智能合約。在聚合者質押?筆資? 后，聚合者可以將打包的交易上傳?主鏈。驗證者審查該打包，可以提出質疑，并給出欺詐證明 (fraud proof)。

欺詐證明：驗證者可以審查資?狀態和總和，對?于??的本地狀態，若發現有?正常更新，則驗證 者可以提出質疑并更改從該區塊到之后的所有區塊 (區塊在從 rollup 上傳?主鏈后會有 1-2 周的質疑時 間，若此時間內??質疑則該區塊完結)。提出質疑的驗證者可以得到聚合者質押的資?。

OP-Rollup 使?博弈論和驗證游戲來確保數據驗證，它們的運作假設是每個?都遵守道德規范，但如 果有惡意?發布交易，則區塊回退，因此命名為 Optimistic Rollups。

特點

另?份對?表格?下圖：

總結??，Rollup 想法并不難掌握，該想法側重于打包鏈下交易并設法放?主鏈。打包的交易發?并執?于鏈下，從?加快交易速度。鏈上存儲的數據減少?只需要 Merkle 樹的頭或者?個證明，從?節省費?。對???，筆者更看好 ZK-Rollup 在?期的前景，OP-Rollup 原本最?的優勢在于其應?性及?戶體驗良好。這兩點優勢在 ZK-Rollup 已經應?EVM 及?前?速發展中已經逐漸消失。?ZK-Rollup 的安全性 更強，理論交易速度更快，存儲數據更少從?更加節省費?。只有?點?前存疑，就是 ZK-Rollup 的計算性過?，可能還是會導致費?上的劣勢。另?點疑問將在下篇?章中給出，當然也可能是筆者對于 SNARK 應?于實踐的過程了解不甚所導致。

Tags：ROLLROLNCEARKroll幣可以roll坐騎嗎Roller InuREALNANCEStonk Market

AAVE