我们如何以及为何用 Rust 重写 Circom 🦀 Jolt 使用 R1CS 来限制 VM 功能的子集，以确保虚拟 CPU 的获取-解码-执行循环符合 RISC-V 规范。 例如，我们必须确保 32 位 ELF 行正确解码。每个 32 位
本文为机器翻译
展示原文
来自推特
免责声明：以上内容仅为作者观点，不代表Followin的任何立场，不构成与Followin相关的任何投资建议。
喜欢
收藏
评论
分享
我们如何以及为何用 Rust 重写 Circom 🦀 Jolt 使用 R1CS 来限制 VM 功能的子集，以确保虚拟 CPU 的获取-解码-执行循环符合 RISC-V 规范。 例如，我们必须确保 32 位 ELF 行正确解码。每个 32 位
