btc哪个应用比较好（哪个量化交易软件不会被盗2025）

荷兰加密交易所有哪些平台？btc哪个应用比较好最新榜单如下：1.欧昜应用、2.Kraken应用、3.网关应用、4.Radar Relay应用、5.胖比特应用、6.比特网应用、7.Coinhako应用、8.波网app、9.虎符应用、10.土星应用，这些应用因其高水平的安全保障、高活跃度的市场交易和优秀的售后服务而备受推崇。

一、哪个量化交易软件不会被盗最新版本

1.欧昜app

欧昜是一家是一个专注区块链资产的交易平台App，殴亿优点是币圈大型头部交易平台之一，以合约交易见长，近期又上线了期权交易，产品交易种类比较丰富。同时自带矿池服务，实现了挖矿到交易全流程闭环。交易上APP的操作也非常的流畅，交易深度也是没话说，符合一线大所的标准，并且其平台币OKB也一直比较稳定，对于喜欢投资平台币的朋友也是一个不错的选择；不过欧意交易平台的交易系统偶尔会有掉线和插针的行情，未来还有一定的优化空…

资料：

欧意ok以成就和实力证明自己：从行业早期参与者，经过努力，成长为当今行业领导者，是行业第一个一站式交易平台，交易量.持仓量.资产和用户数量一直处于领先地位。然而，对于一个主导平台，除了自身的进步和发展外，还需要承担更多的行业责任，如促进行业的健康发展.为行业培养更多优秀人才，为行业创造更多可能性。

兜兜累评论：

欧昜交易所的交易费用相对较低，同时交易速度也很快，让我在交易中获得了不错的收益。

2.Krakenapp

Krakenapp为用户提供了永续合约、快捷合约、牛熊对战、赠金模式等多种交易产品。快捷合约可保证市场开仓100%快速成交，同时实现开仓&平仓零滑点。赠金模式全方位空投，且操作方式与实盘合约一致，用户可通过各类成长任务获得收益并前往投资交易。

资料：

Kraken是本土比特币交易量最大的交易所，也是非常有格局和性格的一家交易所，2014年成立至今也只交易三个币种，BTC,ETH,BCH，目前获得了财团的两轮融资，也投资方也是赫赫有名。其创始人现在也是区块链协会的主任。该交易所的特色是交易币种少，交易深度非常好，安全，成立至今没有爆发过盗币事件。

吃尺迟池评论：

Kraken作为一个新手，我对数字货币交易平台的交易规则和安全性有些疑虑。但是，这个平台的透明度和公正性让我非常放心。他们严格遵守各项法规和规定，确保了我的交易权益得到保障。

3.网关app

网关app作为一家专业数字资产服务交易所，致力于创建一个自治、安全、合规的区块链数字资产交易平台，让机构投资者和个人投资者可以放心地进行任何规模任何频次的交易，而无需担心交易平台的公正性和安全性、用户数据的隐私性、平台规则的透明性、交易系统的稳定性和可靠性。

资料：

提供了交易统计和收益率分析等功能，用户可以了解自己的交易情况和盈亏情况。

蕾蕾蕾er评论：

网关网站稳定可靠，使我能够安心使用并完成交易。

4.Radar Relayapp

Radar Relayapp成立于2018年，是由JLAB、JONE、合约资本领投，十余家知名股权投资机构投资的新一代国际生态型交易所。平台总部位于新加坡，目前注册用户20余万，台币、美金、卢布已打通，马来西亚林吉特，欧元、卢布入金渠道正在推进，在进军东南亚市场的同时，全球化脚步并未放缓，市场即将开启欧洲市场逐步将打通欧元、英镑一站式法币出入，建立起以港澳台、东南亚、俄罗斯市场为辐射中心，面向全球构建的币全生态体系，在底层公链上与ONT本体在共同推动东南亚市场和区块链游戏生态，与XEM新经链战略合作底层DApp推动区块链技术落地，与俄罗斯公链MILE合作全球化支付项目协作与生态五大模块：(交易所)、BQpay(币银支付)、BQgame(区块链游戏平台)、BQopen(开放平台)、BQotc(场外交易市场),结合生态服务能力为项目护航，一步全球选择生态。

