Snarkify process_block_header()

[unnawut]

No description provided.

[unnawut]

Managed to perform process_block_header() in the guest vm!

Cycle counts

I basic-benchmarked the cycle counts:

read_pre_state: 47791528
read_block: 49553
process_block_header: 3809599

Given the same static data, the cycle count is consistent across multiple runs.
Also notice that passing the pre-state takes 92.5% of the cycle count.

Proving time

It took 15 minutes to prove on my MacBook Pro M1 Max with 32-core GPU, 64GB RAM (r0vm using only 8GB though despite 8GB more still free)

A few different things I also tried:

• Removing all guestvm code -> The proving time was instant.
• Removing all but passing in just the block -> The proving time was also instant.
• Removing all but passing in just the state -> The proving time went up to 10 minutes.

Receipt journal

The code still fails to output data to the journal...