related to this PR
Test case
cargo install --path ./cli-rs
compile with the correct field
powdr-rs compile riscv/tests/riscv_data/keccak -o output --field bb
cargo run --features stwo pil output/keccak.asm --linker-mode native -o output --force --field m31 --prove-with stworesult.txt
This can give keccak_opt.pil file with lookup identity, it is native lookup, …