资料：

是一家著名的数字货币交易平台，提供高效的交易技术和多样化的交易选项。

章鱼红红评论：

Radar Relay我喜欢它的简洁设计，没有过多的杂乱信息，非常清晰。

5.胖比特app

胖比特app2014年3月获300万美元天使轮融资，目前，已跻身美国最活跃的数字货币交易所阵列，根据Bitcoin Charts目前的数据显示，平台的日成交量为4.579 BTC，这一数据超过了竞争对手ANX以及BTC-e。

资料：

是一家全球知名的数字资产交易平台，为用户提供安全可靠的交易服务和多样化的交易选项。

aaqqsdddess评论：

胖比特交易所的客户服务非常热情友好，售后真的不错。

6.比特网app

比特网app实力雄厚，同时该交易所的团队也非常不错，运营经验丰富，知名度较高，同时交易有深度，全球化程度高，口碑也非常不错，目前支持加拿大元，美元，日元和英镑等法币的交易。

资料：

与多家主流媒体和合作伙伴合作，提供全面的行业报道和分析。

Cddbjhf评论：

比特网支持多种语言，方便我随时使用。

7.Coinhakoapp

Coinhakoapp是全球首家基于社区共识的数字资产交易平台，完美结合中心化交易所的高性能和去中心化公链的高可靠性的优点。通过公链，实现数字资产安全存储、项目众筹、资产发行，及基于 DPOS 的超级节点决策系统，全方位服务于我们交易平台;同时，拥有强大的研发团队及管理团队，有高频交易的核心技术，经多方认证和检验的内存撮合技术，极限处理速度为 100 万单/秒，在行业内处于领先水平。

资料：

为用户提供了个人账户和企业账户，满足不同用户的需求。

3。yu！56评论：

Coinhako我非常欣赏交易所的交易平台稳定性，即使在高负载情况下，交易平台也能稳定运行，让我可以放心地进行大量交易。

8.波网app

波网app是一家全球性的数字货币衍生品交易平台，用户遍布全球80多个国家，覆盖北美、欧洲、亚太等主流地区。始终秉承“用户至上，技术为王”的运营理念，时刻倾听用户心声、关心用户需求、思进用户体验，致力于打造公平、安全、高效及人性化的交易生态。

资料：

的交易平台提供多种交易工具和分析指标，帮助用户进行交易决策和风险控制。

陈敬衡评论：

波网他们的收费标准清晰明确，让我在交易过程中节省了不少成本。

9.虎符app

虎符app成立于2017年12月，由比特领衔投资，是集团旗下全球知名数字资产交易服务商，集团旗下矿池是全球第5大比特币矿池和全球第1大BCH矿池。已取得爱沙尼亚合规牌照，是最早一批获得合规牌照的交易平台，现提供币币交易、杠杆交易、永续合约等多元化衍生品交易服务。平台支持中/英/日/韩/俄等15种语言，为超过100多个国家(或地区)的100多万用户提供安全、可信赖的交易服务。

资料：

持续推出新的交易品种和创新产品，丰富用户的投资选择。

c6829评论：

虎符交易所的资金管理非常安全，它采用了多重安全措施来保护用户的资产和交易安全。

10.土星app

土星app致力于成为区块链世界的传送门，看资料介绍是一家全球区块链数字资产托管国际站。平台实行100%准备金，向全球用户提供银行级的可靠，安全和易用的区块链资产交易服务，对这个交易所熟悉的也就知道这个交易所的历史，在当时在国内也是较为知名的头部山寨币交易所。创始人老猫，其团队非常优秀，即便是运行到现在也从来没有爆发过盗币事件，安全做的较好，但是这个交易所的投资人是李和他的硬币资本，因为上过很多李的币和他站台的币，但是很多人也是被割的厉害，所以口碑不是太好。总体来说该交易所体验流畅，用户基础不错，关键是安全做的较好，各方面的发展也都非常稳健，所以也是一个不错的交易平台。

资料：

是一家数字货币交易所，自2013年3月开始运营，是全球十大最古老的加密货币交易所之一，是新数字经济的传统。我们的交易平台支持领先加密货币的用户之间的在线买卖，例如比特币和以太坊兑谢克尔，以及数字货币管理和保留服务以及大规模交易 (OTC) 的执行。

