check if the verifier program matches a build of the current revision

Signed-off-by: Jun Kimura <jun.kimura@datachain.jp>

Author: bluele

.github/workflows/test.yml

@@ -13,5 +13,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions-rust-lang/setup-rust-toolchain@v1
       - uses: Swatinem/rust-cache@v2
-      - run: cargo test
-      - run: cargo test --manifest-path=./zkvm/risc0/Cargo.toml -- --nocapture
+      - run: cargo test --locked
+      - run: cargo test --manifest-path=./zkvm/risc0/Cargo.toml --locked -- --nocapture
+      - run: ZKDCAP_RISC0_BUILD=1 cargo build -r --manifest-path=./zkvm/risc0/Cargo.toml --locked
+      - run: git diff --exit-code