Open-source CPU targets

[taqtiqa-mark]

Are any of the following open-source CPUs targets for Jolt?

Specifically, should I ever expect that Jolt will run on, say, the Berkeley/SiFive Rocket rv32ima, etc

• [ ] Berkeley/SiFive Rocket - https://github.com/chipsalliance/rocket-chip
• [ ] Bluespec Flute - https://github.com/bluespec/Flute
• [ ] OpenHardware Group CVA6 - https://github.com/openhwgroup/cva6.git (a.k.a. ETH Zurich Ariane)
• [ ] PicoRV32 - https://github.com/YosysHQ/picorv32/tree/main
  • RV32im instructions

[moodlezoup]

While we don't have any concrete plans to support those specific targets, compiling Jolt to RISC-V may be useful as a step toward self-recursion (proving the verification of a Jolt proof using Jolt). This is not a priority right now, as we are currently focused on other paths toward recursion