Unable to verify a Cairo 1 proof about lambdaworks HOT 4 OPEN

This must has been a change in the Cairo VM. I'll raise the issue to the VM team, and we'll pin the version here to use until it gets fixed.

from lambdaworks.

I have updated the docs here, until we get it fixed:

#809

from lambdaworks.

Can you try with ?

cargo run simple.cairo --trace_file simple.trace --memory_file simple.memory --proof_mode --layout small

There seems to be an issue of the VM not activating the output builtin correctly without small

from lambdaworks.

@MauroToscano Setting small or all_cairo leads to correct proof verification.

Thank you for your help!

from lambdaworks.