StarkWare验证了比特币的第一个零知识证明

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

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

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

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

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

L2 Iterative Venture 的研究合伙人兼贡献者 Weikeng Chen 在接受 Cointelegraph 采访时解释说，ZK 验证器是以前从未做过的事情，需要很多构建模块，但比特币社区之前从未构建过任何这些构建模块。

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

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

陈告诉 Cointelegraph，团队从一开始就花了几个月的时间来编写基础模块。与其他依赖欺诈证明或活跃度的比特币扩容解决方案不同，它是第一个向开发人员公开提供的基于 STARK 的解决方案，其代码可在 GitHub 上访问。

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

通过 Starknet 改进提案 (SNIP) 提出，社区批准将带来新的质押功能，允许质押者逐步承担更多责任，SNIP 的批准将允许用户成为质押者，只要他们持有最低质押金额或将其持有的资产委托给现有的质押者。