nnn12347评论：

土星新手引导非常详细，让我能快速熟悉交易操作。

二、币圈问答

虚拟币交易平台app排行榜

虚拟币交易平台app排行榜：为你揭秘最受欢迎的交易平台

如果你是一个虚拟货币爱好者或者投资者，那么选择一个可靠的虚拟币交易平台是必不可少的。现如今，市面上出现了越来越多的虚拟币交易平台，每个平台都有着自己的优缺点和特色，究竟哪个交易平台最受欢迎呢？下面为大家揭秘最受欢迎的虚拟币交易平台app排行榜。

1. Coinbase

Coinbase是全球最大的虚拟币交易平台之一，成立于2012年，拥有超过3200万用户和100多个国家的交易。它支持比特币、以太币、比特币现金、莱特币等多种虚拟货币交易，同时提供杠杆交易服务。Coinbase用户可以通过手机应用程序进行交易和管理账户，这个应用还提供了实时行情、交易大数据和虚拟币钱包等功能，让用户体验更加便捷。

2. Binance

Binance成立于2017年，是全球最大的虚拟币交易平台之一，也是最受欢迎的平台之一。它支持超过100多种虚拟货币交易，用户可以通过网站或手机应用程序进行交易。此外，它还提供了杠杆交易、期货交易和跨链转账等功能。Binance在全球拥有大量的用户，其交易量也是非常大的。

3. Bitfinex

Bitfinex成立于2012年，是一个非常受欢迎的虚拟币交易平台。它支持比特币、以太币等多种虚拟货币交易，并提供了margin trading、over-the-counter和短期融资等多项服务。Bitfinex用户可以通过网站或手机应用程序进行交易，还可以查看订单簿、价格走势图以及最新的市场动态。

4. Huobi

Huobi成立于2013年，是另一个受欢迎的虚拟币交易平台。它支持比特币、以太币等多种虚拟货币交易，并提供了margin trading和跨资产兑换等不同的服务。Huobi在全球范围内拥有大量用户，其交易量也非常大。此外，它还提供短期和长期持有信托钱包等服务，让用户更加安全地保管他们的数字资产。

5. OKEx

OKEx成立于2014年，是一个受欢迎的虚拟币交易平台。它提供了超过100多种虚拟货币交易服务，并支持期权、期货和swap等不同的交易策略。OKEx用户可以通过网站或手机应用程序进行交易，还可以使用多个语言版本的平台来进行更多的交易。

总结

以上就是虚拟币交易平台app排行榜的五个最受欢迎的平台。每个平台都有其独特的优势和特点，选择哪个交易平台取决于你的需求和优先考虑的因素，比如费用、手续费、交易量、支持的虚拟货币种类等。无论你选择哪个平台，在进行虚拟币交易时，一定要保持警惕和谨慎，了解市场行情，做出明智的交易决策。

三、币圈最新消息

贝莱德指定Anchorage Digital为其现货加密ETP的额外托管机构

据悉报道，加密记者 Eleanor Terrett 披露，Anchorage Digital Bank N.A. 被指定为支持现货加密 ETP 及其他提供加密资产敞口的 BlackRock 基金的额外托管机构。截至 2025 年 4 月 3 日，BlackRock 是全球最大的现货加密 ETP 发行商，管理资产规模达 500 亿美元。 通过 Anchorage，贝莱德现在可以获得数字资产托管服务、质押服务、结算服务以及链上治理解决方案。这对该公司而言是一项重大战略举措。

Kraken正在探索10亿美元的债务融资，目前该计划处于初步阶段

据悉报道，据知情人士透露，加密货币交易所 Kraken 正在探索在潜在的 IPO 之前筹集 10 亿美元的债务融资。 知情人士表示，该公司正与高盛集团和摩根大通合作开展这项计划，目前该计划尚处于初步阶段。所筹集的任何债务都将用于推动公司增长而非运营需要，最低可筹到 2 亿美元。 另一位知情人士表示，除了债务融资外，Kraken 还考虑通过股权融资。目前尚未做出最终决定，融资规模等条款仍有可能发生变化。 Kraken、高盛和摩根大通的代表拒绝置评。

