zkRollup 相關討論兩則_NAR

第一則：

鏈接：https://twitter.com/SomsenRuben/status/1349437071686062083

@StopAndDecrypt：

有沒有比特幣愛好者來解釋下zkrollup？

我不指望以太坊的開發者會誠實地講清楚其中的權衡，也不指望以太坊的粉絲真的明白它是怎么工作的。

@SomsenRuben：

用比特幣的術語來說，就是一個大區塊方案——每個人都要下載額外的數據。在交易進入區塊之前，一個中間人先使用一個SNARK證據來聚合/壓縮所有的見證數據，并發布新狀態的UTXO集合承諾。

每個人都驗證這個SNARK，證明區塊的有效性和UTXO集合承諾的正確性。沒人必須生成UTXO集合，因為SNARK已經證明過了，只要你想，你就能生成出來。如果那個中間人失蹤了，你只需使用UTXO集合承諾證明自己的狀態即可動用資金。

簡而言之，好處是你可以節約見證數據和計算量。zkrollup只是應用了我們一直知道的SNARK能做的事，可能差別只在于它用在了單獨的一個UTXO集合上。

亦見我寫的SNARK文章：SNARK與區塊鏈的未來。

第二則：

鏈接：https://twitter.com/SomsenRuben/status/1420299197979504642

@AdrianoFeria：

側鏈不能提供與L1同樣的安全性。Statechain不是完全免信任的。我還沒研究Chaumianbanks。

@bergealex4：

當然不能，它從來也沒說自己能。

你沒法跨層復制L1的安全性。

@AdrianoFeria：

“你沒法跨層復制L1的安全性。”

這就是ZK-Rollup能做到的事。

zkRouter測試網上線首個DApp，支持以太坊和Fantom間資產橋接:5月10日消息，Multichain 推出的跨鏈基礎設施 zkRouter 宣布首個構建在其測試網上的 DApp 上線，即跨鏈橋，支持從以太坊 Goerli 測試網到 Fantom 的橋接。zkRouter 稱，目前開發仍處于早期階段，用戶提供的有價值反饋會得到獎勵。[2023/5/10 14:54:31]

@bergealex4：

好吧，即使我們接受這個前提，光憑這一點也不能讓ETH優于BTC。

@AdrianoFeria：

就憑這一點，以太坊就有了一種擴容機制，可以保留L1的安全性，同時無需付出開啟/關閉通道的開銷，也不必承擔閃電網絡內在的數據可得性風險。

我們沒法靠推特來討論哪個系統在整體上更優。

無論如何，zk-rollup是一個大進步，并且提供了比支付通道更大的好處。

@SomsenRuben：

ZK-rollup和支付通道是不同維度的。zk-rollup就像擴大的區塊——非見證數據放到鏈上，并由每一個人驗證。我可以理解為什么你們管它叫“L2”，但從技術上來說，它其實不是。它只是做了非交互的見證數據聚合。看我的文章《SNARK與區塊鏈的未來》。

@AdrianoFeria：

它是個L2，因為SNARK的計算是委托給另一個網絡的。L1只用來存儲證明，結果是它提高了L1的吞吐量大約100倍。據我了解，它就相當于無損壓縮。

@SomsenRuben：

“L2”只是個標簽。關鍵是我們同意這個過程里面SNARK做了什么——非交互的見證數據聚合，這個也可以用在主鏈上，或者用在鏈中鏈上。

在比特幣網絡中，見證數據只占區塊的50%，所以你最多只能獲得2倍的效率提升，而且這是假設了完美的SNARK技術；這個擴容效果很一般。即使運用了它，支付通道仍顯然是有好處的。

@AdrianoFeria：

Aztec宣布將推出混合型zkRollup網絡，計劃2024年初之前上線公共測試網:5月4日消息，Aztec宣布將推出一個混合型zkRollup網絡，該網絡將繼續沿用Aztec的名字，其特點為可以在一種環境內執行公共和隱私的智能合約，這將有助于擴展開發者在該鏈上的設計選擇。

Aztec還表示，團隊目前正在完成基本合約部署，預計將在2023年第三季度之前建立本地測試網，而用戶和網絡利益相關者有望在2024年初之前訪問成熟的公共測試網。[2023/5/4 14:43:12]

在rollup基礎上再運行支付通道就不可能嗎？

@SomsenRuben：

當然可以，這就是為什么我說他們不是同一個維度的。

@AdrianoFeria：

