fix(examples): l2 missing public inputs when submitting proof to Aligned (#2154)

Co-authored-by: JuArce <[email protected]>

Author: MarcosNicolau

examples/l2/Makefile

@@ -7,7 +7,7 @@ gen_devnet_owner_wallet:
 	rm -f ./contract-owner.keystore.json
 	cast wallet import -k . contract-owner.keystore.json --private-key 0x47e179ec197488593b187f80a00eb0da91f1b9d0b13f8733639f19c30a34926a --unsafe-password "<!w5Y%In94Vw"
 	@echo "Funding on Aligned" 
-	cd ../../batcher/aligned/ && \
+	cd ../../crates/cli/ && \
 	cargo run --release -- deposit-to-batcher \
 	 --amount 0.01ether \
 	 --private_key 0x47e179ec197488593b187f80a00eb0da91f1b9d0b13f8733639f19c30a34926a \

examples/l2/README.md

@@ -191,9 +191,9 @@ make prove_state_transition
 
 - Wait 24 hs for the proof to be aggregated, or if running locally, run the aggregator with either:
 
-    ```make start_proof_aggregator_ethereum_package AGGREGATOR=sp1``` 
+    ```make proof_aggregator_start_ethereum_package AGGREGATOR=sp1``` 
 or with cuda:
-    ```make start_proof_aggregator_gpu_ethereum_package AGGREGATOR=sp1```
+    ```make proof_aggregator_start_gpu_ethereum_package AGGREGATOR=sp1```
 
 -   Update state transition on chain:
 

examples/l2/cmd/utils.rs

@@ -11,7 +11,8 @@ pub fn load_config() -> Config {
         "holesky" => Network::Holesky,
         "holesky-stage" => Network::HoleskyStage,
         "devnet" => Network::Devnet,
-        _ => panic!("Invalid network, possible values are: holesky, holesky-stage, devnet"),
+        "hoodi" => Network::Hoodi,
+        _ => panic!("Invalid network, possible values are: holesky, holesky-stage, hoodi, devnet"),
     };
 
     let config = Config {

examples/l2/contracts/.env.devnet

@@ -8,5 +8,5 @@ OWNER_ADDRESS=0x15d34AAf54267DB7D7c367839AAf71A00a2C6A65
 # A prefunded rich account
 PRIVATE_KEY=0x47e179ec197488593b187f80a00eb0da91f1b9d0b13f8733639f19c30a34926a
 # This is the aligned proof aggregator address in devnet 
-ALIGNED_PROOF_AGGREGATOR_ADDRESS=0xFD471836031dc5108809D173A067e8486B9047A3
+ALIGNED_PROOF_AGGREGATOR_ADDRESS=0xcbEAF3BDe82155F56486Fb5a1072cb8baAf547cc
 ETHERSCAN_API_KEY="0x0"

examples/l2/crates/l2/src/aligned.rs

@@ -12,6 +12,7 @@ pub async fn send_proof_to_be_verified_on_aligned(
     proof: &sp1_sdk::SP1ProofWithPublicValues,
     vm_program_code: Vec<u8>,
 ) -> AlignedVerificationData {
+    let pub_input = proof.public_values.to_vec();
     let proof = bincode::serialize(proof).expect("Serialize sp1 proof to binary");
     let chain_id = get_chain_id(&config.eth_rpc_url)
         .await
@@ -28,7 +29,7 @@ pub async fn send_proof_to_be_verified_on_aligned(
         proving_system: aligned_sdk::common::types::ProvingSystemId::SP1,
         proof,
         vm_program_code: Some(vm_program_code),
-        pub_input: None,
+        pub_input: Some(pub_input),
         verification_key: None,
     };