a16z：探索 zkVM 的高效安全之路

作者：Justin Thaler 来源：a16z 翻译：善欧巴，据悉

零知识虚拟机（zkVMs） 旨在“让 SNARKs 走向大众化”，使得即使没有 SNARK 专业知识的人，也能证明他们在特定输入（或见证）上正确运行了某个程序。其核心优势在于开发者体验，但当前 zkVMs 在安全性和性能方面仍面临巨大挑战。如果 zkVMs 想兑现承诺，设计者必须克服这些障碍。本文将探讨 zkVM 发展的可能阶段，整个过程可能需要数年才能完成——别听信任何人说这能很快实现。

面临的挑战

在安全性方面，zkVMs 是高度复杂的软件项目，仍然充满漏洞。

在性能方面，证明一个程序的正确执行可能比原生运行慢数十万倍，使得大多数应用在现实世界的部署暂不可行。

尽管如此，区块链行业的许多声音仍然宣传 zkVMs 已经可以立即部署，甚至一些项目已经在支付高昂的计算成本，以生成链上活动的零知识证明。然而，由于 zkVMs 仍存在诸多漏洞，这种做法实际上只是 一种昂贵的伪装，让系统看起来像是由 SNARK 保护，而实际上它要么依赖权限控制，要么更糟糕——暴露于攻击风险。

现实情况是，我们距离构建真正安全且高效的 zkVM 仍有数年之遥。本文提出了一系列具体且分阶段的目标，以帮助我们追踪 zkVM 的真实进展，削弱炒作，并引导社区关注真正的技术突破。

安全性发展阶段背景

基于 SNARK 的 zkVMs 通常包含两个核心组件：

1.多项式交互式预言机证明（Polynomial Interactive Oracle Proof, PIOP）：用于证明多项式（或由多项式派生的约束）的交互式证明框架。

2.多项式承诺方案（Polynomial Commitment Scheme, PCS）：确保证明器无法伪造多项式评估结果而不被检测到。

zkVM通过将有效的执行轨迹编码为约束系统，确保虚拟机的寄存器和内存的正确使用，然后利用 SNARK 证明这些约束的满足性。

在如此复杂的系统中，唯一能确保 zkVM 无漏洞的方法就是 形式化验证。以下是 zkVM 安全性的不同阶段，其中第一阶段关注协议正确性，第二和第三阶段关注实现正确性。

安全性阶段 1：正确的协议

PIOP 可靠性的正式验证证明；

PCS 在某些加密假设或理想模型下具有约束力的形式验证证明；

如果使用 Fiat-Shamir，则通过结合 PIOP 和 PCS 获得的简洁论证在随机预言模型中是安全的正式验证证明（根据需要使用其他加密假设进行增强）；

PIOP 所应用的约束系统等同于 VM 的语义的形式验证证明；

将以上所有这些部分全面「粘合」成一个单一的、经过形式化验证的安全 SNARK 证明，用于运行 VM 字节码指定的任何程序。如果协议打算实现零知识，则还必须对此属性进行形式化验证，以确保不会泄露有关见证人的敏感信息。

如果 zkVM 使用 递归，那么在递归过程中涉及的 PIOP、承诺方案和约束系统 都必须经过验证，否则该子阶段不能算作完成。

安全性阶段 2：正确的验证器实现

这一阶段要求对 zkVM 验证器的实际实现（如 Rust、Solidity 等）进行形式化验证，确保其符合第一阶段已经验证的协议。完成该阶段意味着 zkVM 的实现与理论设计是一致的，而不仅仅是一个纸面上的安全协议，或一个使用 Lean 等语言编写的低效规范。

为什么只关注验证器，而不关注证明者主要有两个原因：首先，确保验证器正确，即可保证 zkVM 证明系统的完备性（即：确保验证器不会被欺骗，使其接受一个错误的证明）。其次，zkVM 的验证器实现比证明者实现简单一个数量级以上，验证器的正确性更容易在短期内得到保障。

安全性阶段 3：正确的证明者实现

