Responsible disclosure: A potential sequencer-prover inconsistency in the Cairo VM
On January 26th Starkware informed us that they had found a critical issue in the Cairo VM related to a program that would successfully execute on the VM but wo…
Starknet
1 article