vApps：面向互联网规模的可验证应用

区块链技术承诺着去中心化、无信任且可互操作的基础设施。然而，广泛采用仍受限于规模受限、交易成本高以及跨不同区块链层保持一致验证逻辑的复杂性等问题。本文引入了可验证应用（vApps），一种旨在简化可验证区块链计算应用创建和部署的新型开发框架。vApps 提供一个集成于综合 SDK 中的基于 Rust 的通用语言（DSL），特点是针对验证、证明生成和跨链连接的模块化抽象。这减轻了开发者在保护多样化软件组件上的负担，使其能够专注于应用逻辑。该 DSL 还确保应用程序能够自动利用专用预编译程序和硬件加速，以最低的开发 effort 实现持续的高性能，基准测试结果表明这在零知识虚拟机（zkVMs）方面取得了显著效果。实验表明，原生 Rust 执行消除了解释开销，较基于 EVM 的方法实现了最高可达 197 倍的时钟周期计数改进。预编译电路可使证明加速超过 95%，而 GPU 加速可提升吞吐量最高可达 30 倍，递归压缩证明大小最高可达 230 倍，实现简洁且高效的验证。该框架还支持与 Web2 和 Web3 系统的无缝集成，使开发者能够专注于自己的应用逻辑。通过模块化架构、强大的安全保证和可组合性，vApps 为构建面向信任最小化和可验证的互联网规模应用环境铺平了道路。