docs: fix aligned submit command (yetanotherco#723)

Author: taturosati

README.md

@@ -14,7 +14,7 @@
 
 ## The Project
 
-Aligned is a decentralized network of nodes that verifies Zero-Knowledge and Validity proofs, and post the results in Ethereum. 
+Aligned is a decentralized network of nodes that verifies Zero-Knowledge and Validity proofs, and post the results in Ethereum.
 
 These proofs can be generated and used for a tenth of the price, and with extremely low latency, allowing novel types of applications that weren't possible before in Ethereum.
 
@@ -46,7 +46,9 @@ aligned submit \
 --proof ~/.aligned/test_files/sp1_fibonacci.proof \
 --vm_program ~/.aligned/test_files/sp1_fibonacci.elf \
 --aligned_verification_data_path ~/.aligned/aligned_verification_data \
---conn wss://batcher.alignedlayer.com
+--conn wss://batcher.alignedlayer.com \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 5. You should get a response like this:
@@ -59,7 +61,7 @@ aligned submit \
 [2024-07-01T19:19:18Z INFO  aligned] https://explorer.alignedlayer.com/batches/0xe367d76e832edec893d3a9027b3c231b2e3994c47acfac2e67197c13c9be0c4c
 ```
 
-You can use the link to the explorer to check the status of your transaction. 
+You can use the link to the explorer to check the status of your transaction.
 
 6. After three Ethereum blocks, you can check if it has been verified with:
 
@@ -136,10 +138,10 @@ python3 -m pip install -r examples/verify/requirements.txt
 ```bash
 python3 examples/verify/encode_verification_data.py --aligned-verification-data ~/.aligned/aligned_verification_data/*.json
 ```
- 
+
 If your verification data is in another path, just change the `--aligned-verification-data` parameter.
 
-#### Using a caller contract 
+#### Using a caller contract
 
 To verify a proof in your own contract, use a static call to the Aligned contract. You can use the following [Caller Contract](examples/verify/src/VerifyBatchInclusionCaller.sol) as an example. The code will look like this:
 

docs/guides/0_submitting_proofs.md

@@ -116,7 +116,9 @@ aligned submit \
 --conn wss://batcher.alignedlayer.com \
 --proof_generator_addr [proof_generator_addr] \
 --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
---keystore_path <path_to_ecdsa_keystore>
+--keystore_path <path_to_ecdsa_keystore> \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 **Example**
@@ -128,7 +130,9 @@ aligned submit \
 --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
+--keystore_path ~/.aligned_keystore/keystore0 \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 ### Risc0 proof
@@ -147,7 +151,9 @@ aligned submit \
 --conn wss://batcher.alignedlayer.com \
 --proof_generator_addr [proof_generator_addr] \
 --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
---keystore_path <path_to_ecdsa_keystore>
+--keystore_path <path_to_ecdsa_keystore> \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 **Example**
@@ -161,7 +167,9 @@ aligned submit \
 --public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci.pub \
 --conn wss://batcher.alignedlayer.com \
 --aligned_verification_data_path ~/.aligned/aligned_verification_data \
---keystore_path ~/.aligned_keystore/keystore0
+--keystore_path ~/.aligned_keystore/keystore0 \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 ### GnarkPlonkBn254, GnarkPlonkBls12_381 and Groth16Bn254
@@ -178,7 +186,9 @@ aligned submit \
 --conn wss://batcher.alignedlayer.com \
 --proof_generator_addr [proof_generator_addr] \
 --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
---keystore_path <path_to_ecdsa_keystore>
+--keystore_path <path_to_ecdsa_keystore> \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 **Examples**:
@@ -191,7 +201,9 @@ aligned submit \
 --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
+--keystore_path ~/.aligned_keystore/keystore0 \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 ```bash
@@ -202,7 +214,9 @@ aligned submit \
 --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
+--keystore_path ~/.aligned_keystore/keystore0 \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 ```bash
@@ -213,5 +227,7 @@ aligned submit \
 --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
+--keystore_path ~/.aligned_keystore/keystore0 \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```

docs/guides/3_generating_proofs.md

@@ -40,8 +40,9 @@ aligned submit \
 --proof <proof_path> \
 --vm_program <vm_program_path> \
 --conn wss://batcher.alignedlayer.com \
---proof_generator_addr <proof_generator_addr>
-```
+--proof_generator_addr <proof_generator_addr\
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003``
 
 Where `proof_path` is the path to the proof file and vm program path is the path to the elf file.
 
@@ -88,7 +89,9 @@ aligned submit \
 --public_input <public_input_path>
 --vk <verification_key_path> \
 --conn wss://batcher.alignedlayer.com \
---proof_generator_addr <proof_generator_addr>
+--proof_generator_addr <proof_generator_addr> \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 Where proof path is the path to the proof file, `public_input_path` is the path to the public input file,
@@ -113,12 +116,12 @@ First, open the risc0 host file and add the following code to export image id &
 ```rust
 fn main() {
     // your code here
-  
+
     // <METHOD_ID> is the method id of the function you want to prove
     // <method_id_file_path> is the path where the method id will be saved
     std::fs::write("<method_id_file_path>", convert(&<METHOD_ID>))
             .expect("Failed to write method_id file");
-  
+
     // <pub_input_file_path> is the path where the public input will be saved
     std::fs::write("<pub_input_file_path>", receipt.journal.bytes)
             .expect("Failed to write pub_input file");
@@ -160,7 +163,9 @@ aligned submit \
   --vm_program <method_id_file_path> \
   --public_input <pub_input_file_path> \
   --conn wss://batcher.alignedlayer.com \
-  --proof_generator_addr <proof_generator_addr>
+  --proof_generator_addr <proof_generator_addr> \
+  --rpc https://ethereum-holesky-rpc.publicnode.com \
+  --batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 For more instructions on how to submit proofs, check the [Submitting proofs guide](../guides/0_submitting_proofs.md).

docs/guides/5_setup_aligned.md

@@ -516,7 +516,9 @@ aligned submit \
 --pub_input <pub_input_file> \
 --proof_generator_addr [proof_generator_addr] \
 --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
---keystore_path [path_to_ecdsa_keystore]
+--keystore_path [path_to_ecdsa_keystore] \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 </details>

docs/introduction/1_getting_started.md

@@ -19,7 +19,7 @@ curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batche
 curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batcher/aligned/get_proof_test_files.sh | bash
 ```
 
-4. Send the proof to be verified in Aligned with 
+4. Send the proof to be verified in Aligned with
 
 ```bash
 rm -rf ~/.aligned/aligned_verification_data/ &&
@@ -28,7 +28,9 @@ aligned submit \
 --proof ~/.aligned/test_files/sp1_fibonacci.proof \
 --vm_program ~/.aligned/test_files/sp1_fibonacci.elf \
 --aligned_verification_data_path ~/.aligned/aligned_verification_data \
---conn wss://batcher.alignedlayer.com
+--conn wss://batcher.alignedlayer.com \
+--rpc https://ethereum-holesky-rpc.publicnode.com \
+--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
 ```
 
 5. You should get a response like this: