Halborn 发布审计报告

我们已经走到了与 Halborn 安全审计的终点。

Halborn 机构级安全团队对 Alkanes 进行了从头到尾的全面审查。这是 SUBFROST 原生协议，为 Bitcoin L1 带来智能合约。本次审计涵盖了 Alkanes 运行时、Protorune、DIESEL 合约、其底层的 METASHREW 索引器，以及围绕协议的 RPC 基础设施。

此外，他们还审查了这些代码库之间的依赖关系，以及带有资金的实时系统，例如 SUBFROST、我们的 AMM 和 FIRE 金库合约。他们的任务是找出任何可能出错的地方，而他们做得非常彻底。

这里是完整详细审计报告的链接。

审计成果

Halborn 发现的大部分问题都位于边缘地带：异常的输入、罕见的交易组合，以及恰好处于数字所能承载极限处的数学运算。这项工作旨在让 Alkanes 和 SUBFROST 在这些边角场景中更加精确、更可预测。

几个例子：

1. Alkanes 在索引自身资产的同时也索引 Runes，而若干罕见情况得到了收紧，使得 Alkanes 对每一个 Rune 的追踪方式与标准的 Ord 索引器完全一致。
2. 在索引器为他人代劳的任何地方，例如加载合约或响应请求，这些工作现在都有了固定的上限。
3. DIESEL 的供应上限现在会在每次铸造后对照全部供应量进行检查，因此该上限将始终被强制执行到最后一个单位。DIESEL 是一种热门的 Bitcoin 原生资产。
4. METASHREW 现在能够在链重组导致区块乱序时干净地恢复。

我们还采纳了 Halborn 针对服务于协议的 RPC 基础设施提出的所有建议。

报告中的每一个发现都已得到处理。每一项都对应代码中的具体修改，以及一个证明其已被修复的测试。

当前状况

截至本文撰写时，Alkanes 处于 v3.0.0-rc.3，METASHREW 处于 v9.1.0-rc.1。两者共同包含了审计中的每一项修复。

协议变更在 Bitcoin 区块 972,000 生效，6 个公共索引器也在同一区块完成切换。

索引器现在快得多了。 我们在主网上见过的最重区块，包含超过 7,400 次铸造，处理时间从 213 秒降至 60 秒以内，而典型区块的索引速度快了一倍以上。

这些升级也使索引器框架更加可靠。区块要么一次性全部写入，要么完全不写入；索引是严格确定性的；每个请求都有自己的超时时间，因此一个慢请求无法拖累其他请求。

我们还收紧了软件的构建和发布方式，并添加了 SECURITY.md，这样任何发现问题的人都有一个私密渠道来报告。

在为这些代码库打标签之前，我们用真实的主网数据和真实的 DIESEL 状态进行了测试，一个运行新版本的测试索引器与我们的生产索引器逐块一致。

与此同时，我们自己的团队

在 Halborn 深入其审计流程期间，我们的内部安全团队对我们运营的其他一切进行了并行的独立审查：我们的代码库、当前及未来的 SUBFROST 部署、我们的基础设施以及我们的运营安全。其中很多工作是例行的，比如审查配置和轮换凭证，但正是这类工作能在长期内保障平台的安全。

致谢

衷心感谢 Halborn。他们的团队严谨细致，比以往任何人都更用力地考验了我们的元协议。同样感谢与我们一起攻克难关的开发者们，以及在我们把事情做对期间始终耐心等待的社区。

我们现在所拥有的，是为 SUBFROST 以及每一位使用它的个人和机构打下的更为坚实的基础。

接下来是什么

Alkanes 的审计后版本让我们朝着对 Bitcoin 本身的经济愿景又迈进了一步。我们看待 Bitcoin，不仅仅是价值储藏手段。我们将其视为一个完整的经济体，能够在自己的基础层上运行，这已经通过 AMM、DeFi 金库、launchpad 以及背后有资金支撑的有价值的 Bitcoin 原生资产得到验证。

这标志着对任何 Bitcoin 元协议的首次机构级审计圆满结束。我们鼓励认真的开发团队和投资者联系我们，共同构建我们所理解的 Bitcoin 的未来。

*完整详细的审计报告，而不仅仅是执行摘要，可在 Halborn 网站上查阅：*https://www.halborn.com/audits/subfrost