fix: unhardcode sender ethereum address (#231)

Co-authored-by: jotabulacios <jbulacios@fi.uba.ar>

Author: NicolasRampoldi

Makefile

@@ -132,23 +132,26 @@ batcher_send_sp1_task:
 	@cd batcher/client/ && cargo run --release -- \
 		--proving_system SP1 \
 		--proof test_files/sp1/sp1_fibonacci.proof \
-		--vm_program test_files/sp1/sp1_fibonacci-elf
+		--vm_program test_files/sp1/sp1_fibonacci-elf \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 batcher_send_sp1_burst_5:
 	@echo "Sending SP1 fibonacci task to Batcher..."
 	@cd batcher/client/ && cargo run --release -- \
 		--proving_system SP1 \
 		--proof test_files/sp1/sp1_fibonacci.proof \
 		--vm_program test_files/sp1/sp1_fibonacci-elf \
-		--repetitions 5
+		--repetitions 5 \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 batcher_send_plonk_bn254_task: batcher/client/target/release/batcher-client
 	@echo "Sending Groth16Bn254 1!=0 task to Batcher..."
 	@cd batcher/client/ && cargo run --release -- \
 		--proving_system GnarkPlonkBn254 \
 		--proof test_files/plonk_bn254/plonk.proof \
 		--public_input test_files/plonk_bn254/plonk_pub_input.pub \
-		--vk test_files/plonk_bn254/plonk.vk
+		--vk test_files/plonk_bn254/plonk.vk \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 batcher_send_plonk_bls12_381_task: batcher/client/target/release/batcher-client
 	@echo "Sending Groth16 BLS12-381 1!=0 task to Batcher..."
@@ -157,6 +160,7 @@ batcher_send_plonk_bls12_381_task: batcher/client/target/release/batcher-client
 		--proof test_files/plonk_bls12_381/plonk.proof \
 		--public_input test_files/plonk_bls12_381/plonk_pub_input.pub \
 		--vk test_files/plonk_bls12_381/plonk.vk \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 
 batcher_send_groth16_bn254_task: batcher/client/target/release/batcher-client
@@ -165,7 +169,8 @@ batcher_send_groth16_bn254_task: batcher/client/target/release/batcher-client
 		--proving_system Groth16Bn254 \
 		--proof test_files/groth16/ineq_1_groth16.proof \
 		--public_input test_files/groth16/ineq_1_groth16.pub \
-		--vk test_files/groth16/ineq_1_groth16.vk
+		--vk test_files/groth16/ineq_1_groth16.vk \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 batcher_send_groth16_burst_5: batcher/client/target/release/batcher-client
 	@echo "Sending Groth16Bn254 1!=0 task to Batcher..."
@@ -174,7 +179,8 @@ batcher_send_groth16_burst_5: batcher/client/target/release/batcher-client
 		--proof test_files/groth16/ineq_1_groth16.proof \
 		--public_input test_files/groth16/ineq_1_groth16.pub \
 		--vk test_files/groth16/ineq_1_groth16.vk \
-		--repetitions 5
+		--repetitions 5 \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
 
 batcher_send_infinite_groth16: ./batcher/client/target/release/batcher-client ## Send a different Groth16 BN254 proof using the task sender every 3 seconds
 	@mkdir -p task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs

README.md

@@ -40,7 +40,8 @@ cargo run --  \
 --proving_system <SP1|GnarkPlonkBn254|GnarkPlonkBls12_381|Groth16Bn254> \
 --proof <proof_file> \
 --vm_program <vm_program_file> \
---conn batcher.alignedlayer.com
+--conn batcher.alignedlayer.com \
+--proof_generator_addr <proof_generator_addr>
 ```
 
 **Example**
@@ -51,7 +52,8 @@ cargo run -- \
 --proving_system SP1 \
 --proof test_files/sp1/sp1_fibonacci.proof \
 --vm_program test_files/sp1/sp1_fibonacci-elf \
---conn batcher.alignedlayer.com ; 
+--conn batcher.alignedlayer.com \
+--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 ; 
 popd
 ```
 
@@ -61,7 +63,8 @@ cargo run -- \
 --proving_system SP1 \
 --proof test_files/sp1/sp1_fibonacci.proof \
 --vm_program test_files/sp1/sp1_fibonacci-elf \
---conn batcher.alignedlayer.com ; \
+--conn batcher.alignedlayer.com \
+--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 ;
 popd
 ```
 
@@ -76,7 +79,8 @@ cargo run -- \
 --proof <proof_file> \
 --public_input <public_input_file> \
 --vk <verification_key_file> \
---conn batcher.alignedlayer.com ;
+--conn batcher.alignedlayer.com \
+--proof_generator_addr <proof_generator_addr> ;
 popd
 ```
 
@@ -89,7 +93,8 @@ cargo run --release -- \
 --proof test_files/plonk_bn254/plonk.proof \
 --public_input test_files/plonk_bn254/plonk_pub_input.pub \
 --vk test_files/plonk_bn254/plonk.vk \
---conn batcher.alignedlayer.com ;
+--conn batcher.alignedlayer.com \
+--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 ;
 popd
 ```
 
@@ -100,7 +105,8 @@ cargo run -- \
 --proof test_files/plonk_bls12_381/plonk.proof \
 --public_input test_files/plonk_bls12_381/plonk_pub_input.pub \
 --vk test_files/plonk_bls12_381/plonk.vk \
---conn batcher.alignedlayer.com ;
+--conn batcher.alignedlayer.com \
+--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 ;
 popd
 ```
 
@@ -111,7 +117,8 @@ cargo run -- \
 --proof test_files/groth16/ineq_1_groth16.proof \
 --public_input test_files/groth16/ineq_1_groth16.pub \
 --vk test_files/groth16/ineq_1_groth16.vk \
---conn batcher.alignedlayer.com
+--conn batcher.alignedlayer.com \
+--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 ;
 popd
 ```
 
@@ -464,6 +471,7 @@ cd batcher/client/ && cargo run --release -- \
 --proof <proof_file> \
 --public-input <public_input_file> \
 --vm_program <vm_program_file> \
+--proof_generator_addr <proof_generator_addr>
 ```
 
 

batcher/client/generate_proof_and_send.sh

@@ -21,6 +21,5 @@ go run task_sender/test_examples/gnark_groth16_bn254_infinite_script/cmd/main.go
   --repetitions $repetitions \
   --proof task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16.proof \
   --public_input task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16.pub \
-  --vk task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16.vk
-
-
+  --vk task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16.vk \
+  --proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657

batcher/client/send_infinite_tasks.sh

@@ -19,7 +19,7 @@ do
 
     go run task_sender/test_examples/gnark_groth16_bn254_infinite_script/cmd/main.go $counter
 
-    cd ./batcher/client && cargo run --release -- --proving_system Groth16Bn254 --proof ../../task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.proof --public_input ../../task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.pub --vk ../../task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.vk
+    cd ./batcher/client && cargo run --release -- --proving_system Groth16Bn254 --proof ../../task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.proof --public_input ../../task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.pub --vk ../../task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.vk --proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
     cd ../..
 
     sleep $timer

batcher/client/src/main.rs

@@ -49,6 +49,14 @@ struct Args {
         default_value = "1"
     )]
     repetitions: u32,
+
+    #[arg(
+        name = "Proof generator address",
+        long = "proof_generator_addr",
+        default_value = "."
+    )]
+    proof_generator_addr: String,
+
 }
 
 #[tokio::main]
@@ -91,9 +99,7 @@ async fn main() {
         warn!("No VM program code file provided, continuing without VM program code...");
     }
 
-    // FIXME(marian): Dummy address for testing, this should be get by parameter
-    let addr_str = "0x66f9664f97F2b50F62D13eA064982f936dE76657";
-    let proof_generator_addr: Address = Address::parse_checksummed(addr_str, None).unwrap();
+    let proof_generator_addr: Address = Address::parse_checksummed(&args.proof_generator_addr, None).unwrap();
 
     let verification_data = VerificationData {
         proving_system,