解析第一个 zk 欺诈证明系统 Optimistic Rollup 与 ZKP 的结合_OSMO:区块链

作者:Layer N,RISC Zero  翻译:火火/白话区块链

Layer N是一个基于以太坊的新型第二层网络,采用RISC Zero的零知识虚拟机,通过零知识欺诈证明(ZKFP)确保安全性,避免链上重放交易,实现高性能、即时提款和去中心化金融,为下一代金融产品和协议开创一种新的扩展方法。

在设计 Rollup 时,一个关键的设计考虑因素是如何确保安全性和信任,同时仍然提高底层第 1 层的可扩展性。对于乐观 Rollup,安全性以欺诈证明的形式得到保证:证明 Rollup 级别执行不正确的证据并且必须恢复该状态。

Beosin解析Reaper Farm遭攻击事件:_withdraw中owner地址可控且未作任何访问控制:8月2日消息,据 Beosin EagleEye 安全舆情监控数据显示,Reaper Farm 项目遭到黑客攻击,Beosin 安全团队发现由于_withdraw 中 owner 地址可控且未作任何访问控制,导致调用 withdraw 或 redeem 函数可提取任意用户资产。攻击者(0x5636 开头)利用攻击合约(0x8162 开头)通过漏洞合约(0xcda5 开头)提取用户资金,累计获利 62 ETH 和 160 万 DAI,约价值 170 万美元,目前攻击者(0x2c17 开头)已通过跨链将所有获利资金转入 Tornado.Cash。[2022/8/2 2:54:18]

与现有的OP Rollup 不同,N 层不依赖于链上重放交易来进行欺诈证明。相反,N 层采用了一种新颖的方法,利用零知识证明和 RISC Zero 的零知识虚拟机。

Cobo区块链安全团队公开0xDAO潜在盗币漏洞发现过程及技术细节解析:4月2日消息,0xDAO v2原计划上线前的几个小时,Cobo区块链安全团队启动对该项目的DaaS投前例行安全评估工作,随后在github开源的项目代码中发现了一个严重的安全漏洞。经评估,如果 0xDAO v2此时继续上线,该漏洞预计会造成数亿美金的资产损失。Cobo区块链安全团队立即启动应急预案,快速通过多个渠道联系到0xDAO项目方,提交该漏洞的完整攻击流程,紧急叫停了项目上线,随后协助0xDAO项目方对该漏洞进行了修复。

日前,0xDAO官方发布推文向Cobo区块链安全团队表示了感谢,并且表示会按照严重漏洞级别给予Cobo区块链安全团队漏洞赏金奖励。[2022/4/2 14:00:31]

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)上的交易并检查结果状态是否准确,我们将其称为“简单重放证明”。

哈勃公链CTO全面解析项目技术开发进展:据官方消息,近日,哈勃公链(Hubble Chain)首席架构师 Kevin 从美国硅谷视频连线,对目前项目的技术开发进度,进行详尽的汇报解读。

Hubble Chain是一条支持跨链交易且拥有去中心化交易系统的公有链,通过采用H+POR 共识机制、虫洞网络系统,以及底层跨链协议等区块链技术,构建全球区块链智能金融新生态。

2020年5月,哈勃GDP(全球数字支付)计划面向全球正式启动,通过HB跨境兑换、HB全球结算、HB尊享支付,全面实现以HB为价值流通转换的全球化数字货币支付场景的应用落地。[2020/6/5]

如果块很大,这会变得相当昂贵。然而,我们可以在这里进行一个很好的观察:如果事务没有导致预期状态,那么在某些时候指令被错误地执行。“交互式欺诈证明”只需找到该指令即可。为了构建交互式欺诈证明,验证者通过用户和操作员之间的一系列挑战执行二分搜索,在每一步将搜索空间一分为二。一旦验证者指出第一条错误执行的指令,智能合约就会重新执行它并查看它是否正确执行。这种巧妙的技术就是 Arbitrum 所说的解剖,它本质上是我们引入的重放证明的扩展。

动态 | 浙江大学携手剑桥大学发布区块链生态深层解析报告:近期,浙江大学互联网金融研究院携手剑桥大学新兴金融研究中心发布区块链生态深层解析报告《Distributed Ledger Technology Systems-A Conceptual Framework》的中文版——《分布式账本技术系统:一个概念框架》。浙大AIF副院长杨小虎指出,该报告不仅阐明了如何识别DLT系统,分析和比较现有的DLT系统,还通过六个实例为新系统设计提供有用的借鉴。[2018/8/17]

然而,这提出了一个重要的问题:我们如何确保链上执行和链下执行的行为完全相同?

简单重播证明和交互式证明的关键约束是指令必须能够在基础层和 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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-6:309ms