GOAT BitVM2 测试网 Beta – 用户指南 体验实时证明，全面了解证明流程。 🔸访问证明仪表板 网址： 显示所有 GOAT BitVM2 交易及其相应的 zk-证明。 🔸如何探索证明 1. 浏览 Peg-Out 证明 在仪表板上，您将看到 peg-out 交易的列表。 点击任何条目以查看相关证明。 2. 查看证明流程详情 点击交易的流程以检查区块证明、聚合证明和 Groth16 证明。 每个步骤都有时间戳，并可视化以确保透明性。 3. 检查最终 Groth16 证明 点击证明以查看用于最终化 peg-out 的 Groth16 SNARK。 该证明是用于报销的最终承诺。 🔸技术说明 证明是使用 5 个并行证明者实时生成的。 平均时间： 区块证明：~2.6秒 聚合证明：~2.7秒 Groth16 证明：~10.38秒 由于管道化，您将看到新的区块在先前的证明仍在聚合时被证明。 🔸您所看到的 每个 peg-out 证明包括： 区块 EVM 执行的 STARK 证明 结合区块证明的聚合证明 与比特币脚本验证兼容的最终 Groth16 SNARK 🔸为什么这很重要 GOAT 的实时证明基础设施确保可以毫不延迟地发起提款。这最小化了资本锁定，并证明了 #Bitcoin 上的 zkRollups 可以以生产级延迟运行。