feat: agg-mode example contract

Author: MarcosNicolau

examples/L2/contracts/README.md

@@ -0,0 +1,66 @@
+## Foundry
+
+**Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.**
+
+Foundry consists of:
+
+-   **Forge**: Ethereum testing framework (like Truffle, Hardhat and DappTools).
+-   **Cast**: Swiss army knife for interacting with EVM smart contracts, sending transactions and getting chain data.
+-   **Anvil**: Local Ethereum node, akin to Ganache, Hardhat Network.
+-   **Chisel**: Fast, utilitarian, and verbose solidity REPL.
+
+## Documentation
+
+https://book.getfoundry.sh/
+
+## Usage
+
+### Build
+
+```shell
+$ forge build
+```
+
+### Test
+
+```shell
+$ forge test
+```
+
+### Format
+
+```shell
+$ forge fmt
+```
+
+### Gas Snapshots
+
+```shell
+$ forge snapshot
+```
+
+### Anvil
+
+```shell
+$ anvil
+```
+
+### Deploy
+
+```shell
+$ forge script script/Counter.s.sol:CounterScript --rpc-url <your_rpc_url> --private-key <your_private_key>
+```
+
+### Cast
+
+```shell
+$ cast <subcommand>
+```
+
+### Help
+
+```shell
+$ forge --help
+$ anvil --help
+$ cast --help
+```

examples/L2/contracts/foundry.toml

@@ -0,0 +1,6 @@
+[profile.default]
+src = "src"
+out = "out"
+libs = ["lib"]
+
+# See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options

examples/L2/contracts/script/StateTransitionDeployer.sol

@@ -0,0 +1,21 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity ^0.8.13;
+
+import {Script, console} from "forge-std/Script.sol";
+import {StateTransition} from "../src/StateTransition.sol";
+
+contract StateTransitionDeployer is Script {
+    StateTransition public stateTransitionContract;
+
+    function setUp() public {}
+
+    function run(address _alignedProofAggregationService) public returns (address) {
+        vm.startBroadcast();
+
+        stateTransitionContract = new StateTransition(_alignedProofAggregationService);
+
+        vm.stopBroadcast();
+
+        return address(stateTransitionContract);
+    }
+}

examples/L2/contracts/src/StateTransition.sol

@@ -0,0 +1,31 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity ^0.8.13;
+
+contract StateTransition {
+    event StateUpdated(bytes32)
+
+    bytes32 public PROGRAM_ID = 0x00;
+    bytes32 public stateRoot;
+    address public alignedProofAggregator;
+
+    constructor(address _alignedProofAggregator) {
+        alignedProofAggregator = _alignedProofAggregator;
+    }
+
+    function updateState(bytes publicInputs, bytes32[] merkleProof) public {
+        bytes memory callData = abi.encodeWithSignature(
+            "verifyProofInclusion(bytes32[],bytes32,bytes)", merkleProof, programId, publicInputs
+        );
+        (bool callResult, bytes memory response) = alignedProofAggregator.staticcall(callData);
+        require(callWasSuccessful, "static_call failed");
+
+        bool proofVerified = abi.decode(response, (bool));
+        require(proofVerified, "proof not verified in aligned");
+
+        (prevStateRoot, newStateRoot) = abi.decode(publicInputs, (bytes32, UserStateUpdate[]));
+        require(prevStateRoot == stateRoot);
+        stateRoot = newStateRoot;
+
+        emit StateUpdated(stateRoot);
+    }
+}