“像编写网络服务器后端一样编写普通的 Rust，然后将业务逻辑放入 zkVM 中并使其可验证。” - @pumatheuma，@SuccinctLabs 的联合创始人 通过 VAPs（可验证应用程序），您可以保持 web2 开发和延迟模型（链外请求处理、快速匹配、低成本基础设施），同时附加一个简洁的证明，证明程序实际上在声明的输入上运行并遵循其规则。该证明在链上（或在网关处）进行验证，因此只有在确切的程序 ID、输入和约束检查通过时，才会发生结算或状态更新。 无需重新执行，无需电路手动编码，无需加密专业知识 - 只需将标准代码编译为 zkVM 目标。 结果是 web2 DX 结合 web3 保证：业务规则的正确性和不可否认性、输入的完整性、可选隐私（证明属性而不泄露数据），以及信任的可移植性，因为相同的证明可以在任何地方进行检查。 观看与 Uma Roy 的完整剧集，了解 VAPs 和实时证明如何使“编写普通代码，获得可验证性”成为生产系统的实际路径：