未来10年Web3/区块链最重要的解决方案之一，花10分钟了解一下？(7)

量子安全： SNARK 使用椭圆曲线密码术，这不是量子安全的。量子计算的进步可能会使基于 SNARK 的系统容易受到攻击。STARK 不易受到攻击，因为它们的加密方案依赖散列函数。

可信设置： 如前所述，SNARK 在创建 CRS 期间需要可信设置。STARK 通过利用可公开验证的随机性来生成证明者和验证者共享的参数，从而避免了这个不便的问题。

需要注意的是，这些特点在不断发展。最近出现了新的基于 SNARK 的方案，以解决传统 SNARK 的弱点。 3. zkEVM 权衡 对于任何关心 zkEVM 产品细节方面的人（尤其是开发人员）来说，值得强调的是，并非所有的 zkEVM 都是一样的。

这些项目必须在与以太坊的兼容性和性能之间做出权衡。 所谓的“EVM 兼容”，即zkEVM 能够验证在与普通以太坊完全相同的环境中运行的程序。 例如，Scroll 不仅与 Solidity 编程语言等高级抽象层的 EVM 兼容，它还与字节码级别的 EVM 兼容。这一点很重要，因为它使 Scroll 上的开发体验与在以太坊本身上开发体验几乎没有区别，有区别的是使用检查单个操作码的复杂调试器工具。它还允许重复使用熟悉且经过实战考验的以太坊客户端，例如 geth，这意味着 zkEVM 可以草拟对以太坊本身的升级，而只需从项目中进行最少的额外工作。 这些zkEVM采用以Solidity编写的智能合约代码，采用这种方法可以让代码更有效地运行，但它抛弃了很多以太坊现有的基础设施。例如，众所周知，geth客户端具有某些限制，这就是为什么像zkSync这样的团队已经用其他用Rust编写的软件替换了它。 将此与“与 EVM 兼容”的zkEVM 进行比较，后者在与 EVM 协调方面并不那么严格。zkSync 团队的一位成员这样描述了这两种类型的 zkEVM： 如果您在 Windows 计算机上运行 Photoshop 软件，并且现在想在 Mac 上运行它，您可以重新编译 Photoshop代码使其针对 Mac 进行优化，或者 在您的 Mac 上运行 Windows 模拟器，并让该模拟器运行 Windows 版本的 Photoshop。很明显，前者会更有效率。 诚然，这种观点是有偏见的，并且忽略了更高兼容性所带来的一些好处，但这是一个很好的类比。在这一点上，现在说哪种方法最终会证明更好的策略还为时过早但我们应该很高兴有各种各样的实验现在同时进行。 随着 对ZK证明以及其他新兴加密技术的热议，让我相信我们可能正处于“加密，而不是区块链”的风口浪尖，类似于过去几年的“区块链，而不是比特币”的叙事情况一样。甚至一些比特币 和 Web3/区块链怀疑论者也指出，创新 ZK 证明技术的持续发展是（他们认为）原本毫无价值的替代链的一种救赎。 综上所述——ZK 证明的出现令人兴奋。 但是也许也会出现惊人的反差，说不定所有这些月球数学完全是虚构的，我们被一个全行业的阴谋所欺骗。毕竟，很多 ZK 证明的密码学解释听起来emmm……