这一阶段要求对 zkVM 证明者的实际实现进行形式化验证，确保它能够正确生成 第一、二阶段中已经验证的证明系统的证明。这一阶段的目标是完备性，即：任何使用 zkVM 的系统都不会因为无法证明某个合法语句而卡死。如果 zkVM 需要具备零知识属性，则必须提供形式化验证，以确保证明不会泄露关于见证的任何信息。

预计时间表第 1 阶段进展：我们可以期待明年取得一些进展（例如，ZKLib就是这样一项努力）。但至少两年内没有一个 zkVM 能够完全满足第 1 阶段的要求。

第 2 和第 3 阶段：这些阶段可以与第 1 阶段的某些方面同时推进。例如，一些团队已经证明Plonk 验证器的实现与论文中的协议相匹配（尽管论文的协议本身可能未得到完全验证）。尽管如此，我预计任何 zkVM 都不会在不到四年的时间内达到第 3 阶段——甚至可能更长。

关键注意事项：Fiat-Shamir 安全性与已验证的字节码

一个主要的复杂性问题是，Fiat-Shamir 变换的安全性仍然存在未解的研究问题。所有三个安全阶段都将 Fiat-Shamir 和随机预言机视为绝对安全，但实际上整个范式可能存在漏洞。这是由于随机预言机的理想化模型与实际使用的哈希函数之间存在差异。

在最坏的情况下，一个已经达到安全性阶段 2 的系统，可能因 Fiat-Shamir 相关问题而被发现完全不安全。这值得我们高度关注，并持续进行研究。我们可能需要修改 Fiat-Shamir 变换本身，以更好地防御此类漏洞。

不使用递归的系统在理论上更安全，因为已知的一些攻击涉及的电路类似于递归证明中使用的电路。但这一风险仍然是一个未解决的基本问题。

另一个需要注意的问题是，即使 zkVM 证明了某个计算程序（由字节码指定）被正确执行，但如果字节码本身存在缺陷，那么这个证明的价值极其有限。因此，zkVM 的实用性在很大程度上依赖于如何生成经过形式化验证的字节码，而这一挑战极其巨大，并且超出了本文的讨论范围。

关于抗量子安全性

在未来至少 5 年（甚至更长时间）内，量子计算机不会构成严重威胁，而软件漏洞则是一个生死攸关的问题。因此，目前的首要任务应该是实现本文所提出的安全性和性能目标。如果非抗量子安全的 SNARKs 能够更快满足这些目标，我们应该优先使用它们。等到抗量子 SNARKs 赶上发展，或者有迹象表明具备实际威胁的量子计算机即将出现时，再考虑切换。

具体的安全级别

100-bit 经典安全性 是任何 SNARK 用于保护有价值资产的最低标准（但仍然有一些系统未达到这一低标准）。即便如此，这仍然不应被接受，标准密码学实践通常要求128-bit 安全性及以上。如果 SNARK 的性能真正达标，我们不应该为了提升性能而降低安全性。

性能阶段当前情况

目前，zkVM 证明器的计算开销大约是原生执行的 100 万倍。换句话说，如果一个程序的原生执行需要 X 个 CPU 周期，那么生成正确执行的证明大约需要 X × 1,000,000 个 CPU 周期。这一情况在一年前如此，今天仍然如此（尽管存在一些误解）。

当前行业中的一些流行说法可能会造成误导，例如：

1.“为整个以太坊主网生成证明的成本低于每年 100 万美元。”

2.“我们几乎实现了以太坊区块的实时证明生成，只需要几十张 GPU。”

3.“我们的最新 zkVM 比前代快 1000 倍。”

然而，这些说法在没有上下文的情况下可能具有误导性：

?比旧版 zkVM 快 1000 倍，仍然可能非常慢，这更能说明过去有多糟糕，而不是现在有多好。

?以太坊主网的计算量可能在未来增加 10 倍，这将使当前 zkVM 的性能远远跟不上需求。

?所谓的“几乎实时” 证明生成，在许多区块链应用的需求下仍然过于缓慢（例如 Optimism 的区块时间为 2 秒，比以太坊的 12 秒快得多）。

?“几十张 GPU 长时间 24/7 运行” 并不能提供足够的活性保证。

?这些证明生成时间通常是针对超过 1MB 的证明大小，而这对于许多应用来说过大。

