Starknet 是 StarkWare 的创意，以其在以太坊上的可扩展性解决方案而闻名，它刚刚推出了 Catnet，这是一个专为比特币的 Circle STARK 验证器设计的新测试网络。这一尖端开发旨在通过利用 zk-STARK（零知识，可扩展透明知识论证）证明来提高比特币交易的可扩展性和安全性，zk-STARK 证明以其在验证区块链数据方面的效率和稳健性而闻名。
比特币面临的最大挑战是可扩展性。StarkWare 的愿景是改变这一现状。区块链的 STARK 扩展概念最早由 @EliBenSasson 在 2013 年初的一次比特币会议上提出。现在是时候使用 ZK-STARK 扩展比特币了，让比特币更易于访问……pic.twitter.com/sdx7sQJzur
— StarkWare (@StarkWareLtd) 2024 年 6 月 4 日
什么是 Catnet？
Catnet 是一个定制的比特币签名（比特币的测试网络），与比特币升级 OP_CAT（2024 年 4 月分配的 BIP 编号为 420）的潜在采用相关。它是一个沙盒环境，开发人员可以在其中严格测试和微调比特币的 Circle STARK 验证器。这一举措标志着向将零知识证明与比特币相结合迈出了重要一步，有望大幅缩短交易验证时间并增强隐私性。从本质上讲，它是一个创新的游乐场，允许加密社区在潜在的主网部署之前试验和优化验证器。据信，这种集成将由 StarkWare 的专有编程语言 Cairo 提供支持，该语言之前在以太坊上取得了成功。
StarkWare 宣布计划进行以#Bitcoin为中心的 ZK 扩容工作您应该知道@StarkWareLtd 宣布计划将其 ZK（零知识）扩容引入比特币，同时与以太坊一起扩容网络。有什么独家新闻？-由 OP_CAT 提供支持：... pic.twitter.com/s4EjDBnhif
— Bankless (@BanklessHQ) 2024 年 6 月 5 日
为什么重要
对于比特币爱好者来说，Catnet 的推出无异于中了头彩。比特币是加密货币的“鼻祖”，它一直面临着可扩展性问题。高昂的交易费用和缓慢的处理时间一直是它的眼中钉。通过在 Catnet 上引入 zk-STARK 证明，Starknet 为正面解决这些问题奠定了基础。
一旦经过全面测试和实施，Circle STARK 验证器将使比特币交易更快、更经济。这是一个转折点，可能会将比特币带入一个效率和可扩展性的新时代，并保持其作为加密货币之王的地位。
怎么运行的
Circle STARK 的运作方式是生成证明，这些证明可以在不泄露底层数据的情况下验证大量计算。简而言之，交易可以快速安全地进行验证，且计算开销极小。对于比特币而言，这可能意味着更快的区块确认和更低的费用，从而使网络对用户和开发者都更具吸引力。
在 Catnet 环境中，开发人员可以测试 Circle STARK 验证器的各种配置和优化。这个迭代过程确保当该技术准备就绪时，它将是稳健、安全和高效的。
社区和开发者的影响
#StarknetOnBitcoin- Bitcoin Circle STARK 验证器进展非常快。@weikengchen 简直是一头野兽，简直疯狂。一切都是开源的。此验证器与我们的下一代证明器 STWO 兼容。它将重塑证明的最新技术……https://t.co/wkz3TY5RAS pic.twitter.com/yYaG3y0Bm7
- 阿卜杜勒 - (@dimahledba) 2024 年 6 月 5 日
开发者社区对 Catnet 的推出一直充满热情。它为创建能够与比特币更无缝、更高效交互的去中心化应用程序 (dApp) 开辟了新的可能性。跨链兼容性和增强功能的潜力巨大。
此外，此举符合 Starknet 提高加密领域互操作性的更广泛愿景。通过实现更高效的比特币交易，Starknet 正在为更加互联和多功能的区块链生态系统做出贡献。
为了支持这一愿景，StarkWare 推出了一项 100 万美元的基金来支持新的研究，该研究将阐明在比特币上采用 OP_CAT 升级的利弊。他们还通过 ZeroSync 基金会与 L2 Iterative Ventures (L2IV) 的 Weikeng Chen 建立了战略合作伙伴关系。
Starknet 推出 Catnet 用于测试比特币 Circle STARK 验证器一文最先出现在 Coinfomania 上。
