refactor: clearer names

Author: MarcosNicolau

examples/l2/Makefile

@@ -38,8 +38,8 @@ clean_db:
 	rm -f examples/l2/crates/l2/db
 
 __L2_PROGRAM__:
-update_state_transition:
-	@. ./.env && cd cmd && cargo run --release --bin update_state_transition
+prove_state_transition:
+	@. ./.env && cd cmd && cargo run --release --bin prove_state_transition
 
-verify_state_transition_on_chain:
-	@. ./.env && cd cmd && cargo run --release --bin verify_state_transition_on_chain
+update_state_on_chain:
+	@. ./.env && cd cmd && cargo run --release --bin update_state_on_chain

examples/l2/README.md

@@ -20,7 +20,7 @@ In Step 1, we execute user transfers and generate a zkVM-based proof of the stat
 
 In Step 2, once the proof is aggregated (every 24 hours), it is verified on-chain to update the global state.
 
-### Step 1: Off-Chain Execution & Proof Generation
+### Step 1: Off-Chain Execution + Proof Generation
 
 1. Initialize State: Load or initialize the current system state.
 2. Load Transfers: Retrieve or receive the user transfer data for this batch.
@@ -29,7 +29,7 @@ In Step 2, once the proof is aggregated (every 24 hours), it is verified on-chai
 5. Submit Proof to Aligned: Send the proof to Aligned Verification Layer
 6. Save the binary proof locally for later on-chain verification.
 
-### Step 2: On-Chain State Update
+### Step 2: Proof Verification + On-Chain State Update
 
 7. Load the proof binary: Retrieve the saved proof binary from disk.
 8. Update On-Chain State: Call the smart contract method `updateStateTransition`, which:
@@ -163,13 +163,13 @@ Pass the output address in the `.env` and [run the l2](#run-the-l2).
 -   Perform the L2 account updates and prove them in the zkvm:
 
 ```shell
-make update_state_transition
+make prove_state_transition
 ```
 
 -   Update state transition on chain, you should run this after your proof has been aggregated by aligned (this process happens every 24hs):
 
 ```shell
-make verify_state_transition_on_chain
+make update_state_on_chain
 ```
 
 You should see a transaction receipt in the console and after the stateRoot updated on-chain.

examples/l2/cmd/Cargo.toml

@@ -19,9 +19,9 @@ name = "l2_cmd"
 path = "./lib.rs"
 
 [[bin]]
-name = "update_state_transition"
-path = "./update_state_transition.rs"
+name = "prove_state_transition"
+path = "./prove_state_transition.rs"
 
 [[bin]]
-name = "verify_state_transition_on_chain"
-path = "./verify_state_transition_on_chain.rs"
+name = "update_state_on_chain"
+path = "./update_state_on_chain.rs"

…amples/l2/cmd/update_state_transition.rs examples/l2/cmd/prove_state_transition.rsexamples/l2/cmd/update_state_transition.rs renamed to examples/l2/cmd/prove_state_transition.rs examples/l2/cmd/update_state_transition.rs renamed to examples/l2/cmd/prove_state_transition.rs

@@ -14,7 +14,7 @@ async fn main() {
     let config = load_config();
     let mut l2 = L2::new(config);
 
-    let proof = l2.update_state_transition().await;
+    let proof = l2.prove_state_transition_and_send_proof_to_aligned().await;
     info!("Serializing and saving proof on disk to be verified later on chain");
 
     let proof_bytes = bincode::serialize(&proof).unwrap();

…/cmd/verify_state_transition_on_chain.rs examples/l2/cmd/update_state_on_chain.rsexamples/l2/cmd/verify_state_transition_on_chain.rs renamed to examples/l2/cmd/update_state_on_chain.rs examples/l2/cmd/verify_state_transition_on_chain.rs renamed to examples/l2/cmd/update_state_on_chain.rs

@@ -16,5 +16,5 @@ async fn main() {
 
     let proof_bytes = std::fs::read("./proof.bin").unwrap();
     let proof = bincode::deserialize(&proof_bytes).unwrap();
-    l2.verify_state_transition(proof).await;
+    l2.update_state_on_chain(proof).await;
 }

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

@@ -24,7 +24,9 @@ impl L2 {
         }
     }
 
-    pub async fn update_state_transition(&mut self) -> SP1ProofWithPublicValues {
+    pub async fn prove_state_transition_and_send_proof_to_aligned(
+        &mut self,
+    ) -> SP1ProofWithPublicValues {
         // 1. Create random transfers
         let transfers = generate_random_transfers(&self.db, 10);
 
@@ -79,7 +81,7 @@ impl L2 {
         proof
     }
 
-    pub async fn verify_state_transition(&mut self, proof: SP1ProofWithPublicValues) {
+    pub async fn update_state_on_chain(&mut self, proof: SP1ProofWithPublicValues) {
         let vk = prover::vk_from_elf(PROGRAM_ELF);
         // 5. Check if proof has been aggregated
         info!("Checking if proof has been aggregated in the last 24 hours...");