7月18日最新消息报道，StarkWare 宣布了一项重大技术突破，其最新研发的 STARK 验证器在比特币 Signet 网络上成功验证了首个零知识(ZK)证明，标志着比特币可扩展性和智能合约功能探索的一个历史性里程碑。这一成就是在对“OP_CAT”技术提案进行了为期三个月的深入研究后达成的，该提案旨在通过创新方式扩展比特币区块链的潜力。

图片[1] - StarkWare 比特币 Signet ZK 证明突破，加速 L2 发展

“OP_CAT”提案，尽管仍处于审批阶段，但已在测试网络 Bitcoin Signet 上得到了实践应用，而 StarkWare 的 ZK 验证器正是这一提案操作码在测试环境中的首次大规模实战检验。此次成功不仅验证了 ZK 技术在比特币网络中的可行性，更为基于 ZK 的第二层(L2)解决方案的开发铺平了道路，有望提升比特币的交易处理能力和全球支付效率。

据 L2 Iterative Venture 的研究合伙人及关键贡献者 Weikeng Chen 介绍，StarkWare 的这一成就“是前所未有的壮举”，因为“它需要构建一系列全新的组件，而比特币社区此前从未涉足这些领域”。从解决斐波那契平方数列中第32个数字的复杂数学问题到编写基础模块，团队经历了“巨大的努力”和“长时间的投入”，最终实现了从理论到实践的跨越。

值得注意的是，StarkWare 的 ZK 验证器不仅是一个技术验证的成功案例，它还首次向开发者社区公开了基于 STARK 技术的解决方案，其代码已在 GitHub 上开放，为比特币扩容技术的探索提供了宝贵的资源和参考。

此外，StarkWare 还透露了其未来规划，公司首席执行官 Eli Ben-Sasson 在 EthCC 会议上宣布，Starknet 计划于2024年底前引入 Staking 功能。这一通过 Starknet 改进提案(SNIP)提出的计划，旨在通过社区批准引入新的质押机制，让质押者能够“逐步承担更多责任”，进一步促进 Starknet 生态系统的安全性和去中心化。

随着 StarkWare 在比特币和 Starknet 上的持续创新，全球加密货币和区块链领域正迎来一场前所未有的变革，为数字经济的未来发展开辟了新的可能性。