ARK:關于Rollup 你應該知道的基礎知識_roll幣可以roll坐騎嗎

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

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

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

Aave社區關于將Aave V3部署至zkSync 2.0測試網的提案投票已獲通過:11月3日消息，Aave社區關于將AaveV3部署至zkSync 2.0測試網的提案以99.98%的投票支持率獲得通過，Aave V3將部署至zkSync 2.0測試網上。該提案由zkSync開發公司Matter Labs提出，旨在支持Aave的多鏈使命并擴展跨鏈體驗。[2022/11/3 12:11:39]

交易執?在主?之外；

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

零知識證明 zk-rollup;

優化 optimistic-rollup(筆者?譯)

這?僅為簡單介紹，詳細部分會另開?章介紹。簡單來說，零知識證明就是在不暴露秘密的情況下，說服對?我有這么?個秘密。例如對于 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 的??書中。

FATF發布關于極端右翼組織涉及加密貨幣融資的報告:6月30日消息，全球反洗錢監督機構金融行動特別工作組（FATF）發布了一份關于極端右翼團體融資方式的報告，其中有一節涉及加密貨幣。

FATF題為 \"以種族或族裔為動機的恐怖主義融資 \"的報告指出，像比特幣這樣的虛擬資產已經被極端分子使用，該報告還強調，一些極右翼團體已轉向所謂的“隱私幣”，允許用戶在進行區塊鏈交易時保持完全匿名。（CoinDesk）[2021/7/1 0:18:31]

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

關于XMR錢包升級完成開放充提的公告:歐易OKEx官方公告，已完成XMR錢包升級，將于2021年4月19日17:00 (HKT) 開放XMR的充提。[2021/4/19 20:36:24]

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

單筆交易費降低。

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

分析師The Moon稱YouTube刪除其關于比特幣價格的視頻:加密分析師The Moon發推向網友尋求幫助，“我現在收到YouTube的警告。他們刪除的視頻是關于比特幣價格的視頻，但視頻內容完全不存在爭議。拜托YouTube團隊了，這是你們第五次犯這樣的錯誤，請刪除針對我的警告。”[2021/1/27 13:38:41]

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

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

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

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

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

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

MakerDAO關于錨定穩定幣模塊PSM的提案未獲通過:Maker基金會風險小組曾于7月20日發起一項治理投票，主要內容是關于是否實施關于DAI的錨定穩定模塊（PSM，PegStabilizationModule），主要是為解決穩定幣作為抵押品面臨的清算風險等相關問題，目前該投票已經結束，贊成票：19755.05MKR（49.96％），反對票19784.11MKR（50.04％），最終結果是未獲通過。根據此前的設定，如果該投票結果以“贊成”票居多，則將在2020年7月27日進行進一步投票，以確定PSM實施的具體參數；如果是“反對”票居多，那么PSM的實施則可能需要：a）按照MIPs流程和月度治理周期進行；b）作為風險小組建議的應急措施進行。[2020/7/24]

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

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

特點

另?份對?表格?下圖：

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

Tags：ROLLROLARKAVEroll幣可以roll坐騎嗎BankRollARKN幣Decentralized Eternal Virtual Traveller

NEAR