我们正在基于 @ziskvm 系统构建一个图形化的 zkVM。 我们的目标：从基本原则重新思考证明者架构，以解锁更好的性能、可移植性和安全性。 🧵

ZKP 证明正进入一个“速度优先”的时代。几乎每个证明者现在都支持 GPU 加速（CUDA、Metal 等）。 但硬件卸载背后的架构同样重要，和原始硬件一样。

目前有两种主要的方法： - HAL模式：相同的函数调用，不同的硬件后端。 - 图模式：将整个证明过程编码为计算图，然后针对每个平台进行优化和编译。

分裂是明确的： - AI 系统 → 图形模式 - 大多数 ZKP 证明者 → HAL 模式（出于历史和 CPU 优先的原因） HAL 很方便，但隐藏了计算的全局结构。

图形模式使整个证明者变得明确且可检查，从而实现更深层次的优化、跨平台执行以及更强的安全性和可审计性。 在即将发布的文章中，我们将分享这种设计如何塑造我们的基于图形的zkVM以及它所解锁的内容。⚡️