Skip to content

docs: update Holesky network for Hoodi in the examples of submitting proofs tutorial #2134

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
JuArce merged 2 commits into from
Oct 2, 2025
Merged

docs: update Holesky network for Hoodi in the examples of submitting proofs tutorial #2134

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
feefc6d
docs: change the holesky network to hoodi in the examples of submitti…
maximopalopoli Oct 2, 2025
1e2c7df
Merge branch 'testnet' into docs/change-holesky-hoodi-examples-submit…
maximopalopoli Oct 2, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 24 additions & 24 deletions docs/3_guides/0_submitting_proofs.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -71,8 +71,8 @@ To use it, you can use the `aligned` CLI, as shown with the following example:

```bash
aligned deposit-to-batcher \
--rpc_url https://ethereum-holesky-rpc.publicnode.com \
--network holesky \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com \
--network hoodi \
--keystore_path <keystore_path> \
--amount 0.1ether
```
Expand All @@ -89,8 +89,8 @@ After depositing funds, you can verify the Service has correctly received them b

```bash
aligned get-user-balance \
--rpc_url https://ethereum-holesky-rpc.publicnode.com \
--network holesky \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com \
--network hoodi \
--user_addr <user_addr>
```

Expand Down Expand Up @@ -138,8 +138,8 @@ aligned submit \
--proof_generator_addr [proof_generator_addr] \
--batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
--keystore_path <path_to_ecdsa_keystore> \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

**Example**
Expand All @@ -152,8 +152,8 @@ aligned submit \
--vm_program ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf \
--public_input ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub \
--keystore_path ~/.aligned_keystore/keystore0 \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

### Risc0 proof
Expand All @@ -172,8 +172,8 @@ aligned submit \
--proof_generator_addr [proof_generator_addr] \
--batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
--keystore_path <path_to_ecdsa_keystore> \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

**NOTE**: As said above, Aligned currently supports Risc0 proofs from `risc0-zkvm` version `v3.0.3`. For generating proofs using `cargo risc-zero` please ensure you are using `v3.0.3` or your proof will not be verified.
Expand All @@ -198,8 +198,8 @@ aligned submit \
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_3_0_3.pub \
--aligned_verification_data_path ~/.aligned/aligned_verification_data \
--keystore_path ~/.aligned_keystore/keystore0 \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

### GnarkPlonkBn254, GnarkPlonkBls12_381 and GnarkGroth16Bn254
Expand All @@ -216,8 +216,8 @@ aligned submit \
--proof_generator_addr [proof_generator_addr] \
--batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
--keystore_path <path_to_ecdsa_keystore> \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

**Examples**:
Expand All @@ -230,8 +230,8 @@ aligned submit \
--public_input ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \
--keystore_path ~/.aligned_keystore/keystore0 \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

```bash
Expand All @@ -242,8 +242,8 @@ aligned submit \
--public_input ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \
--keystore_path ~/.aligned_keystore/keystore0 \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

```bash
Expand All @@ -254,8 +254,8 @@ aligned submit \
--public_input ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \
--vk ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \
--keystore_path ~/.aligned_keystore/keystore0 \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```

### CircomGroth16Bn256
Expand All @@ -272,8 +272,8 @@ aligned submit \
--proof_generator_addr [proof_generator_addr] \
--batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
--keystore_path <path_to_ecdsa_keystore> \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```
**Example**

Expand All @@ -285,6 +285,6 @@ aligned submit \
--public_input ./scripts/test_files/circom_groth16_bn256_script/public.json \
--vk ./scripts/test_files/circom_groth16_bn256_script/verification_key.json \
--keystore_path ~/.aligned_keystore/keystore0 \
--network holesky \
--rpc_url https://ethereum-holesky-rpc.publicnode.com
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.com
```