作者：mo 来源：X，@no89thkey 翻译：善欧巴，
让我尝试用一个数字来回答这个问题：
我们是否有可能仅收敛于权衡平面中的一个神奇的最佳点？不，链下可验证计算的未来是一条连续曲线，模糊了专用 ZK 和通用 ZK 之间的界限。请允许我解释一下这些术语在历史上是如何演变的，以及它们在未来将如何融合。
两年前，“专业”的 ZK 基础设施意味着 circom、Halo2 和 arkworks 等低级电路框架。用这些构建的 ZK 应用程序本质上是手写的 ZK 电路。它们对于非常具体的任务来说速度快且成本低，但通常难以开发和维护。它们类似于当今IC行业中的各种专用集成电路芯片（物理硅），例如 NAND 芯片和控制器芯片。
然而，在过去的两年里，“专业化”的 ZK 基础设施已经发展成为更加“通用化”的基础设施。我们现在拥有 ZKML、ZK 协处理器和 ZKSQL 框架，它们提供易于使用和高度可编程的 SDK，可以构建不同类别的 ZK 应用程序，而无需编写一行 ZK 电路代码。例如，ZK 协处理器允许智能合约无需信任地访问历史区块链状态/事件/交易，并对这些数据运行任意计算。ZKML 使智能合约能够可靠地利用人工智能推理结果来实现广泛的机器学习模型。
这些演进的框架显著提高了其目标领域内的可编程性，同时仍然保持高性能和低成本，因为抽象层（SDK/API）很薄并且接近裸机电路。它们类似于 IC 市场中的 GPU、TPU 和 FPGA：它们是可编程的领域专家。
ZKVM 在过去两年中也取得了长足的发展。值得注意的是，所有通用 ZKVM 都是构建在低级、专用 ZK 框架之上的。这个想法是，您可以用高级语言（甚至比 SDK/API 更加用户友好）编写 ZK 应用程序，这些应用程序可以编译为指令集（RISC-V 或 WASM 类）的专用电路的组合。在我们对 IC 行业的类比中，它们就像 CPU 芯片。ZKVM 是低级 ZK 框架之上的一个抽象层，就像 ZK 协处理器等一样，尽管是一个更厚的层。
正如一位智者曾经说过的，一层抽象可以解决每个计算机科学问题，但同时会产生另一个问题。我的朋友，权衡就是这里游戏的名称。从根本上说，对于 ZKVM，我们在性能和通用性之间进行权衡。
两年前，ZKVM 的“裸机”性能确实很糟糕。然而，短短两年时间，ZKVM 的性能有了显着提升。为什么？因为这些“通用”的 ZKVM 已经变得更加“专业”了！性能提升的一个关键领域来自“预编译”。这些预编译是专门的 ZK 电路，可以计算常用的高级程序，例如 SHA2 和各种签名验证，比将它们分解为指令电路的正常流程要快得多。
因此，现在的趋势已经很明显了。专业化的 ZK 基础设施正变得越来越通用，而通用化的 ZKVM 也正变得更加专业化！
对于过去几年的这两种解决方案，优化是实现比以前更好的权衡点：在一个点上做得更好，而不牺牲另一点。这就是为什么双方都觉得“我们绝对是未来”。
然而，计算机科学智慧告诉我们所有人，在某一时刻，我们将遇到“帕累托最优墙”（绿色虚线），在这种情况下，我们无法在不牺牲另一种特征的情况下改善一种特征。因此，一个价值百万美元的问题出现了：其中一种会在适当的时候完全取代另一种吗？
如果 IC 行业的类比能有所帮助的话：CPU 的市场规模为 1,260 亿美元，整个 IC 行业，加上所有“专用”IC，市场规模为 5,150 亿美元。我确实相信，在微观层面上，历史将在这里押韵，并且不会相互取代。
话虽如此，今天没有人说，“嘿，我正在使用一台完全由通用 CPU 驱动的计算机”，或者“嘿，看看这个由专用 IC 驱动的奇特机器人。”是的，我们确实应该从宏观层面来看待这件事，未来就是提供一个权衡曲线，让开发者根据个人需求灵活选择。
未来，领域专家 ZK 基础设施和通用 ZKVM 可以并且将会协同工作。这可以多种形式发生。如今，最简单的方法已经成为可能。例如，您可能使用 ZK 协处理器在区块链交易的长期历史中生成一些计算结果，但这些数据之上的计算业务逻辑非常复杂，以至于您无法轻松地在 SDK/API 中表达它。
你能做的就是获得数据和中间计算结果的高性能和低成本的 ZK 证明，然后通过证明递归将它们汇集到广义 VM。
虽然我确实认为这些类型的辩论很有趣，但我知道我们都在为由链下可验证计算提供支持的区块链构建异步计算的未来。当我们看到未来几年出现大规模用户采用的用例时，我相信这场争论可以轻松解决。
ADAX币是一种虚拟货币，是基于区块链技术的数字资产。它通过去中心化的方式，实现了安全、快速、透明和匿名的交易。ADAX币具有许多优点，例如低费用、高度隐私和去中心化等。作为一种创新的数字资产，ADAX币在数字货币市场中备受瞩目。在购买和销售ADAX币时，选择一个可靠的交易所是非常重要的。以下将介绍三家著名的交易所：欧易交易所、币安交易所和火必交易所。欧易交易所是一个知名的数字货币交易平台。它拥有
GEURO币最高时价GEURO币是近年来新兴的一种数字货币，在全球范围内广受欢迎。其采用了高度安全的区块链技术，拥有完善的生态体系和极强的金融属性，成为数字货币中备受关注的品种之一。那么，GEURO币最高时价是多少呢？在2018年时，GEURO币达到了其历史最高价值。根据市场数据显示，当时GEURO币的价格飙升至18.2美元，创下了历史新高。这个价格远高于其发布初期时的价格。那么到底是什么原因使得
A2A币是一种数字加密货币，它是基于区块链技术的一种代币，具有快速、安全和匿名的特点。作为一种全球流通的数字资产，A2A币在各种交易平台上得到广泛应用。下面将介绍三家著名的A2A币交易所：欧易交易所、币安交易所和火必交易所。欧易交易所是一个知名的数字货币交易平台，它提供了A2A币的交易和兑换服务。作为欧洲领先的加密货币交易平台之一，欧易交易所汇聚了众多的数字货币用户和投资者。交易平台通过提供高效的
4 50X币怎么交易
50X币是一种虚拟货币，它是以50X项目为背景发行的。50X币是一种基于区块链技术的加密数字货币，由去中心化的机制保障其安全性和匿名性。这一项目的目标是为全球用户提供安全、快速、可靠的交易和支付解决方案。欧易交易所是一家知名的数字货币交易所，它提供了一个安全、便捷的平台供用户交易50X币和其他数字货币。作为一家领先的交易所，欧易交易所具有强大的交易引擎和高度可靠的安全措施。用户可以通过欧易交易所进
AADA币是一种新兴的数字货币，它基于区块链技术，具有安全、便捷、去中心化等特点。AADA币的发行总量有限，同时采用先进的加密算法确保交易安全以及用户隐私保护。随着加密货币市场的不断发展，越来越多的人开始关注和投资AADA币。在出售AADA币之前，您首先需要注册一个账户在交易所。下面将介绍三个著名的交易所，它们是欧易交易所、币安交易所和火必交易所，它们都是领先的全球加密货币交易平台。欧易交易所是全
GIGO币的创始人是谁？目前，加密货币已经成为全球范围内备受关注的新兴行业，越来越多的人开始关注这个领域，希望从中获得丰厚的回报。在这个行业中，不同的币种涌现出来，其中一种币种就是GIGO币。那么，GIGO币的创始人是谁呢？GIGO币的创始人是谁？GIGO币的创始人是一位中国的年轻人，他的名字叫做阿信。阿信是一位资深的程序员，对区块链技术和加密货币领域非常感兴趣。他在研究了多年这个领域之后，发现市
现在回顾GEM币的历史价格走势作为数字货币市场上的一员，GEM币在近几年也经历了不少波动。这篇文章将会回顾GEM币的历史价格走势，以及探讨其中影响价格波动的因素。2017年 - 异常波动GEM币于2017年3月上市，并在其随后的几个月里经历了一波异常的价格波动。自2017年3月4日上市至4月18日，GEM币价格从0.006美元涨至1.51美元，市值一度超过10亿美元，并成为数字货币市场热门币种之一
GOTEM币历史价格走势怎么样？ GOTEM币，是以去中心化的方式运作的电子货币，它是建立在区块链技术之上的，由于其新颖的设计和广泛的应用，成为了近年来备受关注的数字货币之一。 GOTEM币的历史价格走势可谓是波涛汹涌，涨跌差异巨大。在2017年初，GOTEM币的价格只有0.01美元左右，但在同年12月达到最高点，一个GOTEM币价格高达19.60美元。而后，由于监管力度的不断加强和市场风险的不断
9 AE币哪个市场有
AE币是一种基于区块链技术的数字货币，它由Aeternity Foundation于2017年发行。AE币采用了一种新的共识机制——殖民地，这使得它在可扩展性和速度方面有了显著的优势。AE币的目标是成为未来去中心化应用（DApps）的首选平台，为用户提供可靠、高效和安全的交易体验。欧易交易所是全球知名的加密货币交易平台之一，该交易所成立于2014年，并在众多数字货币交易所中保持着领先地位。欧易交易
10 ADDY币怎么出售
ADDY币是一种虚拟货币，它的全称是AddyCoin，是加密货币市场上的一种数字资产。ADDY币的发行始于2017年，由加密货币爱好者和技术专家团队共同创建和维护。作为一种去中心化的数字货币，ADDY币通过区块链技术实现了快速、安全、低成本的全球点对点交易，成为了越来越多人选择和接受的一种支付工具。在购买和出售ADDY币的过程中，交易所扮演着至关重要的角色。目前，一些著名的ADDY币交易所在全球范
