机构级比特币基础设施Sundial是什么？

Sundial 是一个基于 UTXO 的 Layer 2，它采用 Optimistic Rollup 技术，意在实现安全、合规的大规模比特币收益生成。随着 Cardano 的使用量和需求量持续增长，像 Sundial 这样的扩容解决方案对于保持高性能和低交易成本至关重要。本白皮书介绍了 Sundial 协议的架构和技术设计，并详细说明了它如何与 Cardano 的 Layer 1 (L1) 集成，以实现安全高效的交易处理。

Optimistic Rollup 在链下处理交易区块，并将这些区块的区块头提交到 Layer-1 账本。每个区块由 Sundial 的运营者提交，负责保证区块的有效性。之后，该区块将在队列中等待至少一段固定的时间，以便被合并到 Layer-1 Optimistic Rollup 的已确认状态中。运营者必须通过保证金作为担保，并将区块的全部内容发布到可公开访问的数据可用性 (DA) 层。

当已提交的区块在队列中时，任何人都可以在数据可用性层检查其内容并确定其是否有效。如果有人检测到该区块无效，他们可以提交错误性证明以防止其被合并到已确认状态，并削减运营者的保证金，并获得部分被没收的保证金作为奖励。因此，Optimistic Rollup 可以在链下处理大量交易，同时保持与直接在链上处理的交易类似的安全性和最终性，只要满足以下条件：

• 对于汇总运营商的保证金要求足够大，以阻止欺诈行为。
• 阻止无效区块合并的奖励足够大，以鼓励公众警惕地监视运营商。
• 已提交区块的等待期足够长，以允许观察者在这些区块合并之前检测并证明欺诈行为。
• 任何想要检查汇总块的人都可以随时访问数据可用性层。

只要后三个安全参数值经过校准，能够提供较高的无效区块被检测和取消的概率，保证金要求就能对试图欺诈的运营商起到强大的威慑作用。运营商不能将被没收的保证金仅仅视为一种“经营成本”，而这种成本是为了通过欺诈获得潜在的更大收益。无效区块被取消时，不会影响已确认的状态，因此不会产生任何来自该欺诈的收入来抵消运营商被没收的保证金。

Sundial 的主要设计目标是简化区块提交/合并、欺诈检测以及链上验证欺诈证明的流程。推进这一目标可以校准安全参数，从而在安全性、交易吞吐​​量、确认时间以及社区参与区块提交和欺诈检测之间取得更好的平衡。

可扩展性和效率

Sundial 通过在链下处理交易，并仅在欺诈证明挑战交易时进行链上验证，显著提高了 Cardano 的吞吐量并降低了交易成本。其 rollup 区块采用稀疏 Merkle 树和紧凑的状态表示，进一步提升了协议的效率，使其能够处理大量交易而不会给 Layer-1 造成过重负担。

Cardano 交易的确定性使得 Sundial 欺诈证明能够精准定位违反 Sundial 账本规则的交易具体位置，而无需查看该交易的任何其他部分、区块内任何其他无关交易或任何其他区块。这使得欺诈证明及其链上验证程序简洁高效，从而减少了在检测到无效区块时提交欺诈证明所需的时间和成本，从而使更广泛的人群能够监管 Sundial 的区块。通过这种方式，Sundial 相对于以太坊和其他基于账户的区块链生态系统中使用的 Optimistic Rollup 显著减少了欺诈证明的大小，因为在这些生态系统中，构建和验证欺诈证明时需要检查全局区块链状态的很大一部分。