Closed eigmax closed 1 month ago
For the DEV mode, we only perform the guest program and split the program into segments by split_prog_into_segs. Then use read_public_values to get the output.
You can refer to https://github.com/zkMIPS/zkm-project-template the 'execute_only' inside
So can we close this issue? @xander42280 @gavin-ygy
The latest template support it now.
Refers to the Dev mode in Risc 0, we can separate the program into host mode and guest mode via target.
When we setup target=zkvm, we run it in guest mode, and prove the program. Otherwise, we run it in host mode and just execute it.