该机制历时三个月完成，已在比特币测试网 Signet 上实现，距离在更广泛的生态系统中使用还有很长的路要走。
StarkWare，一家开发零知识技术的公司自 2018 年起在以太坊上，已在比特币测试网中成功验证了零知识证明（ZK-proof）。
该机制历时三个月完成，并在比特币测试网 Signet 上实现。然而，要在更广泛的生态系统中使用它还有很长的路要走。
启用 zk-proofs (OP_CAT) 等功能的脚本仍然没有在比特币社区中获得足够的共识，因此无法引入.
尽管遭遇了这一挫折，StarkWare 的举动对于以前被称为数字宠物摇滚的网络来说是一件吉祥的事情。
由于网络的计算能力有限，在比特币上验证 zk-proofs 以前是不可用的。 OP_CAT 以及在比特币 Signet 上进行测试的公司旨在改变这一现实，并将其他区块链上存在的广泛应用程序引入业界最古老的生态系统。
“这是一项巨大的努力，花费了大量时间”，L2 Iterative 的 Weiken Chen 在与 The Defiant 分享的一份声明中说道。 “我们从一无所有开始。没有关于比特币 ZK 证明的信息。没有关于数学运算的信息可供遵循。我们必须构建完整的堆栈，最终导致 STARK 验证器的实施。”
当一方可以向另一方证明给定的陈述是真实的而不透露任何其他信息时，就会发生 zk 证明。 Zk-proofs 已经成为以太坊最有价值的计算工具之一，特别是随着以隐私为中心的扩展竞赛的继续进行。
以太坊的 Rollup 竞赛来到了比特币
以太坊上有两种类型的 Rollup：乐观和零知识。
乐观汇总假设所有第 2 层交易都是有效的，除非受到诚实的网络验证者的质疑和证明是错误的，而 zk-rollups 假设所有交易都是错误的，直到通过 zk-proofs 证明有效。
根据 L2Beat，乐观Arbitrum、Base 和 Optimism 等 Rollups 占据了近 70% 的市场份额。 StarkWare 自己的 Layer 2 Starknet 以 1.7% 的市场份额远远落后，在同类产品中排名第四，落后于 Linea (2.9%)、ZKSync (2.8%) 和 Scroll (4.3%)，后者的市场份额总锁定价值 (TVL) 飙升至 10 亿美元以上。
然而，尽管零技术扩展解决方案的使用较少，但它们具有重要的优势，包括增强隐私性和更快地连接到主网。
隐私是 StarkWare 一直关注的地方它的努力在很大程度上归功于其创始人兼首席执行官 Eli Ben-Sasson 与隐私区块链世界的联系。 Ben-Sasson 是顶级隐私加密货币 Zcash 背后的首席科学家。
Zcash 已经失去了在该领域的主导地位，市值为 4.78 亿美元，低于 2022 年 35 亿美元的峰值。该代币飙升了 8%今天升至 31 美元，原因似乎尚不清楚。
在比特币上测试零知识技术是有意义的，因为众所周知，比特币缺乏隐私且难以扩展。
OP_CAT 继续接受测试
有可能带来一些以太坊对比特币最有价值的工具是由中本聪时代的代码 OP_CAT 启用的。
OP_CAT 是“Operation Concatenate”的缩写，是一种操作码，最初由比特币的未知创造者中本聪提出。它允许在执行比特币交易期间将两条数据组合成一条数据。
该操作码毫无疑问是有争议的。
比特币社区中的许多人谴责它是对网络的攻击，这可能会打开像 MEV 这样的攻击向量。事实上，被称为“mempool sniping”的 MEV 式攻击已经变得普遍，尽管这主要是由于 Ordinals 而不是 OP_CAT。
Ben-Sasson 和 StarkWare 正在前线测试并推动 OP_CAT 的重新引入。 6 月初，该公司公布了一项雄心勃勃的计划，通过有争议的脚本扩展比特币的规模，而 zk-proof 就是朝这个方向迈出的一步。
在谈到 OP-CAT 时，Ben-Sasson 表示“它将保持所有比特币价值不变” ，同时提供一个简单的框架，足以为比特币带来 STARK 扩展。”
以上是StarkWare 将零知识技术引入比特币，在 Signet 测试网上验证 zk 证明的详细内容。更多信息请关注PHP中文网其他相关文章！