是不是可以斷言，它提高了L1的吞吐量，代價是增加了額外的計算量？而且，即使證據的提供者崩潰了，資金也仍然可以取回。

@SomsenRuben：

我那篇文章提出的NIWA概念解釋了這種直覺。任何人都可以收集所有的見證數據并壓縮/聚合成一個SNARK證據。只需某人付出多一點，結果有益所有人。

資金總是可以取回的，證據的提供者也總是可以替換的。

@AdrianoFeria：

我理解這些，但理想情況下，SNARK的計算應該作為一項服務，由一個去中心化的網絡來提供。這就是以太坊生態里面正在發生的事，而且我看不出為什么類似的東西對比特幣來說就不可取。

@SomsenRuben：

它總有可取之處，但你過高地估計了它的好處，也低估了它的代價。

我確實相信有一天SNARK會成熟，會變得很有意義，但現在還沒到時候。

@AdrianoFeria：

普遍共識是，zkrollup在以太坊上的擴容效果是100倍。

為什么它對比特幣就沒有這樣的效果呢？

@SomsenRuben：

Multichain跨鏈基礎設施zkRouter計劃于2月上旬發布測試網:1月24日消息，跨鏈互操作協議 Multichain 宣布，其推出的基于零知識證明的跨鏈基礎設施 zkRouter 計劃于 2 月上旬發布測試網，將允許以太坊與 Fantom 之間的跨鏈。

據悉，zkRouter 可用于支持跨鏈橋、可信鏈上預言機、智能合約互操作性、跨鏈交易、多鏈代幣及 NFT 等。[2023/1/24 11:28:49]

我能想到的兩個原因：

相比比特幣，以太坊中的witness數據大得多，驗證起來也更昂貴——所以SNARK能更好地緩解以太坊的低效率。

地址重用進一步減少了非見證數據——對比特幣來說，這種隱私上的犧牲也是不太可能被接受的。

我的主張是很容易推理的：

SNARK只能減少見證數據

比特幣的見證數據大約占區塊的50%

只要你理解這些，你就不需要“相信我是個專家”，但100倍的說法，實在是很難推理出來。

@AdrianoFeria：

我沒有在任何地方看到有人挑戰這個100倍的說法。我假設zkrollup的技術設計可能稍微不同于你用比特幣來舉的例子，以及/或者跟UTXO或比特幣腳本的限制有關。

@SomsenRuben：

我不會那么快就開始假設。“別信任，自己驗證”。

總的來說，我也建議你不要為某種主張辯護，除非你有非常強的信心。謙虛一些，http://www.paulgraham.com/identity.html

@AdrianoFeria：

所以我也歡迎對這個說法的技術上的挑戰呀。基于一個事實：它已經被許多著名的開發者引用，也廣為流傳，也沒有被挑戰，偏向這個陳述是合理的。Rollup已經快集成好了，證據就在眼前。

你需要務實地遵守這個“別信任，自己驗證”的信條。相信某些東西，而不是自己驗證每一件事，是有理由的。比如：

Reddio上線StarkEx提供支持的zkRollups API主網:9月29日消息，區塊鏈基礎設施服務商Reddio宣布，上線由StarkWare擴容引擎StarkEx提供支持的zkRollup API主網。Reddio表示，開發人員可以使用Reddio在zkRollup上構建應用內和游戲內NFT市場、擴展應用和游戲資產交易、使用Javascript SDK和Unity SDK以0 Gas費鑄造NFT等，具有低Gas費用和即時確認等特點。[2022/9/29 6:01:45]

相信SHA-256運作良好

相信公鑰密碼學

為客戶端創建二進制未見得編譯器是有效的

@SomsenRuben：

我只不過給了一種你可以驗證的，比特幣無法靠SNARK實現兩倍以上擴容，的證明。

從這個角度看，說以太坊可以實現100倍擴容的主張至少可以開始懷疑。

如果這還不叫“驗證”，那我也不知道什么是。

@AdrianoFeria：

我一直沒法完全消化這一點，但這篇文章看起來與你用比特幣來描述的情形完全不同。你有什么評論嗎？https://medium.com/interdax/ethereum-l2-optimistic-and-zk-rollups-dffa58870c93

@SomsenRuben：

文章里列舉了許多擴容方案，但就我所知，除了zk-rollup，其它方案都已經被以太坊社區拋棄了。

但相比之下，我更了解比特幣。如果你對我的文章有什么疑問，我很樂于幫你解答。這也會間接幫你了解以太坊。

