ROL:關于Rollup 你應該知道的基礎知識_ARK

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

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

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

美國參議員Scott和Warren將于3月22日稍晚發布關于監督美聯儲的立法建議:金色財經報道，美國共和黨參議員Rick Scott和民主黨參議員Elizabeth Warren公布立法，在美聯儲設立獨立的監察長。(金十)[2023/3/22 13:20:04]

交易執?在主?之外；

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

零知識證明 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 的??書中。

動態 | BCH開發者提出關于雙重支付證明和高規格隱私保護提案:據bitcoin.com報道，BCH開發者Tom Zander提出關于雙重支付證明新提案，Electron Cash開發者Jonald Fyookball提出關于Cashshuffle擴展規范，其將增加代幣高級別隱私性。[2019/8/1]

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

gate關于BOT快照問題的處理說明:gate發布公告稱，按照官方要求gate將按照 2018年6月1日0：00的用戶余額快照為所有BOT用戶空投BOE， 為了給用戶提供穩定公平的交易環境，預計到快照時間之后會出現劇烈砸盤，引起劇烈市場波動，因此預告會在快照之前關閉市場交易，重新公告開啟交易時間。但是因為BOT交易市場延遲了5分鐘關閉，造成部分用戶搶先拋售和部分用戶提前接盤。為了對每一個投資用戶公平起見，gate回滾了BOT交易市場 2018年5月31日23:59:59 之后的5分鐘數據。如果用戶在此次回滾前因為買賣獲得盈利，回滾后盈利消失，那么gate.io將補給用戶盈利消失部分。[2018/6/1]

懷俄明州等候州長批準關于“功能性資產”加密資產免受證券法限制的法案:懷俄明州立法機關通過了一項法案，規定某些類型的加密資產免受證券法的限制，現在該法規將由州長Matt Mead進行最終批準。公眾記錄顯示，該法案以27-3的投票結果通過，沒有參議員棄權。據悉，豁免的資產被稱為“功能性資產”，指那些“尚未由被開發者帶入市場或作為投資出售”以及“可交換獲得商品和服務”的資產。[2018/3/7]

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

單筆交易費降低。

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

以太坊創始人Vitalik Buterin聲明將不再發表關于比特幣的言論:14日中午，以太坊創始人Vitalik Buterin發布推特稱，將徹底停止評論比特幣問題并把重點轉向以太坊技術。[2017/11/14]

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

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

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：ROLROLL以太坊ARKQrolliroll幣能出坐騎嗎以太坊幣最新價格美元行情DarkPayCoin

幣贏