更新于7月18日，上午10点UTC：本文已更新，引用了Eli Ben-Sasson的言论。

StarkWare以其新的STARK验证器在比特币Signet网络上成功验证了其首个零知识（ZK）证明，创造了历史性里程碑。

这一成果是在对“OP_CAT”提出的三个月坚实的探索后取得的，该技术提案旨在扩展比特币区块链的功能。

该验证器为构建基于ZK的层2（L2）解决方案打下基础，以提高比特币的可扩展性并推动全球支付机会的实现。

相关：Starknet质押将在第四季度上线 — EthCC

“OP_CAT”提案

“OP_CAT”提案将智能合约功能引入比特币网络，虽然仍在审批过程中，但目前已经可在测试网、比特币Signet上使用。

StarkWare的ZK验证器是首次在大规模上应用该提案的op代码于测试网。在比特币Signet网络上成功实施这一举措具有多重影响。

在与Cointelegraph的对话中，L2 Iterative Venture的研究伙伴和贡献者魏克庚表示，该ZK验证器“是此前从未有过的。”

在与Cointelegraph的对话中，Eli Ben-Sasson解释说，该验证器技术达到BTC主网的速率“取决于比特币社区。”

相关：新型开源ZK证明缩短SQL查询时间

概念验证和易用性

STARK验证器的概念验证涉及解决一个数学问题，即验证斐波那契平方序列的第32个数。

吴克庚称这个过程需要“巨大的努力”和“大量的时间”。由于之前没有关于在比特币上使用ZK证明的信息，这支团队“是从零开始的。”

吴克庚告诉Cointelegraph，团队“花了数月时间从头编写构建模块。”

与其他依赖于欺诈证明或活跃性的比特币扩展解决方案不同，这将是首个可供开发人员使用的公开STARK解决方案，其代码可在GitHub上访问。

相关：StarkWare推出价值100万美元的研究基金以支持ZK比特币扩展

Starknet质押将在第四季度上线

7月10日，在EthCC上，StarkWare首席执行官Eli Ben-Sasson宣布计划在2024年底推出Starknet的质押机制。

通过Starknet改进提案（SNIP）提出，社区批准将导致新的质押功能，让质押者“逐步承担更多责任。”

该SNIP的批准将允许用户持有最低质押金额或将其持有量委托给现有质押者，从而成为质押者。

杂志：Crypto-Sec：Evolve Bank遭受数据泄露，涡轮蟾蜍爱好者损失3.6K美元