解析第一個 zk 欺詐證明系統 Optimistic Rollup 與 ZKP 的結合_ROL

作者：Layer N，RISC Zero  翻譯：火火/白話區塊鏈

Layer N是一個基于以太坊的新型第二層網絡，采用RISC Zero的零知識虛擬機，通過零知識欺詐證明(ZKFP)確保安全性，避免鏈上重放交易，實現高性能、即時提款和去中心化金融，為下一代金融產品和協議開創一種新的擴展方法。

在設計 Rollup 時，一個關鍵的設計考慮因素是如何確保安全性和信任，同時仍然提高底層第 1 層的可擴展性。對于樂觀 Rollup，安全性以欺詐證明的形式得到保證：證明 Rollup 級別執行不正確的證據并且必須恢復該狀態。

Numen發布微軟漏洞解析，黑客可通過該漏洞獲取Windows完全控制權:6月9日消息，安全機構 Numen Cyber Labs 發布微軟 win32k 提權漏洞解析。Numen 表示，該漏洞系 win32k 提權漏洞，是微軟 Windows 系統層面的漏洞。通過該漏洞，黑客可獲取 Windows 的完全控制權。

Numen 指出，win32k 漏洞歷史眾所周知。但在最新的 windows11 預覽版中，微軟已經在嘗試使用 Rust 重構該部分內核代碼。未來該類型的漏洞在新系統可能被杜絕。

此前報道，5 月，微軟發布的補丁更新解決了 38 個安全漏洞，其中包括一個零日漏洞。[2023/6/9 21:25:55]

與現有的OP Rollup 不同，N 層不依賴于鏈上重放交易來進行欺詐證明。相反，N 層采用了一種新穎的方法，利用零知識證明和 RISC Zero 的零知識虛擬機。

安全團隊：Reaper Farm項目遭到攻擊事件解析，項目方損失約170萬美元:據成都鏈安“鏈必應-區塊鏈安全態勢感知平臺”安全輿情監控數據顯示，Reaper Farm項目遭到黑客攻擊，成都鏈安安全團隊發現由于_withdraw中owner地址可控且未作任何訪問控制，導致調用withdraw或redeem函數可提取任意用戶資產。攻擊者(0x5636e55e4a72299a0f194c001841e2ce75bb527a)利用攻擊合約(0x8162a5e187128565ace634e76fdd083cb04d0145)通過漏洞合約(0xcda5dea176f2df95082f4dadb96255bdb2bc7c7d)提取用戶資金，累計獲利62ETH，160萬 DAI，約價值170萬美元，目前攻擊者(0x2c177d20B1b1d68Cc85D3215904A7BB6629Ca954)已通過跨鏈將所有獲利資金轉入Tornado.Cash，成都鏈安鏈必追平臺將對被盜資金進行實時監控和追蹤。[2022/8/2 2:54:19]

Op Rollup將狀態更新以及將先前狀態移動到更新狀態的相應事務一起發布到底層 L1。假設我們作為 rollup 的驗證者，聲稱我們觀察到的發布到以太坊的最終狀態無效（或者換句話說，更新的狀態與 rollup 發布到 DA 的交易不對應）。從這里，我們提交了一份欺詐證明，如果被接受，我們將獲得可觀的金錢獎勵。

奇虎360公開“基于聯盟區塊鏈的標識解析方法”專利:8月30日消息，北京奇虎科技有限公司、中國信息通信研究院日前聯合公開一種“基于聯盟區塊鏈的標識解析方法、裝置、存儲介質及服務器”專利，申請日期為2021年4月29日，申請公布號：CN113315811A。天眼查App顯示，該專利屬于計算機技術領域。方法包括在第一對外節點接收到標識解析請求的情況下，從第一對外節點對應的本地數據庫中查詢是否存在與標識解析請求中的標識符對應的IPFS哈希值。

若未查詢到IPFS哈希值，則基于標識解析請求向聯盟區塊鏈中除第一對外節點之外的其他節點發送第一查詢請求；接收由聯盟區塊鏈中響應于第一查詢請求的節點發送的IPFS哈希值，并基于IPFS哈希值通過第一對外節點訪問IPFS服務，以獲取IPFS哈希值對應的標識解析信息由此可有效提高對標識解析過程的安全性，保證通過標識解析得到的數據不易被篡改。（郵箱網）[2021/8/30 22:45:51]

欺詐證明最簡單的方法是讓智能合約重新執行以太坊（L1）上的交易并檢查結果狀態是否準確，我們將其稱為“簡單重放證明”。

動態 | 基于共治鏈的共治根域名解析架構發布:據光明網消息，在日前由國家互聯網信息辦公室指導、中國互聯網絡信息中心（CNNIC）主辦的中國互聯網基礎資源大會上，中國互聯網絡信息中心主任曾宇發布了基于共治鏈的共治根域名解析架構。中國互聯網絡信息中心（CNNIC）作為我國國家頂級域名注冊管理機構，負責國家網絡基礎資源的運行管理和服務，從2016年開始，開展區塊鏈技術在域名領域應用的研究，驗證了運用區塊鏈技術進行域名數據管理的可行性。在此基礎上，聯合多家單位設計了基于共治鏈的共治根新型域名解析系統架構。[2019/7/3]

