fix

README.md

@@ -31,7 +31,7 @@ To generate fixtures for local testing run:
 
 ```shell
 $ cd operator
-$ RUST_LOG=info TENDERMINT_RPC_URL="https://rpc.celestia-mocha.com/" cargo run --release --bin fixture -- --trusted-block 500 --target-block 1000
+$ RUST_LOG=info TENDERMINT_RPC_URL="https://rpc.celestia-mocha.com/" cargo run --bin fixture --release -- --trusted-block 500 --target-block 1000
 ```
 
 You can check that the generated fixture proofs verify by running the forge tests:

contracts/test/SP1Tendermint.t.sol

@@ -82,6 +82,7 @@ contract SP1TendermintTest is Test {
         assert(tendermint.latestHeight() == fixture.targetHeight);
     }
 
+    // Confirm that submitting an empty proof fails.
     function testFail_InvalidTendermint() public {
         SP1TendermintFixtureJson memory fixture = loadFixture("fixture.json");
 
@@ -92,6 +93,7 @@ contract SP1TendermintTest is Test {
         tendermint.verifyTendermintProof(fakeProof, fixture.publicValues);
     }
 
+    // Confirm that submitting an empty proof with the mock verifier passes.
     function test_ValidMockTendermint() public {
         SP1TendermintFixtureJson memory fixture = loadFixture(
             "mock_fixture.json"
@@ -102,4 +104,17 @@ contract SP1TendermintTest is Test {
         assert(mockTendermint.latestHeader() == fixture.targetHeaderHash);
         assert(mockTendermint.latestHeight() == fixture.targetHeight);
     }
+
+    // Confirm that submitting a non-empty proof with the mock verifier fails. This indicates that
+    // the user has passed in the wrong proof.
+    function testFail_Invalid_MockTendermint() public {
+        SP1TendermintFixtureJson memory fixture = loadFixture(
+            "mock_fixture.json"
+        );
+
+        mockTendermint.verifyTendermintProof(bytes("aa"), fixture.publicValues);
+
+        assert(mockTendermint.latestHeader() == fixture.targetHeaderHash);
+        assert(mockTendermint.latestHeight() == fixture.targetHeight);
+    }
 }

operator/bin/fixture.rs

@@ -79,9 +79,9 @@ async fn main() -> anyhow::Result<()> {
     // Save the proof data to the file path.
     let fixture_path = PathBuf::from(env!("CARGO_MANIFEST_DIR")).join(args.fixture_path);
 
-    // TODO: Change to prover.prover_type
+    // TODO: Change to prover.id
     let sp1_prover_type = env::var("SP1_PROVER");
-    if sp1_prover_type.is_ok() && sp1_prover_type.unwrap() == "mock" {
+    if sp1_prover_type.as_deref() == Ok("mock") {
         std::fs::write(
             fixture_path.join("mock_fixture.json"),
             serde_json::to_string_pretty(&fixture).unwrap(),