Open ed255 opened 11 months ago
@dohoonkim8 almost complete lasso impl and we need memory checking, constraint system now. Lasso uses offline memory checking internally, so he starts to make that generic. You can discuss it in this issue. For constraint system, if halo2-lasso works well, then we can use halo2-circuit.
https://github.com/ed255/riscu-jolt/issues/4 concerns only on implementing the instructions which most of the time receive some inputs (as registers) and calculate some outputs (as registers).
To verify a trace of execution we need a few more pieces:
This mostly corresponds to figure 2 of the Jolt paper: