Skip to content

Commit 7ed99d7

Browse files
MarcosNicolauMarcosNicolau
committed
feat: deploy script for contract
1 parent 8b6391a commit 7ed99d7

6 files changed

Lines changed: 71 additions & 3 deletions

File tree

‎examples/L2/Makefile‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,3 +10,5 @@ print_program_id:
1010
@cat ./crates/l2/programs_ids.json
1111

1212

13+
deploy_contract_holesky:
14+
@. ./contracts/.env.holesky && . ./contracts/scripts/deploy.sh

‎examples/L2/contracts/remappings.txt‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎examples/L2/contracts/script/StateTransitionDeployer.s.sol‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
// SPDX-License-Identifier: UNLICENSED
2+
pragma solidity ^0.8.13;
3+
4+
import "../lib/forge-std/src//Script.sol";
5+
import {StateTransition} from "../src/StateTransition.sol";
6+
7+
contract StateTransitionDeployer is Script {
8+
StateTransition public stateTransitionContract;
9+
10+
function setUp() public {}
11+
12+
function run(bytes32 programId, bytes32 initialStateRoot, address _alignedProofAggregationService, address owner)
13+
public
14+
returns (address)
15+
{
16+
vm.startBroadcast();
17+
18+
stateTransitionContract =
19+
new StateTransition(programId, initialStateRoot, _alignedProofAggregationService, owner);
20+
21+
vm.stopBroadcast();
22+
23+
return address(stateTransitionContract);
24+
}
25+
}

‎examples/L2/contracts/scripts/deploy.sh‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
# cd to the directory of this script so that this can be run from anywhere
2+
parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
3+
# At this point we are in contracts/scripts
4+
cd "$parent_path"
5+
6+
# At this point we are in contracts
7+
cd ../
8+
9+
forge script ./script/StateTransitionDeployer.s.sol \
10+
$PROGRAM_ID \
11+
$INITIAL_STATE_ROOT \
12+
$ALIGNED_PROOF_AGGREGATOR_ADDRESS \
13+
$OWNER_ADDRESS \
14+
--rpc-url $RPC_URL \
15+
--private-key $PRIVATE_KEY \
16+
--broadcast \
17+
--verify \
18+
--etherscan-api-key $ETHERSCAN_API_KEY \
19+
--slow \
20+
--sig "run(bytes32,bytes32,address,address)" \
21+
--via-ir

‎examples/L2/contracts/src/StateTransition.sol‎

Lines changed: 22 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,16 +3,23 @@ pragma solidity ^0.8.13;
33

