fix (batcher): work on linux (#309)

Author: taturosati

Makefile

@@ -134,6 +134,9 @@ batcher_start: ./batcher/.env
 	@echo "Starting Batcher..."
 	@cargo +nightly-2024-04-17 run --manifest-path ./batcher/Cargo.toml --release -- --config ./config-files/config.yaml --env-file ./batcher/.env
 
+install_batcher:
+	@cargo +nightly-2024-04-17 install --path batcher
+
 install_batcher_client:
 	@cargo +nightly-2024-04-17 install --path batcher/client
 

batcher/Cargo.lock

@@ -23,7 +23,7 @@ env_logger = "0.11.3"
 serde_json = "1.0.117"
 serde = { version = "1.0.201", features = ["derive"] }
 clap = { version = "4.5.4", features = ["derive"] }
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v1.0.4-testnet" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v1.0.5-testnet" }
 halo2curves = { version = "0.6.0", default-features = false }
 halo2_backend = { git = "https://github.com/yetanotherco/yet-another-halo2-fork.git", branch = "feat/serde_constraint_system"}
 halo2_proofs = { git = "https://github.com/yetanotherco/yet-another-halo2-fork.git", branch = "feat/serde_constraint_system" }

batcher/Cargo.toml

@@ -23,11 +23,6 @@ fn main() {
     );
 
     if cfg!(target_os = "linux") {
-        println!("cargo:rustc-link-lib=dylib=dl");
-        println!("cargo:rustc-link-lib=dylib=rt");
-        println!("cargo:rustc-link-lib=dylib=m");
-        println!("cargo:rustc-link-lib=dylib=ssl");
-        println!("cargo:rustc-link-lib=dylib=crypto");
         println!("cargo:rustc-link-arg=-Wl,--allow-multiple-definition");
     }
 

batcher/build.rs

@@ -6,7 +6,7 @@ edition = "2021"
 [dependencies]
 bincode = "1.3.3"
 lazy_static = "1.4.0"
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v1.0.4-testnet" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v1.0.5-testnet" }
 
 [lib]
 crate-type = ["cdylib"]

batcher/client/Cargo.lock

@@ -36,9 +36,9 @@ mod tests {
     use super::*;
 
     const PROOF: &[u8] =
-        include_bytes!("../../../../task_sender/test_examples/sp1/fibonacci_proof_generator/script/sp1_fibonacci.proof");
+        include_bytes!("../../../../task_sender/test_examples/sp1/sp1_fibonacci.proof");
     const ELF: &[u8] =
-        include_bytes!("../../../../task_sender/test_examples/sp1/fibonacci_proof_generator/program/elf/riscv32im-succinct-zkvm-elf");
+        include_bytes!("../../../../task_sender/test_examples/sp1/elf");
 
     #[test]
     fn verify_sp1_proof_with_elf_works() {