fix: contract

Author: MarcosNicolau

.gitmodules

@@ -37,3 +37,6 @@
 [submodule "contracts/lib/risc0-ethereum"]
 	path = contracts/lib/risc0-ethereum
 	url = https://github.com/risc0/risc0-ethereum
+[submodule "examples/L2/contracts/lib/forge-std"]
+	path = examples/L2/contracts/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std

examples/L2/contracts/lib/forge-std

@@ -0,0 +1 @@
+forge-std/=lib/forge-std/src/

examples/L2/contracts/remappings.txt

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: UNLICENSED
 pragma solidity ^0.8.13;
 
-import {Script, console} from "forge-std/Script.sol";
+import "forge-std/Script.sol";
 import {StateTransition} from "../src/StateTransition.sol";
 
 contract StateTransitionDeployer is Script {

examples/L2/contracts/script/StateTransitionDeployer.sol

@@ -2,7 +2,7 @@
 pragma solidity ^0.8.13;
 
 contract StateTransition {
-    event StateUpdated(bytes32)
+    event StateUpdated(bytes32);
 
     bytes32 public PROGRAM_ID = 0x00;
     bytes32 public stateRoot;
@@ -12,18 +12,19 @@ contract StateTransition {
         alignedProofAggregator = _alignedProofAggregator;
     }
 
-    function updateState(bytes publicInputs, bytes32[] merkleProof) public {
+    function updateState(bytes calldata publicInputs, bytes32[] calldata merkleProof) public {
         bytes memory callData = abi.encodeWithSignature(
-            "verifyProofInclusion(bytes32[],bytes32,bytes)", merkleProof, programId, publicInputs
+            "verifyProofInclusion(bytes32[],bytes32,bytes)", merkleProof, PROGRAM_ID, publicInputs
         );
         (bool callResult, bytes memory response) = alignedProofAggregator.staticcall(callData);
-        require(callWasSuccessful, "static_call failed");
+        require(callResult, "static_call failed");
 
         bool proofVerified = abi.decode(response, (bool));
         require(proofVerified, "proof not verified in aligned");
 
-        (prevStateRoot, newStateRoot) = abi.decode(publicInputs, (bytes32, UserStateUpdate[]));
+        (bytes32 prevStateRoot, bytes32 newStateRoot) = abi.decode(publicInputs, (bytes32, bytes32));
         require(prevStateRoot == stateRoot);
+
         stateRoot = newStateRoot;
 
         emit StateUpdated(stateRoot);