StarkWare 使用其在比特币 Signet 网络上的新 STARK 验证器成功验证了其第一个零知识 (ZK) 证明，实现了历史性的里程碑。

此次开发是经过三个月对 OP_CAT 可能性的深入探索之后完成的，OP_CAT 是一项旨在扩展比特币区块链功能的技术提案。

该验证器为开发基于 ZK 的第 2 层 (L2) 解决方案奠定了基础，以提高 BTC 的可扩展性并推动全球支付机会。

相关：Starknet 质押将于第四季度登陆主网 — EthCC

OP_CAT 提案

OP_CAT 提案为 BTC 网络引入了智能合约功能，虽然仍在审批过程中，但目前已在测试网 BTC Signet 上使用。

StarkWare 的 ZK 验证器是该提案操作码在测试网上的首次大规模实际应用。它在 BTC Signet 网络上的成功实施具有多重意义。

L2 Iterative 的研究合伙人兼贡献者 Weikeng Chen 在接受 Cointelegraph 采访时解释说，ZK 验证器“是以前从未做过的事情”。

“需要很多构建模块，但比特币社区之前从未构建过任何这些构建模块。”

相关：新的开源 ZK 证明大幅缩短了 SQL 查询时间

概念证明和可访问性

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

陈表示，这个过程花费了“巨大的努力”和“大量的时间”。由于没有关于比特币上使用 ZK 证明的信息，该团队“从零开始”。

陈告诉 Cointelegraph，团队“从一开始就花了几个月的时间来编写基础模块”。

“我们基本上是唯一一个在比特币中真正实现 ZK 验证器的团队。正如我们从各方了解到的情况所证实的那样，这是第一次验证 ZK 证明。”

与其他依赖欺诈证明或活跃度的 BTC 扩展解决方案不同，它是第一个向开发人员公开提供的基于 STARK 的解决方案，其代码可在 GitHub 上访问。

相关：StarkWare 启动 100 万美元 ZK 比特币扩容研究基金

Starknet 质押将于第四季度上线主网

7 月 10 日，在 EthCC 上，StarkWare 首席执行官 Eli Ben-Sasson 宣布了公司计划在 2024 年底前在 Starknet 上引入质押功能。

通过 Starknet 改进提案 (SNIP) 提出，社区批准将带来新的质押功能，允许质押者“逐步承担更多责任”。

SNIP 的批准将允许用户成为质押者，只要他们持有最低质押金额或将其持有的资产委托给现有的质押者。

杂志：Crypto-Sec：Evolve Bank 遭遇数据泄露，Turbo Toad 爱好者损失 3600 美元