keccak example fails to prove

[drcapybara]

the example runs successfully:

Executed 577470 instructions in 1.737721891s

but when running cargo nexus prove on the provided keccak example, we receive the following:

   Compiling nexus-project v0.1.0
    Finished release [optimized] target(s) in 0.09s
Executing program...
acaf3289d7b61cbd114fb36c4d29c85bbfd5e133f14cb355c3fd8d99367964f
Error: invalid instruction 48 at 14628174101512105900

Caused by:
    invalid instruction 48 at 14628174101512105900

[danielmarinq]

Interesting, let us investigate this issue. @govereau can you take a look?

[govereau]

Thanks for the report. Unfortunately, I was not able able to reproduce this on my configuration. I noticed that you have a different number of instructions than I. I show 40,120 instructions for the release version and 583,895 instructions for the debug version. I am not sure why you have 577,470 instructions: perhaps we have different rust versions? Have you tried running the release version of the example? I wonder if you would see the same result.

If you have time, can you send the version of rust and version of the nexus runtime you are using? Thanks again.

[drcapybara]

@govereau

rustc version:
rustc 1.74.0 (79e9716c9 2023-11-13)

nexus version:
"https://github.com/nexus-xyz/nexus-zkvm.git", version = "0.1.0"

How does one prove in release mode? I was using the commands from the readme at the front of the repo:

cargo nexus prove