StarkWare公司在比特币Signet网络上使用其新型STARK验证器成功验证了首个零知识（ZK）证明，实现了一个历史性的里程碑。
在此之前，我们对 OP_CAT 的可能性进行了长达三个月的深入探索，OP_CAT 是一项旨在扩展比特币区块链功能的技术提案。
该验证器为开发基于 ZK 的第 2 层（L2）解决方案奠定了基础，以提高 BTC 的可扩展性并推动全球支付机会。
OP_CAT 提案
OP_CAT 提案为 BTC 网络引入了智能合约功能，虽然仍在审批过程中，但目前已可在测试网络 BTC Signet 上使用。
StarkWare 的 ZK 校验器是该提案的操作码在测试网上的首次大规模实际应用。它在 BTC Signet 网络上的成功应用具有多重意义。
L2 Iterative 的研究合伙人兼撰稿人陈伟强在接受 Cointelegraph 采访时解释说，ZK 校验器 "是以前从未做过的事情"。
"需要许多构建模块，但比特币社区以前从未构建过这些构建模块"。
概念验证和可访问性
STARK 校验器的概念验证涉及解决一个数学问题，即验证斐波那契平方序列中的第 32 个数字。
陈说，这个过程花费了 "巨大的努力 "和 "大量的时间"。由于没有关于比特币使用 ZK 的信息，团队 "白手起家"。
陈告诉 Cointelegraph，团队花了 "几个月的时间从头开始编写构建模块"。
"我们基本上是唯一一个在比特币中真正实现 ZK 校验器的团队。我们可以从我们所知道的不同方面证实，这是第一次验证 ZK-proof。"
与其他依赖欺诈证明或有效性的 BTC 扩容解决方案不同，这是首个向开发者公开的基于 STARK 的解决方案，其代码可在 GitHub 上访问。
星网定标将于第四季度登陆主网
7 月 10 日，StarkWare 首席执行官 Eli Ben-Sasson 在 EthCC 大会上宣布，该公司计划在 2024 年底之前在星际网络中引入盯盘功能。
该计划是通过星网改进提案（SNIP）提出的，社区的批准将带来新的记账功能，使记账人 "逐渐承担更多责任"。
SNIP 获得批准后，用户只要持有最低注资额或将其持有的注资委托给现有的注资者，就可以成为注资者。