@AdrianoFeria：

Vitalik剛剛發布了這篇文章，我還沒來得及看，但它似乎講解了許多技術設計上的細節，以及各種類型的交易能壓縮多少數據的細節。《Rollup不完全指南》

@SomsenRuben：

好文章。所以我的兩個理由都是對的，但現在我更理解這個100倍是怎么來的了。在以太坊中，空間和計算量都要消耗gas，但前者的gas成本更低。因為SNARK將計算量降到了接近0，所以所有的gas都可以用來發布數據。缺點是什么？區塊變得更大。

Celer與StarkWare合作開發Layer2.finance的ZKRollup版本:據官方博客文章消息，以太坊二層擴容項目Celer Network宣布與零知識證明研究機構StarkWare達成合作，雙方將為擴容方案Layer2.finance開發基于零知識證明的ZKRollup版本。Layer2.finance的v0.1版本最近在以太坊主網啟動，借助了Celer基于Optimistic Rollup的解決方案。[2021/4/28 21:05:02]

@AdrianoFeria：

區塊是變得更大了，但這是我知道的對存儲空間最有效率的用法。

另外，這篇文章也證明了，一筆普通的交易可因此節約10倍空間。所以，這說明rollup比你用比特幣來描述的情形有5倍的效率優勢。這可不小了。

@SomsenRuben：

你忘了第二個代價，地址重用，這是個很嚴重的隱私降級。你也可以為比特幣引入這樣的反向升級來節約區塊空間，以前也有人提議過，但大家以很好的理由拒絕了。

@AdrianoFeria：

我看不出地址重用怎么就是專屬于rollup的問題，而且這個問題也可以通過專門設計的提高隱私性的智能合約來緩解。而且，錢包就不能每次收銀都使用一個新地址、模擬UTXO的隱私性嗎？

@SomsenRuben：

關鍵在于地址重用就是他們縮小交易體積的辦法呀。如果你為每一筆交易都使用一個新地址，那zk-rollup的交易體積會大得多。

。這不是有點兒戲嗎？相反，Somsen對SNARK擴容效果的論證更接近于技術本來的面目，它就是節約見證數據而已。

另外，zk-rollup也確實有地址重用的問題。Adriano所謂的模擬UTXO，每次都使用一個新地址的辦法，不是不行，但在以太坊的世界里不是一個良好實踐，因為所有的歷史地址都會留在狀態中，變成節點的負擔，這就是所謂的狀態爆炸問題。

下面，是Somsen的文章）

SNARK與區塊鏈的未來

作者：RubenSomsen

來源：https://medium.com/@RubenSomsen/snarks-and-the-future-of-blockchains-55b82012452b

SNARK常被認為是“解決”擴容問題的靈丹妙藥。雖然SNARK可以提供難以想象的好處，但我們也要知道——SNARK無法解決區塊鏈當前面臨的帶寬約束問題。

本文希望能通過簡要地介紹SNRAK能為區塊鏈做什么和不能做什么，來揭開SNARK的神秘面紗。我們會先談談，為什么它與區塊鏈有關的功能可以被簡潔地歸納為“非交互式見證數據壓縮”。只要你知道比特幣是怎么運行的，你就能理解這篇文章。

應當指出的是，SNARK在很大程度上仍然處于活躍的研究階段。許多SNARK的變種，要么效率不足以至于無法證明復雜的語句，要么證明的體積非常大，大到不切實際，要么需要一個受信任的啟動設置。也就是說，雖然這幾年我們看到了許多進展，預計未來數十年我們還將看到更多。本文的寫作對這些進展有預期，即使它們今天看來可能不實用。

什么是SNARK?

SNARK是一種技術，讓你可以在給定一個規則集和一個起始狀態時，高效地驗證一個結果。導致這個結果的輸入是不公開的。聽起來一頭霧水？我們拿象棋舉一個簡單的例子的好了。

象棋案例

規則：象棋規則

起始狀態：棋盤的起始局面A

結果：棋盤的新局面B

證明棋局從局面A到局面B是有效轉換的傳統方法是公開每一個步驟并檢查每一步是不是都有效。SNARK也同樣能用來檢查狀態轉換的有效性，但效果更好：

步驟不必公開

驗證在計算上更高效

但有一個問題——創建SNARK的計算成本很高。不過，在一個許多人都想驗證同一個結果的系統中，使用這種技術可能仍是值得的。只需要一個人花力氣來創建SNARK，就能提高所有人的驗證效率。

