我們如何以及為何用 Rust 重寫 Circom 🦀 Jolt 使用 R1CS 來限制 VM 功能的子集,以確保虛擬 CPU 的獲取-解碼-執行循環符合 RISC-V 規範。 例如,我們必須確保 32 位 ELF 行正確解碼。每個 32 位
本文為機器翻譯
展示原文
來自推特
免責聲明:以上內容僅為作者觀點,不代表Followin的任何立場,不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
我們如何以及為何用 Rust 重寫 Circom 🦀 Jolt 使用 R1CS 來限制 VM 功能的子集,以確保虛擬 CPU 的獲取-解碼-執行循環符合 RISC-V 規範。 例如,我們必須確保 32 位 ELF 行正確解碼。每個 32 位