refactor: delete task sender (#531)

Co-authored-by: Tatu <65305492+srosati@users.noreply.github.com>
Co-authored-by: Mauro Toscano <12560266+MauroToscano@users.noreply.github.com>

Author: 3 people

.github/workflows/build.yml

@@ -30,5 +30,3 @@ jobs:
         run: go build operator/cmd/main.go
       - name: Build aggregator
         run: go build aggregator/cmd/main.go
-      - name: Build task sender
-        run: go build task_sender/cmd/main.go

.gitignore

@@ -6,7 +6,7 @@ out
 cache
 **/build
 **/target
-task_sender/test_examples/gnark_groth16_bn254_infinite_script/infinite_proofs/**
+scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/**
 batcher/aligned/batch_inclusion_responses/*
 **/aligned_verification_data
 **/broadcast

Makefile

@@ -46,7 +46,7 @@ rm -rf ~/.aligned/aligned_verification_data/ &&
 aligned submit \
 --proving_system SP1 \
 --proof ~/.aligned/test_files/sp1_fibonacci.proof \
---vm_program ~/.aligned/test_files/sp1_fibonacci-elf \
+--vm_program ~/.aligned/test_files/sp1_fibonacci.elf \
 --aligned_verification_data_path ~/.aligned/aligned_verification_data \
 --conn wss://batcher.alignedlayer.com
 ```

README.md

@@ -57,8 +57,8 @@ aligned submit \
 rm -rf ./aligned_verification_data/ &&
 aligned submit \
 --proving_system SP1 \
---proof ./batcher/aligned/test_files/sp1/sp1_fibonacci.proof \
---vm_program ./batcher/aligned/test_files/sp1/sp1_fibonacci-elf \
+--proof ./scripts/test_files/sp1/sp1_fibonacci.proof \
+--vm_program ./scripts/test_files/sp1/sp1_fibonacci.elf \
 --conn wss://batcher.alignedlayer.com \
 --keystore_path ~/.aligned_keystore/keystore0
 ```
@@ -85,8 +85,8 @@ aligned submit \
 rm -rf ~/.aligned/aligned_verification_data/ &&                                                                                
 aligned submit \
 --proving_system Risc0 \
---proof ./batcher/aligned/test_files/risc_zero/risc_zero_fibonacci.proof \
---vm_program ./batcher/aligned/test_files/risc_zero/fibonacci_id.bin \
+--proof ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci.proof \
+--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id.bin \
 --aligned_verification_data_path ~/.aligned/aligned_verification_data \
 --keystore_path ~/.aligned_keystore/keystore0
 ```
@@ -114,9 +114,9 @@ aligned submit \
 rm -rf ./aligned_verification_data/ &&
 aligned submit \
 --proving_system GnarkPlonkBn254 \
---proof ./batcher/aligned/test_files/plonk_bn254/plonk.proof \
---public_input ./batcher/aligned/test_files/plonk_bn254/plonk_pub_input.pub \
---vk ./batcher/aligned/test_files/plonk_bn254/plonk.vk \
+--proof ./scripts/test_files/gnark_plonk_bn254_script/plonk.proof \
+--public_input ./scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input.pub \
+--vk ./scripts/test_files/gnark_plonk_bn254_script/plonk.vk \
 --conn wss://batcher.alignedlayer.com \
 --keystore_path ~/.aligned_keystore/keystore0
 ```
@@ -125,9 +125,9 @@ aligned submit \
 rm -rf ./aligned_verification_data/ &&
 aligned submit \
 --proving_system GnarkPlonkBls12_381 \
---proof ./batcher/aligned/test_files/plonk_bls12_381/plonk.proof \
---public_input ./batcher/aligned/test_files/plonk_bls12_381/plonk_pub_input.pub \
---vk ./batcher/aligned/test_files/plonk_bls12_381/plonk.vk \
+--proof ./scripts/test_files/gnark_plonk_bls12_381_script/plonk.proof \
+--public_input ./scripts/test_files/gnark_plonk_bls12_381_script/plonk_pub_input.pub \
+--vk ./scripts/test_files/gnark_plonk_bls12_381_script/plonk.vk \
 --conn wss://batcher.alignedlayer.com \
 --keystore_path ~/.aligned_keystore/keystore0
 ```
@@ -136,9 +136,9 @@ aligned submit \
 rm -rf ./aligned_verification_data/ &&
 aligned submit \
 --proving_system Groth16Bn254 \
---proof ./batcher/aligned/test_files/groth16/ineq_1_groth16.proof \
---public_input ./batcher/aligned/test_files/groth16/ineq_1_groth16.pub \
---vk ./batcher/aligned/test_files/groth16/ineq_1_groth16.vk \
+--proof ./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_1_groth16.proof \
+--public_input ./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_1_groth16.pub \
+--vk ./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_1_groth16.vk \
 --conn wss://batcher.alignedlayer.com \
 --keystore_path ~/.aligned_keystore/keystore0
 ```

README_SEND_PROOFS.md

@@ -20,13 +20,13 @@ else
 fi
 
 echo "Generating proof $x != 0"
-go run task_sender/test_examples/gnark_groth16_bn254_infinite_script/cmd/main.go $x
+go run scripts/test_files/gnark_groth16_bn254_infinite_script/cmd/main.go $x
 
 ./batcher/target/release/aligned submit \
   --proving_system Groth16Bn254 \
   --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 \
+  --proof scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16.proof \
+  --public_input scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16.pub \
+  --vk scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16.vk \
   --private_key $USER_PRIVATE_KEY \
   --proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657

batcher/aligned/generate_proof_and_send.sh

@@ -1,9 +1,9 @@
 #!/bin/bash
 
-SP1_ELF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batcher/aligned/test_files/sp1/sp1_fibonacci-elf"
-SP1_PROOF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batcher/aligned/test_files/sp1/sp1_fibonacci.proof"
+SP1_ELF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/scripts/test_files/sp1/sp1_fibonacci.elf"
+SP1_PROOF_URL="https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/scripts/test_files/sp1/sp1_fibonacci.proof"
 
-SP1_ELF_NAME="sp1_fibonacci-elf"
+SP1_ELF_NAME="sp1_fibonacci.elf"
 SP1_PROOF_NAME="sp1_fibonacci.proof"
 
 BASE_DIR=$HOME

batcher/aligned/get_proof_test_files.sh

@@ -22,8 +22,8 @@ do
 
     aligned submit \
     --proving_system SP1 \
-    --proof test_files/sp1/sp1_fibonacci.proof \
-    --vm_program test_files/sp1/sp1_fibonacci-elf \
+    --proof ../../scripts/test_files/sp1/sp1_fibonacci.proof \
+    --vm_program ../../scripts/test_files/sp1/sp1_fibonacci.elf \
     --proof_generator_addr "$random_addr"
 
     sleep "$timer"

batcher/aligned/send_infinite_sp1_tasks/send_infinite_sp1_tasks.sh

@@ -17,9 +17,9 @@ while true
 do
     echo "Generating proof $counter != 0"
 
-    go run task_sender/test_examples/gnark_groth16_bn254_infinite_script/cmd/main.go $counter
+    go run scripts/test_files/gnark_groth16_bn254_infinite_script/cmd/main.go $counter
 
-    cd ./batcher/aligned && cargo run --release -- submit --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 ./batcher/aligned && cargo run --release -- submit --proving_system Groth16Bn254 --proof ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.proof --public_input ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.pub --vk ../../scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${counter}_groth16.vk --proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657
     cd ../..
 
     sleep $timer