登录 后可观看高清视频

ZisK:推动实时证明的极限

Duct Tape Duct Tape 2026-05-27
533次播放
2026-05-27

视频 AI 总结:

演讲者首先提出了现代区块链的新视角:将数据层与查询层分离,利用零知识证明实现高效、递归的查询,从而区分静态共识(固定数据解读)和动态共识(需区块链更新的部分)。在此基础上,介绍了 Zisk——一个为低延迟设计的快速 ZKVM(基于 RISC-V),采用分块并行、流水线执行、多机分布式等技术,能在数秒内生成证明。核心亮点包括:多电路通过总线连接、RISC-V 转译为 Intel 原生代码、内存锁存实现并行执行、极低带宽的分布式证明聚合,以及可选的 Plonk 链上验证(<2 秒)。Zisk 已在以太坊经济区(EZ)中实现每秒完成区块到证明输出降至 3 秒以下,目前代码接近 1.0 版本并开源,正在进行形式化验证。