it's working

README.md

@@ -59,6 +59,8 @@ process done with hash 0x5c45998dfbf9ce70bcbb80574ed7a622922d2c775e0a2331fe5a8b8
 npx hardhat node --fork https://mainnet.infura.io/v3/9aa3d95b3bc440fa88ea12eaa4456161
 
 # testing on hardhat (forked mainnet)
+# challenger is pretending the block 10 transition is the transition for 1171895
+# this will conflict at the first step
 rm -rf /tmp/cannon/*
 mipsevm/mipsevm
 npx hardhat run scripts/deploy.js

contracts/Challenge.sol

@@ -66,6 +66,7 @@ contract Challenge {
     c.challenger = msg.sender;
 
     // the state is set 
+    // NOTE: if they disagree on the start, 0->1 will fail
     c.assertedState[0] = startState;
     c.defendedState[0] = startState;
     c.assertedState[stepCount] = finalSystemState;

mipsevm/main.go

@@ -71,7 +71,6 @@ func main() {
 			os.Exit(0)
 		}
 
-		// TODO: this is actually step 0->1. Renumber as appropriate
 		LoadMappedFileUnicorn(mu, fmt.Sprintf("%s/input", root), ram, 0x30000000)
 
 		mu.Start(0, 0x5ead0004)