近日，StarkWare 在比特币 Signet 网络上成功验证了其第一个零知识（ZK）证明，标志着区块链技术发展的一个重要里程碑。这一成果是在经过三个月对“OP_CAT”技术提案的深入探索后取得的，该提案旨在扩展比特币区块链的功能。

StarkWare 通过其新推出的 STARK 验证器实现了这一历史性突破。该验证器为比特币网络引入了基于零知识证明的第2层（L2）解决方案，旨在提高比特币的可扩展性并推动全球支付机会。此次验证不仅是“OP_CAT”提案的首次大规模实际应用，也是比特币网络智能合约功能的一个重要尝试。

“OP_CAT”是一项仍在审批中的技术提案，旨在为比特币网络引入智能合约功能。虽然目前该提案尚未正式通过，但已经在测试网 Bitcoin Signet 上得到了实际应用。StarkWare 的 ZK 验证器在 Signet 网络上的成功实施，展示了其在扩展比特币功能方面的巨大潜力。

L2 Iterative Venture 的研究合伙人兼贡献者 Weikeng Chen 在接受 Cointelegraph 采访时表示，ZK 验证器的成功验证是以前从未实现过的壮举。这个过程涉及解决一个复杂的数学问题，即验证斐波那契平方数列中的第32个数字。陈指出，这个过程花费了团队“巨大的努力”和“大量的时间”，从零开始编写基础模块，从而实现了这一突破。

与其他依赖欺诈证明或活跃度的比特币扩容解决方案不同，StarkWare 的 STARK 验证器是第一个向开发人员公开提供的基于零知识证明的解决方案，其代码已在 GitHub 上开放访问。7月10日，StarkWare 首席执行官 Eli Ben-Sasson 在 EthCC 上宣布，公司计划在2024年底前在 Starknet 上引入质押功能。