Làm thế nào + lý do chúng tôi viết lại Circom trong Rust 🦀
Jolt sử dụng R1CS để hạn chế một tập hợp con chức năng của VM nhằm đảm bảo vòng lặp tìm nạp-giải mã-thực thi của CPU ảo bị hạn chế theo thông số kỹ thuật RISC-V.
Ví dụ, chúng ta phải đảm bảo hàng ELF 32 Bit được giải mã chính xác. Mỗi hàng 32 Bit
