ProverError("Unsupported query: Input(666,0)")

[JangoCCC]

I executed https://github.com/powdr-labs/powdr/blob/main/riscv/tests/riscv.rs#L739 this test case, my test case is "evm", and encoutered the following error:
[ERROR powdr_executor::witgen::vm_processor] Errors:
Error getting external information from the prover: Error occurred when evaluating prover function query |__i| std::prover::handle_query(main::Y_free_value, __i, match std::prover::eval(main::pc) {
171740 => std::prelude::Query::Input(std::convert::int::(std::prover::eval(main::query_arg_1)), std::convert::int::(std::prover::eval(main::query_arg_2))),
310269 => std::prelude::Query::Output(std::convert::int::(std::prover::eval(main::query_arg_1)), std::prover::eval(main::query_arg_2)),
310311 => std::prelude::Query::Output(std::convert::int::(std::prover::eval(main::query_arg_1)), std::prover::eval(main::query_arg_2)),
310325 => std::prelude::Query::Input(std::convert::int::(std::prover::eval(main::query_arg_1)), std::convert::int::(std::prover::eval(main::query_arg_2))),
310350 => std::prelude::Query::Output(std::convert::int::(std::prover::eval(main::query_arg_1)), std::prover::eval(main::query_arg_2)),
348520 => std::prelude::Query::Input(std::convert::int::(std::prover::eval(main::query_arg_1)), std::convert::int::(std::prover::eval(main::query_arg_2))),
348528 => std::prelude::Query::Output(std::convert::int::(std::prover::eval(main::query_arg_1)), std::prover::eval(main::query_arg_2)),
_ => std::prelude::Query::None,
}) on 33493:
ProverError("Unsupported query: Input(666,0)")

thread 'exported_csv_as_external_witness' panicked at /home/xxx/powdr/executor/src/witgen/vm_processor.rs:516:9:
Witness generation failed.

[leonardoalt]

Hi @JangoCCC !

Do you mean that you executed test exported_csv_as_external_witness but with the evm test guest crate instead of keccak? If yes, you also need to pass the necessary inputs, as can be seen here in the evm test: https://github.com/powdr-labs/powdr/blob/main/riscv/tests/riscv.rs#L286

The evm guest expects the contract's bytecode passed via fd 666, which is not done if you just replace "keccak" by "evm" in the mentioned test.

Can you expand on what exactly you're trying to test? If you want to see the csv file of the exported witness for the evm test there are easier ways, let me know if that's what you're trying to do.