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

1、介绍

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

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

2、重放校样入门

Op Rollup将状态更新以及将先前状态移动到更新状态的相应事务一起发布到底层 L1。假设我们作为 rollup 的验证者，声称我们观察到的发布到以太坊的最终状态无效（或者换句话说，更新的状态与 rollup 发布到 DA 的交易不对应）。从这里，我们提交了一份欺诈证明，如果被接受，我们将获得可观的金钱奖励。

欺诈证明最简单的方法是让智能合约重新执行以太坊（L1）上的交易并检查结果状态是否准确，我们将其称为“简单重放证明”。

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

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

3、重放证明的困难

简单重播证明和交互式证明的关键约束是指令必须能够在基础层和 Rollup 层上以相同的方式执行。换句话说，两种实现都需要使用相同的虚拟机 (VM) 并确保行为匹配。