Powdr RISCV ZKVM start

hello world example

make the powdr-rs compiler up to date, pull the lasted changes in the repo, in powdr folder do the following:

cargo install --path ./cli-rs

use powdr-rs to compile rust file

powdr-rs compile riscv/tests/riscv_data/std_hello_world -o output

this will generate asm in output, then use pil to compile the asm file

cargo run  pil output/std_hello_world.asm -o output --force

this will generate std_hello_world_opt.pil file in output

with Total count now: 121 witness and 77 fixed columns. looks like this

constraints look like this