据 Blockworks 报道，Bitcoin 目前缺乏真正的 layer-2 网络，因为现有的扩展解决方案未继承 Bitcoin 的安全模型。Liquid Network 和 Rootstock (RSK) 是侧链，独立于 Bitcoin 运行，使用自己的验证者或矿工。

StarkWare 周三宣布在 Bitcoin 测试网络 Signet 上成功验证了首个零知识证明，这是其新 STARK 验证器的重大里程碑。该验证器由 StarkWare 与 L2 Iterative 的 Weikeng Chen 合作开发。

该验证器展示了基于 zk 的 layer-2 解决方案的潜力，不需要使用欺诈证明或活性证明。验证器代码已通过 Github 发布。

新验证器使用 Circle STARKs 加密证明，大大加快了证明过程，并将用于 StarkWare 的下一代 STARK prover, Stwo。