ethereum-optimism / cannon

On chain interactive fault prover for Ethereum
MIT License
584 stars 135 forks source link

Fail to run demo because lack of mipsevm binary #123

Closed David-Web3 closed 1 year ago

David-Web3 commented 1 year ago

Describe the bug I am trying to run the demo scripts under the folder extra demo. And failed at prompting the lack of mipsevm binary, however I can not find a way to build it under the mipsevm folder.

To Reproduce Steps to reproduce the behavior:

  1. Go to '${cannon}/extra'
  2. run 'bash ./demo/challenge_simple.sh'
  3. See error showing "./demo/challenge_simple.sh: line 100: mipsevm/mipsevm: No such file or directory"

Expected behavior I was expecting that the demo could be run successfully.

Screenshots


 extra git:(master) ✗ bash ./demo/challenge_simple.sh 

----------------------------------------
BOOTING MAINNET FORK NODE IN BACKGROUND (LOG: challenge_simple_node.log)
----------------------------------------

----------------------------------------
GENERATING INITIAL MEMORY STATE CHECKPOINT
----------------------------------------

./demo/challenge_simple.sh: line 100: mipsevm/mipsevm: No such file or directory
----------------------------------------
EARLY EXIT: SCRIPT FAILED
----------------------------------------

System Specs:

sbnair commented 1 year ago

You need to be using mips_evm_ci branch to run the challenge_simple.sh script as of now as that is the branch which contains mipigo and mipsevm binary as of now.

David-Web3 commented 1 year ago

Thanks @sbnair , I will have a try. BTW, does cannon now merged into the optimism repo? It seems the op-program folder there is using the tech of cannon? will it be enabled for the upcoming bedrock HF? Thanks!

sbnair commented 1 year ago

Yes, you are right in op-program pre-images and step by step state transition logics are present but i don't know whether it will be enabled sooner. Waiting for it.