o1vm/riscv32i

[dannywillems]

Drafting a RISC-V (32i version) flavor of o1vm, as the community is asking for it. Following https://riscv.org/wp-content/uploads/2019/12/riscv-spec-20191213.pdf

Gonna be a fun project with @svv232 to learn more about arithmetisation and PlonK and proof-systems.

[codecov]

Codecov Report

Attention: Patch coverage is 2.27729% with 1459 lines in your changes missing coverage. Please review.

Project coverage is 70.74%. Comparing base (7592142) to head (e3c828f).
Report is 3 commits behind head on master.

Files with missing lines	Patch %	Lines
o1vm/src/interpreters/riscv32i/witness.rs	0.00%	642 Missing ⚠️
o1vm/src/interpreters/riscv32i/constraints.rs	0.00%	329 Missing ⚠️
o1vm/src/interpreters/riscv32i/interpreter.rs	0.00%	329 Missing ⚠️
o1vm/src/pickles/main.rs	0.00%	67 Missing ⚠️
o1vm/src/interpreters/riscv32i/column.rs	0.00%	45 Missing ⚠️
o1vm/src/interpreters/riscv32i/registers.rs	0.00%	23 Missing ⚠️
o1vm/src/cannon.rs	0.00%	13 Missing ⚠️
o1vm/src/cannon_cli.rs	0.00%	11 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2727      +/-   ##
==========================================
- Coverage   72.52%   70.74%   -1.78%     
==========================================
  Files         247      253       +6     
  Lines       57706    59053    +1347     
==========================================
- Hits        41851    41778      -73     
- Misses      15855    17275    +1420     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[dannywillems]

Note: we should get rid of meta.json. It is simply the list of symbols with their names in string. It is used for debugging while running the VM. We can use the ELF rust library to preprocess this.
See test_riscv_elf for examples

[dannywillems]

We should think more about the memory layout. Leaving this comment for the future.

[dannywillems]

TODO: add a long program (i.e. huge binary) to verify long traces, in particular when a lot of memory is used.
The memory layout used at the moment is the same as in Cannon. We should change that.
We can create long programs by using o1vm-test and adding dummy functions.