L2IV 与 Polyhedra 在 Bitcoin 上探索 ZK 证明的合作
L2IV 已与我们的投资组合公司 Polyhedra ( $ZK ) 合作，研究在 Bitcoin 上验证 ZK 证明的相关问题。该研究文章由 L2IV 贡献，首次发布于 Polyhedra 的技术博客。完整文章可在此找到。
https://learnblockchain.cn/article/14022
在这项详细研究中，我们提供了关于 Bitcoin 脚本（可以理解为“以太坊智能合约”在 Bitcoin 上的体现）的全面研究。与 EVM 不同，Bitcoin 脚本的功能要简单得多，因此，尽管以太坊上的 ZK 验证器是一个已解决的问题（见所有 ZK rollups），但如何将同样的功能带入 Bitcoin 网络仍然是一个悬而未决的问题。
文章建议，一个即将到来的 BIP 可能是实现高效 Bitcoin ZK 验证器的关键，该提案重新引入 OP_CAT 操作码。OP_CAT 是 Bitcoin 脚本语言中的一个特定操作码，早在 2010 年就被中本聪禁用。如果这个操作码被重新引入，可以在 Bitcoin 上启用有效的 Merkle 树证明验证，这将显著提升 Bitcoin ZK 验证器的性能。
Merkle 树证明验证仅是 ZK 验证器的一部分。另一部分与有限域算术有关。文章深入研究了哪些有限域是“Bitcoin 友好的”，以便在 Bitcoin 中处理时不会产生过多的开销。
最后，文章讨论了实施细节。我们讨论了如何使用 OP_CAT 在 Bitcoin 中启用称为契约的功能，这使我们能够将证明验证分割为多个交易。我们还讨论了利用加密经济安全降低证明者开销的欺诈证明解决方案。
Bitcoin ZK 验证器对 Polyhedra 未来应用的重要性
Bitcoin ZK 验证器对 Polyhedra 来说至关重要，因为在 Bitcoin 上运行 ZK 验证器的能力是 Bitcoin 原生的二层、桥接、重质押及许多其他应用程序的关键。我们鼓励读者阅读这篇技术文章——尽管我们承认它相当长——但它能让任何人快速了解 Bitcoin 生态系统的前沿状态。
在文章的其余部分，我们解释了 Polyhedra 开始研究 Bitcoin 的动机。这确实是一个经过精心计划的战略举措。
研究“如何在 Bitcoin 上验证 ZK 证明？”提供了更深入的解释。
探索 Polyhedra 向 Bitcoin 战略性转移
Polyhedra 一直在致力于 ZK 桥接，并与 LayerZero 建立了紧密合作，成为 ZK 桥接的主要参与者，而大多数竞争对手——Succinct、Nil Foundation、Polymer、Lagrange——已经放弃了 ZK 桥接并转向其他方向。这与我们在与 LP 分享的备忘录中的预测相吻合。该备忘录中的大多数分析——包括对 Paradigm 最终会投资 Succinct 的预测——都很好地符合今天的现实。
在那份备忘录中，我们简要提到了 Polyhedra 需要超越 ZK 桥接并考虑未来商业计划的必要性，因为 Polyhedra，尤其是其团队，仍具备很大的潜力。尤其是现在，他们已经获得了 $ZK 的票据，不应仅限于 ZK 桥接。
(摘自 L2IV 内部备忘录对 Polyhedra的内容)
… 第三，我们确实认为 Polyhedra 需要开始考虑未来的商业计划……我们确定会有那么一个时刻，所有主要链上的大多数 ZK 桥接已经建立。在那种情况下，他们确实需要思考下一个章节……还有其他商业机会，尽管它们可能更小，且与 ZK 桥接略有距离，我们认为 Polyhedra 应继续探索……
Polyhedra 的推进速度远超预期，因为 LayerZero 在某种程度上“加速”了模块化区块链的互操作性部分。考虑到近期的代币上市以及即将到来的 Wormhole 和 LayerZero 的上市，现在是重新审视 Polyhedra 的好时机。
我们参与了 Polyhedra 的两个募资轮。作为投资者，我们的责任之一——这也是我们对 LP 的受托义务的一部分——就是帮助 Polyhedra 成长并进入下一个阶段。
当前市场流行趋势
根据与交易所和其他风险投资公司朋友的讨论，许多人同意这轮牛市将集中关注除 ZK 之外的三个主题。
-
模块化 Bitcoin 基础设施
-
重质押及流动性重质押
-
AI + 加密货币
我们在这三个领域进行了多项早期阶段的投资——Bitcoin（Babylon、Nubit）、重质押（EigenLayer、Babylon）、AI（Ritual、Lumino AI）。读者可以从我们在这个 Substack 上的三篇文章中了解更多信息：
-
“我们为何投资 Nubit”,
-
“我们为何投资 Lumino AI”, 和
-
“我们为何投资 Babylon”.
我们正在积极投资这一领域，其他几个投资也在进行中。
Polyhedra 与 Bitcoin
我们的基金一直在积极探索和投资 Bitcoin 生态系。在我们的 关键趋势文章 中，我们扩展了对新兴 Bitcoin 生态系的看涨支持。我们的研究合伙人 Weikeng Chen 个人为 BitVM 贡献了大量代码，并看到了在 Bitcoin 上启用新可编程性的许多潜力与实用性。
Polyhedra 自去年底以来一直在研究 Bitcoin，而公众还未察觉这一趋势。时机在此非常重要，因为 Bitcoin 减半即将来临。
特别是 Bitcoin + 重质押。
我们想提到，Renzo 刚刚超越 Puffer Finance（502k 对比 371k 的重质押 ETH），成为仅次于 ether.fi（已上市）的第二个流动性重质押代币 (LRT) 协议。请查看 Hashed 提供的 这个 Dune 仪表板。
L2IV 对 Polyhedra 的信心
在我们的行业中，只有少数项目来自顶尖大学。我们已经投资了其中的几个（EigenLayer、Polyhedra、Babylon、Nubit），这些团队展示了他们的潜力和能力。
我们还未在 ZK 领域内找到任何一支团队，包括东部或西部，累计对现代 ZK 证明做出如此多的学术贡献。三位联合创始人曾是 UC Berkeley EECS 的博士生。
这就是我们 why 感到 ZK 桥接很可能只是 Polyhedra 的起点，并且我们将帮助团队向前发展。
在 l2iterative.com 上找到 L2IV 及其 Twitter @ l2iterative
