IOSG：突破以太坊VM瓶颈的创新探索

IOSG：探索以太坊性能提升与超越虚拟机瓶颈的创新之路

在探索以太坊性能提升的过程中，Bonsai网络设计的魅力在于它能够在链上完成计算的初始化、验证和输出。这听起来简直像是科幻小说里的情节，但STARK证明的引入也带来了新的挑战——验证成本过高。这确实是个棘手的问题，但我们不能因此忽视其潜力。

STARK证明依赖于低阶测试的安全性，用以验证多项式的低阶特性。它们还假设哈希函数表现得像随机预言机一样，这让整个系统看起来更加复杂，但也更有趣。

（来源：IOSG Ventures）

SMPC网络的核心依赖

在多方计算协议中，OTM旨在保护参与者的隐私。它通过让参与者在计算过程中不公开其输入数据来实现这一目标。这意味着即使是那些“诚实但好奇”的参与者也无法通过与其他节点通信来窥探底层信息。这让我想起了自己曾经参与的一个项目，我们当时也面临类似的隐私挑战，最终通过类似的策略解决了问题。

ZK可验证计算的优势与挑战

使用ZK可验证计算的好处在于它既安全又能保护隐私，但它没有内置的秘密共享功能。这让我想到了一个比喻：ZK就像一个保险箱，可以安全地存放你的秘密，但如果你想和朋友分享这个秘密，你就需要一个不同的工具。证明生成和验证之间的不对称性使ZK成为可验证外包计算的理想模型。然而，如果系统仅使用纯ZK验证计算，计算机（或单个节点）需要非常强大才能处理大量计算。为了在保护隐私的同时实现负载共享和平衡，必须引入秘密共享。在这种情况下，像SMPC或NMC这样的系统可以与像Lurk或RiscZero这样的ZK生成器结合，共同构建一个强大的分布式可验证外包计算基础设施。这让我对未来的技术发展充满了期待。

未来ZK证明方案的多样性

在ZK证明方案的竞争中，不太可能出现一家独大的情况。每个证明方法都针对特定类型的计算进行了优化，没有一种方法能适用于所有类型的模型。计算任务的种类繁多，这取决于开发人员在每个证明系统上做出的权衡。我认为基于STARK的系统和基于SNARK的系统以及它们未来的优化在ZK的未来都将占据一席之地。这就像是不同的乐器，它们各有特色，但在交响乐中都能找到自己的位置。