onchain summit Fault Proof workshop

git clone [email protected]:ethereum-optimism/optimism.git
git clone [email protected]:protolambda/istanbul-demo.git

cd istanbul-demo

# run natively
make oracle_test

# with cannon, generating proof data from emulated MIPS
make proof_example