?“每年不足 100 万美元的成本” 只是因为 以太坊完整节点一年仅执行约 25 美元的计算。

对于区块链之外的应用场景，这种计算开销显然过高。无论多少并行计算或工程优化，都无法弥补如此巨大的计算开销。

我们应该设定的基本目标是：性能开销不超过原生执行的 100,000 倍。但即便如此，这仍然只是第一步。如果要实现真正的大规模主流应用，我们可能需要将开销降低到原生执行的 10,000 倍或更少。

性能测量

SNARK 性能有三个主要组成部分：

1.底层证明系统的固有效率。

2.针对特定应用的优化（例如预编译）。

3.工程和硬件加速（例如 GPU、FPGA 或多核 CPU）。

虽然（2）和（3）对于实际部署至关重要，但它们适用于任何证明系统，因此不一定能反映基本开销的改进。例如，给 zkEVM 添加 GPU 加速和预编译可以轻松比单纯依赖 CPU 提高 50 倍的速度——这可能会让一个固有效率较低的系统看起来优于另一个未经过相同优化的系统。

因此，本文重点衡量在没有专用硬件和预编译的情况下，SNARK 的基本性能。这与当前的基准测试方法不同，后者通常将所有三个因素合并为一个“总体数值”。这就像通过抛光时间来评判钻石，而不是评估其固有的清晰度。

我们的目标是隔离通用证明系统的固有开销，降低尚未深入研究的技术的进入门槛，并帮助社区排除干扰因素，从而聚焦于证明系统设计的真正进展。

性能阶段

以下是我提出的五个性能阶段的里程碑。首先，我们需要在 CPU 上大幅降低证明者开销，之后才能进一步依靠硬件减少开销。同时，内存使用也必须得到改善。

在所有阶段中，开发者不应为了 zkVM 的性能而调整代码。开发者体验是 zkVM 的核心优势。如果为了满足性能基准而牺牲 DevEx，那不仅失去了基准测试的意义，也违背了 zkVM 的初衷。

这些指标主要关注证明者成本。然而，如果允许验证器成本无限制增长（即无上限的证明大小或验证时间），那么任何证明者指标都可以轻松满足。因此，要满足下述阶段的要求，必须同时限定最大证明大小和最大验证时间。

阶段 1 要求：“合理的非平凡验证成本”

?证明大小：必须小于见证大小。

?验证时间：验证证明的速度不得比程序的原生执行慢（即，不得比直接执行计算慢）。

这些是最低限度的简洁性要求，确保证明大小和验证时间不会比直接发送见证给验证器并让其直接检查更糟糕。

阶段 2 及以上

?最大证明大小：256 KB。

?最大验证时间：16 毫秒。

这些上限有意设置得较为宽松，以适应新颖的快速证明技术，即使它们可能带来更高的验证成本。同时，这些上限排除了成本高昂到几乎没有项目愿意在区块链上使用的证明。

速度阶段 1

单线程证明速度不得比原生执行慢超过 100,000 倍（适用于多种应用，而不仅仅是以太坊区块证明），且不得依赖预编译。

具体而言，假设一台现代笔记本上的 RISC-V 处理器运行速度约为 30 亿周期/秒，那么达到阶段 1 意味着该笔记本能够以 30,000 RISC-V 周期/秒 的速度生成证明（单线程）。

验证器成本必须满足之前定义的“合理的非平凡验证成本”标准。

速度阶段 2

单线程证明速度不得比原生执行慢超过 10,000 倍。

或者，由于某些有前景的 SNARK 方法（特别是二进制域 SNARK）受当前 CPU 和 GPU 限制，可以通过 FPGA（甚至 ASIC）来满足此阶段：

1.计算 FPGA 以原生速度模拟的 RISC-V 内核数量。

2.计算模拟和证明 RISC-V 执行（接近实时）所需的 FPGA 数量。

3.如果（2）的数量不超过（1）的 10,000 倍，则满足阶段 2。

?证明大小：最大 256 KB。

?验证时间：标准 CPU 上最大 16 毫秒。

速度阶段 3

