表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于ziskvm
ZisK 是一个开源的零知识虚拟机（zkVM）工具栈，支持用 Rust 等高级语言编写程序，并生成简洁证明，让任何人都能验证程序正确运行，而无需重新执行代码或查看输入。
其核心竞争力在于性能。ZisK 实现了 1.5 GHz 的 RISC-V 跟踪生成速度，比其他公开 zkVM 快约 10 倍。这得益于两项关键设计：一是提前编译（AOT），将 RISC-V 程序直接翻译为优化的原生 x86_64 机器码；二是“最小跟踪”两阶段架构，通过内存读取日志和寄存器检查点，将并行重执行与内存解耦。这解决了跟踪生成长期存在的顺序瓶颈，大幅降低了实时证明的延迟和硬件成本。
近半年（2026年3月至9月），ZisK 发布了 v0.11.0 版本，新增 macOS 支持、GPU/CPU 传输优化、虚拟表集成，并将递归电路迁移至 PIL2。此外，浏览器内验证功能已通过第三方平台上线。2025年6月，该项目从 Polygon 分拆为独立实体，原 zkEVM 核心团队继续以 ZisK 名义推进开发。目前软件仍处于积极开发阶段，尚未达到生产就绪状态。
ZisK于2024年5月至2025年6月在Polygon Labs孵化。2025年6月13日，该项目独立，全部知识产权及核心团队转移至Jordi Baylina全资拥有的SilentSig Switzerland GmbH。2025年6月18日，Baylina公开宣布分拆，七名Polygon zkEVM证明器核心开发者随行，他本人继续担任Polygon顾问。2026年6月19日，ZisK发布v1.0.0-alpha，进入稳定化阶段，代码库功能冻结，工作重心转向安全审计、形式化验证与加固。该版本还新增BLS12-381签名验证、优化secp256k1/secp256r1运算，并因近期针对Poseidon2的攻击，将默认Merkle树哈希从Poseidon2切换为Poseidon1。
过去半年，ZisK VM（ziskvm）取得了重大进展。2026年5月发布的v0.17.0对分布式证明架构进行了重新设计，新增面向远程客户端的gRPC API，统一SDK（zisk-sdk 1.0）以暴露完整证明流水线，并完全符合zkVM加速器C接口标准。性能优化方面，将Keccak/SHA-256实现迁移至libc，新增arith256 API，并修复了多项正确性与稳定性问题。2026年8月，团队宣布v1.1.0-alpha版本，声称在四块RTX 5090 GPU上实现9.62秒的p99证明时间，达到以太坊10秒目标。未来重心包括进一步GPU优化、更强验证以及生产版本就绪，目前正在进行安全与正确性审计。
Jordi Baylina：ZisK创始人兼技术负责人。Polygon联合创始人，曾主导Polygon zkEVM研发。以太坊早期开发者，创建MiniMe代币、LiquidPledging等智能合约，审计过Aragon、MakerDAO等项目。现专注于ZisK开源zkVM，同时担任iden3技术负责人。