在Starknet上验证更快的原因
第一次在mirror上写内容，在Layer2这个赛道上，StarkNet、ZkSync、Linea在资本、交互讨论的热度都很高，今天这一篇先介绍StarkNet在验证速度上对以太坊的补充说起。 先描述一个证明 StarkNet 状态有效性的检查点层次结构： 全节点检查每分钟一次，公共 L1 检查点每小时一次，这两类检查点都依赖于有效性证明。 这两种类型检查方式都同样安全："分钟"检查点可以由任何 StarkNet 完整节点在 L1 上公开。 ”小时“检查点可以是递归有效性证明，证明其复合 "分钟"。 大区块和快速确定性是 ZK-Rollup 系统中两个理想的属性嘛？ 大区块：对于 ZK-Rollups，特别是 StarkNet 的扩展，他们需要生成尽可能大的块。 验证 STARK 证明的成本是批次中交易数量的多对数，因此在链上执行此验证的成本不会随批次大小变化太大。 因此，一份证明中的交易越多，就越好。 快速确定性：如果 Alice 刚刚收到 Bob 的资金，她想知道操作已完成并且她的账户中有这些资金。 这两个所需的属性需要权衡：第一个需要大块以提高可扩展性，这会导致较长的延迟，...
在Starknet上验证更快的原因
第一次在mirror上写内容，在Layer2这个赛道上，StarkNet、ZkSync、Linea在资本、交互讨论的热度都很高，今天这一篇先介绍StarkNet在验证速度上对以太坊的补充说起。 先描述一个证明 StarkNet 状态有效性的检查点层次结构： 全节点检查每分钟一次，公共 L1 检查点每小时一次，这两类检查点都依赖于有效性证明。 这两种类型检查方式都同样安全："分钟"检查点可以由任何 StarkNet 完整节点在 L1 上公开。 ”小时“检查点可以是递归有效性证明，证明其复合 "分钟"。 大区块和快速确定性是 ZK-Rollup 系统中两个理想的属性嘛？ 大区块：对于 ZK-Rollups，特别是 StarkNet 的扩展，他们需要生成尽可能大的块。 验证 STARK 证明的成本是批次中交易数量的多对数，因此在链上执行此验证的成本不会随批次大小变化太大。 因此，一份证明中的交易越多，就越好。 快速确定性：如果 Alice 刚刚收到 Bob 的资金，她想知道操作已完成并且她的账户中有这些资金。 这两个所需的属性需要权衡：第一个需要大块以提高可扩展性，这会导致较长的延迟，...