在达到速度阶段 2 的基础上，实现 1000× 以内的证明开销（适用于多种应用），并且必须使用自动合成和形式化验证的预编译。本质上，动态定制每个程序的指令集，以加速证明生成，但必须保证易用性和形式化验证。（关于预编译为何是一把双刃剑，以及为什么“手写” 预编译不是可持续的方法，请参阅下一部分。）

内存阶段 1

在少于 2 GB 内存的情况下 达到速度阶段 1，并同时满足零知识要求。这一阶段对于移动设备或浏览器至关重要，并为大量客户端 zkVM 用例打开了大门。例如，智能手机用于位置隐私、身份凭证等。如果证明生成需要超过 1-2 GB 内存，大多数移动设备将无法运行。

两点重要说明：

1.即使是大规模计算（需要数万亿 CPU 周期的原生执行），证明系统也必须维持 2 GB 内存上限，否则适用性将受限。

2.如果证明速度极慢，则保持 2 GB 内存上限很容易。因此，为了让内存阶段 1 有意义，必须在 2 GB 内存限制内达到速度阶段 1。

内存阶段 2

在少于 200 MB 内存的情况下 达到速度阶段 1（比内存阶段 1 提高 10 倍）。

为什么要降低到 200 MB？考虑一个非区块链场景：当你访问 HTTPS 网站时，会下载认证和加密证书。如果网站改为发送这些证书的 zk 证明，大型网站每秒可能需要生成数百万个证明。如果每个证明需要 2 GB 内存，计算资源需求将达到PB 级别，显然不可行。因此，进一步降低内存使用对非区块链应用至关重要。

预编译：最后一英里，还是拐杖？

预编译指的是专门为特定函数（如哈希、椭圆曲线签名）优化的 SNARK 约束系统。在以太坊中，预编译能降低 Merkle 哈希和签名验证的开销，但过度依赖预编译并不能真正提升 SNARK 的核心效率。

预编译的问题

1.仍然过慢：即使使用哈希和签名预编译，zkVM 在区块链内外仍然存在核心证明系统的低效问题。

2.安全漏洞：手写预编译如果未经形式化验证，几乎必然存在漏洞，可能导致灾难性安全失败。

3.开发者体验差：目前，许多 zkVM 需要开发者手写约束系统，类似 1960 年代的编程方式，严重影响开发体验。

4.基准测试误导：如果基准测试依赖于优化特定预编译，可能会误导人们关注优化手工约束系统，而非提升 SNARK 设计本身。

5.I/O 开销和无 RAM 访问虽然预编译可以提高繁重加密任务的性能，但它们可能无法为更多样化的工作负载提供有意义的加速，因为它们在传递输入/输出时会产生大量开销，并且它们不能使用 RAM。

即使在区块链环境中，只要你超越了像以太坊这样的单一 L1（比如，你想建立一系列跨链桥），你就会面临不同的哈希函数和签名方案。为了解决这个问题而不断进行预编译，这既不可扩展，又会带来巨大的安全风险。

我确实相信预编译从长远来看仍然至关重要，但只有在它们自动合成并经过正式验证后才会如此。这样，我们可以保持 zkVM 的开发人员体验优势，同时避免灾难性的安全风险。这一观点反映在阶段3 中。

预期时间表

我预计少数 zkVM 将在今年晚些时候达到速度阶段 1和内存阶段 1。我认为在接下来的两年内，我们也能实现速度阶段 2，但目前尚不清楚能否在没有新的研究思路的情况下达到这一目标。

我预计其余阶段（速度阶段 3 和 内存阶段 2）将需要数年时间才能达成。

尽管本文分别列出了 zkVM 的安全性和性能阶段，但这两者并非完全独立。随着 zkVM 中的漏洞不断被发现，我预计其中一些漏洞的修复将不可避免地导致性能大幅下降。因此，在 zkVM 达到 安全阶段 2 之前，其性能测试结果都应被视为暂定数据。

zkVM 在让零知识证明真正普及方面具有巨大潜力，但目前仍处于早期阶段——充满安全挑战，并且存在严重的性能瓶颈。市场炒作和营销宣传让衡量真正的进展变得困难。通过明确的安全性和性能里程碑，我希望提供一条能够拨开迷雾的路线图。我们终将到达目标，但这需要时间，以及在研究和工程上的持续努力。