let dockerfile.zk print vk/image_id

Signed-off-by: smtmfft <[email protected]>

Dockerfile.zk

@@ -41,6 +41,10 @@ ENV TARGET=sp1
 RUN make install
 RUN make guest
 RUN cargo build --release ${BUILD_FLAGS} --features "sp1,risc0,bonsai-auto-scaling" --features "docker_build"
+# print sp1 vk
+RUN cargo test -r --package sp1-driver --lib --all-features -- test::test_show_sp1_elf_vk --exact --show-output --ignored
+# print risc0 image id
+RUN cargo test  --package risc0-driver --lib -F enable -- test::test_show_risc0_image_id --exact --show-output --ignored
 
 RUN mkdir -p \
     ./bin \

provers/risc0/driver/src/lib.rs

@@ -130,6 +130,7 @@ impl Prover for Risc0Prover {
 #[cfg(test)]
 mod test {
     use super::*;
+    use methods::risc0_guest::RISC0_GUEST_ID;
     use methods::test_risc0_guest::{TEST_RISC0_GUEST_ELF, TEST_RISC0_GUEST_ID};
     use risc0_zkvm::{default_prover, ExecutorEnv};
 
@@ -141,4 +142,13 @@ mod test {
         let receipt = prover.prove(env, TEST_RISC0_GUEST_ELF).unwrap();
         receipt.receipt.verify(TEST_RISC0_GUEST_ID).unwrap();
     }
+
+    #[ignore = "only to print image id for docker image build"]
+    #[test]
+    fn test_show_risc0_image_id() {
+        let image_id = RISC0_GUEST_ID
+            .map(|limp| hex::encode(limp.to_le_bytes()))
+            .concat();
+        println!("RISC0 IMAGE_ID: {}", image_id);
+    }
 }

provers/sp1/driver/src/lib.rs

@@ -337,4 +337,12 @@ mod test {
             .verify(&proof, &vk)
             .expect("Sp1: verification failed");
     }
+
+    #[ignore = "This is for docker image build only"]
+    #[test]
+    fn test_show_sp1_elf_vk() {
+        let client = ProverClient::new();
+        let (_pk, vk) = client.setup(ELF);
+        println!("SP1 ELF VK: {:?}", vk.bytes32());
+    }
 }