2146 docs v0191#2147

Closed

JuArce wants to merge 7 commits intostagingfrom

2146-docs-v0191

Commits on Oct 2, 2025

docs: update Holesky network for Hoodi in the examples of submitting proofs tutorial (#2134)
maximopalopoli
authored
fix: change pub input curl URL in get_proof_test_files script (#2136)

maximopalopoli
and
JuArce
authored

Commits on Oct 3, 2025

docs: change Holesky network for Hoodi in the Try Aligned section (#2138)

maximopalopoli
and
JuArce
authored
docs: change Holesky for Hoodi in Generating proofs for Aligned section (#2139)

maximopalopoli
and
JuArce
authored
docs: use Hoodi instead of Holesky in Aligned CLI section examples (#2140)

maximopalopoli
and
JuArce
authored

Commits on Oct 6, 2025