區塊鏈案例

規則：全節點軟件

起始狀態：時間點A的區塊頭和UXTO集合哈希值

結果：時間點B的區塊頭和UTXO集合

類似于我們上面提到的象棋，驗證狀態轉換有效性的常規方法是：從時間點A的UTXO集合開始，接收截至B點所有的區塊并更新UTXO集合。有了SNARK，那就不需要這些數據來證明有效性了。實際上，如果時間點A被設為創世區塊，而時間點B被設成現在，那么無需接收任何歷史數據就能驗證整條鏈。

重要的是，你需要B點的整個UTXO集合，而關于A點你只需要知道UTXO集合的哈希值。雖然這個數據不是證明有效性嚴格必需的，但我們也關心?可得性。如果你總是只能拿到UTXO集合的哈希值，那即使你知道一個有效的狀態存在，你也不能知道那個狀態究竟是什么。也就是說你沒法花費任何資金，因為你沒有數據來證明某個UTXO屬于當前的集合。如果以象棋為類比，那就是你知道了一個新局面的哈希值，但你并不知道那個局面到底是怎么樣的，所以也沒法繼續玩這個游戲。

記住，無論是誰來創建SNARK都要具備這個數據，但他們可能會選擇扣住數據，不發給你。

SNARK區塊鏈

為了保證每個人都會花費自己的錢，更新UTXO集合所需的所有數據都必須與每個區塊一起傳播。你還是要知道哪些UTXO被花費了、哪些UTXO新產生了。這就是所謂的“非見證數據”。

狀態轉換的有效性可以靠一個SNARK來驗證，因此SNARK可以取代所有的見證數據，而且幾乎不占用帶寬。輸入和輸出之間的關聯將被抹消——一個區塊看起來就像一筆很大的coinjoin交易一樣。大部分數據都是非見證數據。

所以，與大眾的想象相反，SNARK無法解決輕客戶端或者非聯盟側鏈背后的根本問題，因為你必須下載非見證數據。如果非見證數據丟失，全節點有能力拒絕一個有效的SNARK；但如果一個輕客戶端疏忽于下載非見證數據，它可能會錯誤地認為一個數據丟失的鏈是有效的。即使非見證數據的一小塊被礦工扣住了，其他人也就沒法在有效的SNARK上創建新區塊——最終它會變成一個許可型系統。

SNARK消耗見證數據

用于區塊鏈的SNARK最好的總結可能是，它可以啟用一種功能：非交互的見證聚合。

我在這里使用“見證”一詞是比較隨意的。在比特幣中，見證數據是放在交易中、用來證明具體的UTXO是否能夠合法創建出來的數據。但隨著時間推移，這個UTXO也會變成自身的見證數據，在它被花費的時候。假設1btc從Alice轉給了Bob又轉給了Carol，Bob的交易就是從Alice到Carol的轉賬的見證數據。同樣地，創世塊以來的所有支付交易，都是當前UTXO集合的見證數據s。

同樣要指出的是，一個SNARK自身就是一個見證數據。如果每一筆交易都由一個SNARK來驗證，我們也可以將這些SNARK都聚合在一起、為區塊生成單個的SNARK。而且，因為輸出在花費時會變成見證數據，我們甚至可以在交易池中取出未上鏈確認、但已經被花費的輸出，并聚合它們。Alice轉給Bob再轉給Carol會變成Alice轉給Carol，實現非交互的交易合并。當帶有許多鏈外交易分支的單個UTXO被強制上鏈時，這種功能特別有用。

簡單總結

我們已經用NIWA概念總結了SNARK為區塊鏈提供的核心功能。任何見證數據都可以被一個SNARK非交互式地聚合在一起。而剩下的非見證數據就是對系統狀態的直接反映。雖然SNARK可以實現一些神奇的功能，比如直接下載一個UTXO集合和一個SNARK就從創世狀態跳躍到最新狀態、非交互式地將未上鏈交易的序列聚合為單筆交易，但我們還是需要為每一個新區塊發布所有的非見證數據，以使所有的全節點都能更新他們的UTXO集合。因此，SNARK無法解決區塊鏈面臨的帶寬根本約束。

感謝?SanketKanjalkar富有教益的討論和評論。

-NIWA在行動。SNARK消耗witness，但自身也是一個witness。所以SNARK可以吞吃SNARK-

Tags：ARKNARROLRIAFLOV MarketLaminarROLCBRIA幣

中幣