SpeakUp：面向性能受限设备的隐私优先 WebAssembly 的 zkVM

sinu

SpeakUp 的早期预览，这是我们正在 PSE 原型开发的一个 zkVM，用于客户端侧、隐私优先的 WebAssembly 程序证明。设计草案已公开，我们期待反馈。

介绍 SpeakUp

我们很高兴分享 SpeakUp 的早期预览，这是我们正在 PSE 原型开发的一个零知识虚拟机。SpeakUp 允许你为任意 WebAssembly 程序生成零知识证明，其重点在于隐私和在手机、浏览器等资源受限设备上的客户端证明。

为什么需要另一个 zkVM？

大多数现有的 zkVM 追求简洁性和公开可验证性，以支持区块链扩容。SpeakUp 专为不需要这些特性的私有应用而设计，例如结合 TLSNotary 等工具的网络证明，或使用选择性披露凭证的身份应用。当证明者和验证者可以通过互联网连接直接交互时，SpeakUp 可以提供显著更快的端到端证明性能。

SpeakUp 使用 基于 VOLE 的密码学，以更大的证明大小为代价，换取更低的证明者开销，并额外提供后量子安全性。

基于 VOLE 的零知识证明相对于其他证明系统类别的粗略示意。受 C. Baum 的演示启发。

除了证明成本之外，SpeakUp 基于 WebAssembly 构建。Wasm 提供了具有结构化控制流的形式化指令集，以及一个定义良好的嵌入接口，自然支持高级访客程序功能，例如调用预编译。

这是草案

SpeakUp 是一个设计草案，而非完成的系统。我们发布当前的想法（证明系统、架构、成本分析），以便社区可以提出意见。

在此阅读设计草案：

SpeakUp 文档

我们期待你的反馈

如果你符合以下任何一种情况，请与我们联系：

• 你正在构建需要客户端 ZK 证明的项目，但现有方案遇到了瓶颈。
• 你有隐私和证明者性能是首要约束的应用场景。
• 你曾研究基于 VOLE 的证明或 zkVM 设计，并对该方案有反馈意见。
• 你发现了草案中看似错误、不够详细或值得质疑的地方。

越早联系，你的意见就越能影响方向：

在仓库中打开一个问题。

更多文章 查看全部

2026年5月7日
用户研究：揭示私人转账领域的问题
John Guilding

为私人转账用户研究进行的38次访谈总结

关于 项目 研究 生态系统 博客 总览图

Discord Github Twitter Youtube RSS 招聘

隐私政策 使用条款

• 原文链接： pse.dev/blog/introducing...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～