chore: build guest verify programs automatically (#2259)

Author: leruaa

Cargo.lock

@@ -3,7 +3,7 @@ use std::{
     path::PathBuf,
 };
 
-use sp1_build::build_program_with_args;
+use sp1_build::{build_program_with_args, BuildArgs};
 
 fn main() -> Result<()> {
     let tests_path =
@@ -28,5 +28,22 @@ fn main() -> Result<()> {
         Default::default(),
     );
 
+    build_program_with_args(
+        "../verifier/guest-verify-programs",
+        BuildArgs {
+            binaries: vec!["groth16_verify".to_string(), "plonk_verify".to_string()],
+            ..Default::default()
+        },
+    );
+
+    build_program_with_args(
+        "../verifier/guest-verify-programs",
+        BuildArgs {
+            binaries: vec!["groth16_verify_blake3".to_string(), "plonk_verify_blake3".to_string()],
+            features: vec!["blake3".to_string()],
+            ..Default::default()
+        },
+    );
+
     Ok(())
 }

crates/test-artifacts/build.rs

@@ -83,3 +83,11 @@ pub const BN254_FP2_MUL_ELF: &[u8] = include_elf!("bn254-fp2-mul-test");
 pub const TENDERMINT_BENCHMARK_ELF: &[u8] = include_elf!("tendermint-benchmark-program");
 
 pub const U256XU2048_MUL_ELF: &[u8] = include_elf!("u256x2048-mul");
+
+pub const GROTH16_ELF: &[u8] = include_elf!("groth16_verify");
+
+pub const GROTH16_BLAKE3_ELF: &[u8] = include_elf!("groth16_verify_blake3");
+
+pub const PLONK_ELF: &[u8] = include_elf!("plonk_verify");
+
+pub const PLONK_BLAKE3_ELF: &[u8] = include_elf!("plonk_verify_blake3");

crates/test-artifacts/src/lib.rs

@@ -34,6 +34,9 @@ cfg-if = "1.0.0"
 serial_test = "3.2.0"
 rstest = "0.25.0"
 
+[build-dependencies]
+sp1-build = { path = "../build" }
+
 [features]
 default = ["std"]
 std = ["thiserror/std"]