如果塊很大，這會變得相當昂貴。然而，我們可以在這里進行一個很好的觀察：如果事務沒有導致預期狀態，那么在某些時候指令被錯誤地執行。“交互式欺詐證明”只需找到該指令即可。為了構建交互式欺詐證明，驗證者通過用戶和操作員之間的一系列挑戰執行二分搜索，在每一步將搜索空間一分為二。一旦驗證者指出第一條錯誤執行的指令，智能合約就會重新執行它并查看它是否正確執行。這種巧妙的技術就是 Arbitrum 所說的解剖，它本質上是我們引入的重放證明的擴展。

分析 | 杯柄形態ENJ最高漲幅83% 盤面解析:金色分析師：今日山寨幣ENJ最高漲幅83%，消息面上，ENJ確定成為三星Galaxy S10手機的合作伙伴。從盤面上看，小時圖幣價在未啟動前一直處于上升趨勢中，前期已經漲了一波，縮量調整回落，然后放量上攻，到達前期高處時候，又再次縮量調整，然后在放量上攻突破前期高點，然后幣價進入直線拉升趨勢，營造杯狀帶柄形態。[2019/3/8]

然而，這提出了一個重要的問題：我們如何確保鏈上執行和鏈下執行的行為完全相同？

簡單重播證明和交互式證明的關鍵約束是指令必須能夠在基礎層和 Rollup 層上以相同的方式執行。換句話說，兩種實現都需要使用相同的虛擬機 (VM) 并確保行為匹配。

就 Optimism 而言，他們之前的實現是一個稍微修改過的以太坊虛擬機，他們稱之為基于 Geth 的 Optimism 虛擬機 (OVM)。最近，他們在 Solidity 中開發了一個鏈上 MIPS 指令模擬器來運行 Minigeth 解釋器，從而允許他們模擬和驗證 EVM 狀態轉換。Arbitrum 使用 WASM 的修改版本，他們稱之為 WAVM。這種設計意味著 Optimism 和 Arbitrum 可以分別支持任何針對 MIPS 和 WASM 的語言。

然而，對于 Optimism 和 Arbitrum 來說，這意味著它們各自的虛擬機需要在 Solidity 中實現，以便以太坊能夠模擬它。不僅如此，每個實現都需要具有完全相同的行為。在非交互式證明（例如 Optimism）的情況下，gas 成本也明顯更高，因為我們需要重播區塊中的每筆交易。

我們不需要在鏈上重放所有交易，而是需要提供狀態轉換不正確的證明。這就是 RISC Zero zkVM 的用武之地，它是一種通用零知識虛擬機。

借助 RISC Zero，任何驗證者都能夠生成簡潔的證明，證明他們采用了與特定區塊相對應的正確 DA 交易并將其應用于初始狀態。RISC Zero 通過將 N 層的執行環境移植到其 zkVM 中并以可信的方式生成正確執行的收據來實現這一點。如果出現爭議，驗證者會將這個證明發送到以太坊上的 Layer N 智能合約，然后由后者檢查該證明是否有效。如果證明是有效的，并且證明所聲稱的輸出狀態與 L1 上發布的輸出狀態不匹配，則存在欺詐，我們必須恢復該塊。

我們不是使用 WASM 或 EVM，而是通過針對 RISC-V 指令集來利用 RISC Zero，這是一種常見的編譯目標，因此受到許多編程語言的支持。這為未來 N 層虛擬機的形狀和兼容性提供了更廣泛的可能性。

最后，盡管零知識技術有這些好處，但完整的零知識Rollup目前受到緩慢的證明時間和昂貴的計算的限制。這就是為什么 Layer N 采用混合方法——僅在存在欺詐可能性時才需要生成證明。我們將這種方法稱為零知識欺詐證明（ZKFP）。

給用戶足夠的時間來注意到欺詐并提交欺詐證明的要求對當前的 OP Rollup 施加了漫長的提款時間（通常在 7 天左右）：對可組合金融產品的要求不充分。盡管 ZKFP 并沒有完全解決這個問題，但由于其“一次性”方法，它們能夠大幅減少提款時間。ZKFP 不是 ETH 上冗長的來回二分協議，而是允許單個來回交易來證明/反駁欺詐。

展望未來，Layer N 致力于在其 Rollup 生態系統中使用最先進的技術。例如，借助 RISC Zero 的通用零知識證明網絡 Bonsai，Layer N 將能夠完全過渡到 ZK-rollup，這意味著在保持高性能的同時提供加密安全保證和即時提款。由于 Bonsai 允許任何鏈、協議或應用程序接入其證明網絡，因此它能夠充當各種用例的安全鏈下執行和計算層。

總之，Layer N 與 RISC Zero 合作，能夠以更少的權衡開創一種新的擴展方法。因此，我們能夠構建下一代真正可用的金融產品和協議。

Layer N 是一種新穎的第 2 層網絡，旨在在以太坊上實現超大規模去中心化金融。Layer N 旨在提供與現代金融網絡類似的性能和用戶體驗，但完全鏈上和去中心化。開發人員可以利用共享流動性和無縫可組合性來構建高性能的金融應用程序。Layer N 正在將全球金融體系引入以太坊。

白話區塊鏈

媒體專欄

閱讀更多

金色財經 善歐巴

元宇宙Lab

比推 Bitpush News

Tags：ROLLROLISCLAYERroll幣可以roll坐騎嗎SwaprolISCMPlayerCoin

NEAR