作者：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 的零知识虚拟机。
直播｜YOYO >普通人的财富密码全球经纪人解析:金色财经 · 直播主办的《 币圈 “后浪” 仙女直播周》第10期，本期由58COIN TOP天团组成，20:00正在直播中，本期“后浪”仙女58TOP女团超模担当 YOYO将在直播间分享“普通人的财富密码全球经纪人解析”，请扫码移步收听！[2020/7/29]
Op Rollup将状态更新以及将先前状态移动到更新状态的相应事务一起发布到底层 L1。假设我们作为 rollup 的验证者，声称我们观察到的发布到以太坊的最终状态无效（或者换句话说，更新的状态与 rollup 发布到 DA 的交易不对应）。从这里，我们提交了一份欺诈证明，如果被接受，我们将获得可观的金钱奖励。
欺诈证明最简单的方法是让智能合约重新执行以太坊（L1）上的交易并检查结果状态是否准确，我们将其称为“简单重放证明”。
动态 | 以太坊域名服务ENS将加入多代币支持，未来可解析至比特币地址:go-ethereum和以太坊域名服务（ENS）核心开发者Nick Johnson今天在Twitter 宣布，已经提交了ENS以太坊域名的多代币支持，该提议通过后ENS以太坊域名将支持解析域名到多个区块链地址，其中甚至可以包括比特币地址。这也意味着，ENS以太坊域名将可能成为跨链的域名系统，用户可以通过一个域名在多个区块链间互通，未来只需要向其他人展示自己的ENS以太坊域名即可。目前已经有多个数字加密货币钱包支持ENS以太坊域名，在使用以太坊钱包进行转账时，不需要再输入冗长的以太坊0x 地址，而只需要输入短地址即可。[2019/9/9]
如果块很大，这会变得相当昂贵。然而，我们可以在这里进行一个很好的观察：如果事务没有导致预期状态，那么在某些时候指令被错误地执行。“交互式欺诈证明”只需找到该指令即可。为了构建交互式欺诈证明，验证者通过用户和操作员之间的一系列挑战执行二分搜索，在每一步将搜索空间一分为二。一旦验证者指出第一条错误执行的指令，智能合约就会重新执行它并查看它是否正确执行。这种巧妙的技术就是 Arbitrum 所说的解剖，它本质上是我们引入的重放证明的扩展。
动态 | EOSCanada 解析 B1 源代码解释相关期权兑现计划:据 IMEOS 报道，EOSCanada 发布文章解析 B1 源代码，以解释相关期权兑现计划。文中经过源代码分析得出结论，截至2019年1月1日，Block.one 可以赎回共计5879120个代币。分析结果认为，如果 Block.one 想要以小于其全部权重的票数进行投票，则他们必须赎回当前最大数量的代币。然后，他们必须将这些代币转移到一个单独的帐户，抵押，然后投票。截至撰写该文时（2019年3月中旬），这笔金额约为785万美元。因此，虽然 Block.one 以外的任何人都不知道他们投票的想法或他们想要用他们的代币做什么，但我们现在都能理解实际存在的限制。[2019/3/21]
然而，这提出了一个重要的问题：我们如何确保链上执行和链下执行的行为完全相同？
分析 | 杯柄形态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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。