Proving just halt in zkVM integration with Grandine #49
Description
For the project context, please refer to #48.
I am running in prove mode, using client.prove() not client.prove_fast() here is this section of the code.
The guest code is in this file.
I am running the test case of consensus spec tests mainnet electra empty block transition, which is passing this small consensus-spec-test state and block to the state transition function.
The prove execution runs and then just terminates in the middle. There is no panic message, but I'm sure it is an abnormal halt because I have put println log afterwards. It just stop in the middle of a run.
Here is the full log file run with RUST_LOG=info:
pico-prove-consensus-spec-tests-macbook.tgz
I am happy to assist on how to run the test case. If you need any other info from my side, you could reply to this issue thread as I will be monitoring it. I am also in Brevis Network Discord server and could be reached with my ID: jimmychu0807
Thank you.