单轮交互式欺诈证明如何在L1上验证交易有效性
单轮交互式欺诈证明通过L1重新执行争议交易来验证其有效性，但需发布交易状态承诺并增加链上数据量，导致Gas成本上升。
单轮交互式欺诈证明的基本机制
单轮交互式欺诈证明通过L1重新执行争议交易来验证其有效性。当有人对L2上的交易结果提出质疑时，L1上的验证合约会模拟该交易的重新执行。通过计算新的状态根，判断挑战者是否正确指出了错误。这种方式依赖于L1的计算能力，确保L2上的交易结果符合预期。
单轮交互式证明的链上数据需求
为了验证交易的有效性，单轮交互式欺诈证明需要发布每个交易的状态承诺。这意味着L2必须在链上提交更多的数据，以供L1验证。这种数据提交方式虽然确保了验证的准确性，但也增加了链上数据的存储和处理负担，进而提高了Gas成本。
单轮交互式证明的局限性
单轮交互式欺诈证明虽然能有效检测L2上的错误交易，但其效率较低。由于需要重新执行交易并发布大量状态承诺，导致Gas成本显著增加。此外，这种机制对L1的计算资源依赖较大，可能成为性能瓶颈。因此，许多乐观汇总正在转向更高效的多轮交互式证明方案。
单轮交互式证明与多轮交互式证明的对比
与单轮交互式证明相比，多轮交互式证明通过多次交互减少链上数据的提交量，从而提高效率。虽然单轮交互式证明在验证过程中更加直接，但其高Gas成本和链上数据负担限制了其在大规模应用中的可行性。因此，多轮交互式证明成为当前乐观汇总的主流选择。
资料与延伸阅读
你可以通过以下原始资料核对文中概念，并继续深入阅读。