ed255 / riscu-jolt

RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
23 stars 1 forks source link

[WIP] RISC-U sketch code for Lasso (following Jolt)

RISC-U is a subset of RV64I, see https://github.com/cksystemsteaching/selfie/blob/main/riscu.md

This project will contain an implementation of a RISC-U emulator along with a RISC-U zk circuit simulator using the constraints and lookups defined in the Jolt paper.

The aim of this project is to serve as a reference to implement Jolt.

References