zkMips:高级规范
Share on

在这里,我们宣布发表ZKM Research的最新论文:“zkMIPS:高级规范”。对先前版本的重大更新纠正了原始文档与 zkMIPS 代码库当前状态之间的差异,为帮助 ZKM 开发者社区的贡献提供了更准确的信息基础。

zkMips 是一款围绕 MIPS 指令集和处理器架构设计的新型 zkVM,旨在生成简洁的计算完整性证明。该设计利用Plonky2系统,确保任何编译到MIPS的程序都可以在区块链内外验证其正确性。该程序的每个部分都经过分段验证,这些分段在模块中经过验证。每个模块都使用 STARK 进行验证,模块证明使用 LogUP 连接。然后,使用 PLONK 递归组合生成的分段证明,为整个程序的正确性生成单个恒定大小的证明。

如果最终的 PLONK 证明要在链上进行验证,则可以使用 Groth16 将其编译成一个对 EVM 友好的证明。本文解释了这种分层方案,如下图所示。

完整的 “zkMIPS:高级规范” 论文可在此处访问: zkMips:高级规范

ZKM Research 致力于推进基于密码的技术,特别是专门研究可验证计算的证明系统。随着 zkMIPS 的不断发展,将需要持续更新文档,ZKM Research 邀请全球开发界合作完善这项基础工作。
我们高度重视您的反馈,并鼓励您通过在我们的 Discord 服务器上进行讨论来参与: discord.com/channels/1125877344972849232/1246097911239016509。我们还邀请大家向 zkMIPS GitHub 捐款: github.com/zkmips

More articles
布鲁塞尔 ZK 之家:零知识卓越展示
House of ZK活动恰逢2024年7月11日在布鲁塞尔举行的ETHCC周,该活动被证明是致力于探索和推进基于ZK技术的区块链开发人员、学者和行业领导者的中心枢纽。为期一天的活动包括教育主题演讲、引人入胜的小组讨论和深入的讨论,重点讨论了ZK在区块链中的巨大潜力和多样化应用。
以太坊扩容后的生活
在我们讨论混合汇总技术之路的文章中,我们谈到了以太坊扩容斗争的演变。在那次讨论中,我们看到了一个优雅而实用的解决方案是如何最终出现的:分层的区块链设计,将第 1 层作为主链,仅处理共识和数据可用性,第 2 层作为汇总,为所有区块链用户提供卸载的计算验证,从而创建可扩展的区块链解决方案。
zkMips:高级规范

在这里,我们宣布发表ZKM Research的最新论文:“zkMIPS:高级规范”。对先前版本的重大更新纠正了原始文档与 zkMIPS 代码库当前状态之间的差异,为帮助 ZKM 开发者社区的贡献提供了更准确的信息基础。

zkMips 是一款围绕 MIPS 指令集和处理器架构设计的新型 zkVM,旨在生成简洁的计算完整性证明。该设计利用Plonky2系统,确保任何编译到MIPS的程序都可以在区块链内外验证其正确性。该程序的每个部分都经过分段验证,这些分段在模块中经过验证。每个模块都使用 STARK 进行验证,模块证明使用 LogUP 连接。然后,使用 PLONK 递归组合生成的分段证明,为整个程序的正确性生成单个恒定大小的证明。

如果最终的 PLONK 证明要在链上进行验证,则可以使用 Groth16 将其编译成一个对 EVM 友好的证明。本文解释了这种分层方案,如下图所示。

完整的 “zkMIPS:高级规范” 论文可在此处访问: zkMips:高级规范

ZKM Research 致力于推进基于密码的技术,特别是专门研究可验证计算的证明系统。随着 zkMIPS 的不断发展,将需要持续更新文档,ZKM Research 邀请全球开发界合作完善这项基础工作。
我们高度重视您的反馈,并鼓励您通过在我们的 Discord 服务器上进行讨论来参与: discord.com/channels/1125877344972849232/1246097911239016509。我们还邀请大家向 zkMIPS GitHub 捐款: github.com/zkmips