44
contract StateTransition {
55
event StateUpdated(bytes32);
6+
event ProgramIdUpdated(bytes32);
7+
8+
error OnlyOwner(address);
69

710
bytes32 public PROGRAM_ID = 0x00;
811
bytes32 public stateRoot;
912
address public alignedProofAggregator;
13+
address public owner;
1014

11-
constructor(address _alignedProofAggregator) {
15+
constructor(bytes32 programId, bytes32 initialStateRoot, address _alignedProofAggregator, address _owner) {
1216
alignedProofAggregator = _alignedProofAggregator;
17+
owner = _owner;
18+
PROGRAM_ID = programId;
19+
stateRoot = initialStateRoot;
1320
}
1421

15-
function updateState(bytes calldata publicInputs, bytes32[] calldata merkleProof) public {
22+
function updateState(bytes calldata publicInputs, bytes32[] calldata merkleProof) public onlyOwner {
1623
bytes memory callData = abi.encodeWithSignature(
1724
"verifyProofInclusion(bytes32[],bytes32,bytes)", merkleProof, PROGRAM_ID, publicInputs
1825
);
@@ -29,4 +36,17 @@ contract StateTransition {
2936

3037
emit StateUpdated(stateRoot);
3138
}
39+
40+
function setProgramId(bytes32 programId) public onlyOwner {
41+
PROGRAM_ID = programId;
42+
43+
emit ProgramIdUpdated(PROGRAM_ID);
44+
}
45+
46+
modifier onlyOwner() {
47+
if (msg.sender != owner) {
48+
revert OnlyOwner(msg.sender);
49+
}
50+
_;
51+
}
3252
}

‎examples/L2/crates/l2/abi/StateTransition.json‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"abi":[{"type":"constructor","inputs":[{"name":"_alignedProofAggregator","type":"address","internalType":"address"}],"stateMutability":"nonpayable"},{"type":"function","name":"PROGRAM_ID","inputs":[],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"stateMutability":"view"},{"type":"function","name":"alignedProofAggregator","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"stateRoot","inputs":[],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"stateMutability":"view"},{"type":"function","name":"updateState","inputs":[{"name":"publicInputs","type":"bytes","internalType":"bytes"},{"name":"merkleProof","type":"bytes32[]","internalType":"bytes32[]"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"event","name":"StateUpdated","inputs":[{"name":"","type":"bytes32","indexed":false,"internalType":"bytes32"}],"anonymous":false}],"bytecode":{"object":"0x608060405260008055348015601357600080fd5b506040516104fb3803806104fb8339810160408190526030916054565b600280546001600160a01b0319166001600160a01b03929092169190911790556082565b600060208284031215606557600080fd5b81516001600160a01b0381168114607b57600080fd5b9392505050565b61046a806100916000396000f3fe608060405234801561001057600080fd5b506004361061004c5760003560e01c80632f021764146100515780639588eca21461006d578063af80856414610076578063b4cf5ed3146100a1575b600080fd5b61005a60005481565b6040519081526020015b60405180910390f35b61005a60015481565b600254610089906001600160a01b031681565b6040516001600160a01b039091168152602001610064565b6100b46100af366004610275565b6100b6565b005b6000828260005487876040516024016100d3959493929190610348565b60408051601f198184030181529181526020820180516001600160e01b0316632df53d6b60e11b179052600254905191925060009182916001600160a01b03169061011f9085906103ba565b600060405180830381855afa9150503d806000811461015a576040519150601f19603f3d011682016040523d82523d6000602084013e61015f565b606091505b5091509150816101ab5760405162461bcd60e51b81526020600482015260126024820152711cdd185d1a58d7d8d85b1b0819985a5b195960721b60448201526064015b60405180910390fd5b6000818060200190518101906101c191906103e9565b9050806102105760405162461bcd60e51b815260206004820152601d60248201527f70726f6f66206e6f7420766572696669656420696e20616c69676e656400000060448201526064016101a2565b60008061021f898b018b610412565b91509150600154821461023157600080fd5b60018190556040518181527f7dec0c67bc5894b08872daeb9d5a8e7cba33c396890356a4d01ec40a71be5ce19060200160405180910390a150505050505050505050565b6000806000806040858703121561028b57600080fd5b843567ffffffffffffffff8111156102a257600080fd5b8501601f810187136102b357600080fd5b803567ffffffffffffffff8111156102ca57600080fd5b8760208284010111156102dc57600080fd5b60209182019550935085013567ffffffffffffffff8111156102fd57600080fd5b8501601f8101871361030e57600080fd5b803567ffffffffffffffff81111561032557600080fd5b8760208260051b840101111561033a57600080fd5b949793965060200194505050565b6060808252810185905260006001600160fb1b0386111561036857600080fd5b8560051b8088608085013780830190508560208401526080838203016040840152836080820152838560a0830137600060a0828601810191909152601f909401601f1916019092019695505050505050565b6000825160005b818110156103db57602081860181015185830152016103c1565b506000920191825250919050565b6000602082840312156103fb57600080fd5b8151801515811461040b57600080fd5b9392505050565b6000806040838503121561042557600080fd5b5050803592602090910135915056fea26469706673582212200e4909105440b6d95f2d5391c8c5474a570fceaf40938393bed0f5d72b31e07f64736f6c634300081c0033","sourceMap":"65:1052:16:-:0;;;158:4;130:32;;242:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;297:22;:48;;-1:-1:-1;;;;;;297:48:16;-1:-1:-1;;;;;297:48:16;;;;;;;;;;65:1052;;14:290:17;84:6;137:2;125:9;116:7;112:23;108:32;105:52;;;153:1;150;143:12;105:52;179:16;;-1:-1:-1;;;;;224:31:17;;214:42;;204:70;;270:1;267;260:12;204:70;293:5;14:290;-1:-1:-1;;;14:290:17:o;:::-;65:1052:16;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x608060405234801561001057600080fd5b506004361061004c5760003560e01c80632f021764146100515780639588eca21461006d578063af80856414610076578063b4cf5ed3146100a1575b600080fd5b61005a60005481565b6040519081526020015b60405180910390f35b61005a60015481565b600254610089906001600160a01b031681565b6040516001600160a01b039091168152602001610064565b6100b46100af366004610275565b6100b6565b005b6000828260005487876040516024016100d3959493929190610348565b60408051601f198184030181529181526020820180516001600160e01b0316632df53d6b60e11b179052600254905191925060009182916001600160a01b03169061011f9085906103ba565b600060405180830381855afa9150503d806000811461015a576040519150601f19603f3d011682016040523d82523d6000602084013e61015f565b606091505b5091509150816101ab5760405162461bcd60e51b81526020600482015260126024820152711cdd185d1a58d7d8d85b1b0819985a5b195960721b60448201526064015b60405180910390fd5b6000818060200190518101906101c191906103e9565b9050806102105760405162461bcd60e51b815260206004820152601d60248201527f70726f6f66206e6f7420766572696669656420696e20616c69676e656400000060448201526064016101a2565b60008061021f898b018b610412565b91509150600154821461023157600080fd5b60018190556040518181527f7dec0c67bc5894b08872daeb9d5a8e7cba33c396890356a4d01ec40a71be5ce19060200160405180910390a150505050505050505050565b6000806000806040858703121561028b57600080fd5b843567ffffffffffffffff8111156102a257600080fd5b8501601f810187136102b357600080fd5b803567ffffffffffffffff8111156102ca57600080fd5b8760208284010111156102dc57600080fd5b60209182019550935085013567ffffffffffffffff8111156102fd57600080fd5b8501601f8101871361030e57600080fd5b803567ffffffffffffffff81111561032557600080fd5b8760208260051b840101111561033a57600080fd5b949793965060200194505050565b6060808252810185905260006001600160fb1b0386111561036857600080fd5b8560051b8088608085013780830190508560208401526080838203016040840152836080820152838560a0830137600060a0828601810191909152601f909401601f1916019092019695505050505050565b6000825160005b818110156103db57602081860181015185830152016103c1565b506000920191825250919050565b6000602082840312156103fb57600080fd5b8151801515811461040b57600080fd5b9392505050565b6000806040838503121561042557600080fd5b5050803592602090910135915056fea26469706673582212200e4909105440b6d95f2d5391c8c5474a570fceaf40938393bed0f5d72b31e07f64736f6c634300081c0033","sourceMap":"65:1052:16:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;130:32;;;;;;;;;160:25:17;;;148:2;133:18;130:32:16;;;;;;;;168:24;;;;;;198:37;;;;;-1:-1:-1;;;;;198:37:16;;;;;;-1:-1:-1;;;;;360:32:17;;;342:51;;330:2;315:18;198:37:16;196:203:17;358:757:16;;;;;;:::i;:::-;;:::i;:::-;;;457:21;567:11;;580:10;;592:12;;481:133;;;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;481:133:16;;;;;;;;;;;;;;-1:-1:-1;;;;;481:133:16;-1:-1:-1;;;481:133:16;;;667:22;;:43;;481:133;;-1:-1:-1;;;;;;;;;;667:22:16;;:43;;481:133;;667:43;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;624:86;;;;728:10;720:41;;;;-1:-1:-1;;;720:41:16;;2992:2:17;720:41:16;;;2974:21:17;3031:2;3011:18;;;3004:30;-1:-1:-1;;;3050:18:17;;;3043:48;3108:18;;720:41:16;;;;;;;;;772:18;804:8;793:28;;;;;;;;;;;;:::i;:::-;772:49;;839:13;831:55;;;;-1:-1:-1;;;831:55:16;;3621:2:17;831:55:16;;;3603:21:17;3660:2;3640:18;;;3633:30;3699:31;3679:18;;;3672:59;3748:18;;831:55:16;3419:353:17;831:55:16;898:21;;945:44;;;;956:12;945:44;:::i;:::-;897:92;;;;1024:9;;1007:13;:26;999:35;;;;;;1045:9;:24;;;1085:23;;160:25:17;;;1085:23:16;;148:2:17;133:18;1085:23:16;;;;;;;447:668;;;;;;358:757;;;;:::o;404:1108:17:-;510:6;518;526;534;587:2;575:9;566:7;562:23;558:32;555:52;;;603:1;600;593:12;555:52;643:9;630:23;676:18;668:6;665:30;662:50;;;708:1;705;698:12;662:50;731:22;;784:4;776:13;;772:27;-1:-1:-1;762:55:17;;813:1;810;803:12;762:55;853:2;840:16;879:18;871:6;868:30;865:50;;;911:1;908;901:12;865:50;958:7;951:4;942:6;938:2;934:15;930:26;927:39;924:59;;;979:1;976;969:12;924:59;1010:4;1002:13;;;;-1:-1:-1;1034:6:17;-1:-1:-1;1078:20:17;;1065:34;1124:18;1111:32;;1108:52;;;1156:1;1153;1146:12;1108:52;1179:24;;1234:4;1226:13;;1222:27;-1:-1:-1;1212:55:17;;1263:1;1260;1253:12;1212:55;1305:2;1292:16;1333:18;1323:8;1320:32;1317:52;;;1365:1;1362;1355:12;1317:52;1422:7;1415:4;1403:8;1400:1;1396:16;1392:2;1388:25;1384:36;1381:49;1378:69;;;1443:1;1440;1433:12;1378:69;404:1108;;;;-1:-1:-1;1474:4:17;1466:13;;-1:-1:-1;;;404:1108:17:o;1517:851::-;1790:2;1772:21;;;1809:18;;1802:34;;;-1:-1:-1;;;;;;1848:31:17;;1845:51;;;1892:1;1889;1882:12;1845:51;1926:6;1923:1;1919:14;1984:6;1976;1970:3;1959:9;1955:19;1942:49;2025:6;2014:9;2010:22;2000:32;;2070:6;2063:4;2052:9;2048:20;2041:36;2137:3;2125:9;2121:2;2117:18;2113:28;2108:2;2097:9;2093:18;2086:56;2172:6;2166:3;2162:2;2158:12;2151:28;2223:6;2215;2209:3;2205:2;2201:12;2188:42;2284:1;2246:36;2254:15;;;2246:36;;2239:47;;;;2344:2;2323:15;;;-1:-1:-1;;2319:29:17;2311:38;2303:59;;;;1517:851;-1:-1:-1;;;;;;1517:851:17:o;2373:412::-;2502:3;2540:6;2534:13;2565:1;2575:129;2589:6;2586:1;2583:13;2575:129;;;2687:4;2671:14;;;2667:25;;2661:32;2648:11;;;2641:53;2604:12;2575:129;;;-1:-1:-1;2759:1:17;2723:16;;2748:13;;;-1:-1:-1;2723:16:17;2373:412;-1:-1:-1;2373:412:17:o;3137:277::-;3204:6;3257:2;3245:9;3236:7;3232:23;3228:32;3225:52;;;3273:1;3270;3263:12;3225:52;3305:9;3299:16;3358:5;3351:13;3344:21;3337:5;3334:32;3324:60;;3380:1;3377;3370:12;3324:60;3403:5;3137:277;-1:-1:-1;;;3137:277:17:o;3777:346::-;3845:6;3853;3906:2;3894:9;3885:7;3881:23;3877:32;3874:52;;;3922:1;3919;3912:12;3874:52;-1:-1:-1;;3967:23:17;;;4087:2;4072:18;;;4059:32;;-1:-1:-1;3777:346:17:o","linkReferences":{}},"methodIdentifiers":{"PROGRAM_ID()":"2f021764","alignedProofAggregator()":"af808564","stateRoot()":"9588eca2","updateState(bytes,bytes32[])":"b4cf5ed3"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.28+commit.7893614a\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_alignedProofAggregator\",\"type\":\"address\"}],\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"name\":\"StateUpdated\",\"type\":\"event\"},{\"inputs\":[],\"name\":\"PROGRAM_ID\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"alignedProofAggregator\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"stateRoot\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"publicInputs\",\"type\":\"bytes\"},{\"internalType\":\"bytes32[]\",\"name\":\"merkleProof\",\"type\":\"bytes32[]\"}],\"name\":\"updateState\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/StateTransition.sol\":\"StateTransition\"},\"evmVersion\":\"paris\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[\":forge-std/=lib/forge-std/src/\"]},\"sources\":{\"src/StateTransition.sol\":{\"keccak256\":\"0x53d437af1fbd0693e9a818a76f83fc1c1ee467b2fa771314ea536f7070ed42d0\",\"license\":\"UNLICENSED\",\"urls\":[\"bzz-raw://681ea84bcdffdb9c9e7c740377d0afe3fb4f732f3bfde4bc748c8a1a2de46c8f\",\"dweb:/ipfs/QmeVp5s8pjHtBmbDxpj5YKvkdqbqE9CPFux4bLV6fzgc4K\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.28+commit.7893614a"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"address","name":"_alignedProofAggregator","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32","indexed":false}],"type":"event","name":"StateUpdated","anonymous":false},{"inputs":[],"stateMutability":"view","type":"function","name":"PROGRAM_ID","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"alignedProofAggregator","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"stateRoot","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}]},{"inputs":[{"internalType":"bytes","name":"publicInputs","type":"bytes"},{"internalType":"bytes32[]","name":"merkleProof","type":"bytes32[]"}],"stateMutability":"nonpayable","type":"function","name":"updateState"}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["forge-std/=lib/forge-std/src/"],"optimizer":{"enabled":true,"runs":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"src/StateTransition.sol":"StateTransition"},"evmVersion":"paris","libraries":{}},"sources":{"src/StateTransition.sol":{"keccak256":"0x53d437af1fbd0693e9a818a76f83fc1c1ee467b2fa771314ea536f7070ed42d0","urls":["bzz-raw://681ea84bcdffdb9c9e7c740377d0afe3fb4f732f3bfde4bc748c8a1a2de46c8f","dweb:/ipfs/QmeVp5s8pjHtBmbDxpj5YKvkdqbqE9CPFux4bLV6fzgc4K"],"license":"UNLICENSED"}},"version":1},"id":16}

0 commit comments

Comments
 (0)