Push the latest contracts (#516)

Signed-off-by: Alfonso de la Rocha <adlrocha@tutamail.com>
Co-authored-by: Mikers <snissn@gmail.com>
Co-authored-by: raulk <raul@protocol.ai>
Co-authored-by: snissn <snissn@users.noreply.github.com>
Co-authored-by: auto-commit <auto-commit@users.noreply.github.com>
Co-authored-by: Alfonso de la Rocha <adlrocha@tutamail.com>
Co-authored-by: adlrocha <adlrocha@users.noreply.github.com>
Co-authored-by: raulk <raul.kripalani@gmail.com>

Author: 5 people

.github/workflows/contracts-deployment-test.yml

@@ -0,0 +1,44 @@
+name: Contracts Deployment Test
+
+on:
+  push:
+    branches:
+      - main
+      - dev
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v2
+
+    - name: Set up Node.js
+      uses: actions/setup-node@v2
+      with:
+        node-version: '18' # Adjust this as needed for your project
+
+    - name: Install dependencies
+      run: cd contracts && npm install
+
+    - name: Install Foundry
+      run: |
+        cd contracts
+        curl -L https://foundry.paradigm.xyz | bash
+        export PATH="$PATH:/home/runner/.config/.foundry/bin"
+        foundryup
+        forge install
+
+    - name: Generate Ethereum Private Key and Create .env File and run make
+      run: |
+        cd contracts
+        PRIVATE_KEY=$(node -e "console.log(require('crypto').randomBytes(32).toString('hex'))")
+        echo "export PRIVATE_KEY=0x$PRIVATE_KEY" > .env
+        echo "export RPC_URL=http://127.0.0.1:1337" >> .env
+        echo "export CHAIN_ID=1337" >> .env
+        export PATH="$PATH:/home/runner/.config/.foundry/bin"
+        npx ganache-cli -g0 -p1337 --account 0x$PRIVATE_KEY,1001901919191919191  &
+        sleep 5
+        make deploy-ipc

.github/workflows/contracts-npm-audit.yaml

@@ -1,4 +1,4 @@
-name: NPM Audit
+name: Contracts NPM Audit
 
 # This workflow is triggered from the main CI workflow.
 on:

.github/workflows/contracts-prettier.yaml

@@ -1,6 +1,5 @@
 # .github/workflows/prettier.yml
-
-name: Prettier
+name: Contracts Prettier
 
 # This workflow is triggered from the main CI workflow.
 on:

.github/workflows/contracts-sast.yaml

@@ -1,4 +1,4 @@
-name: Static analysis
+name: Contracts Static analysis
 
 # This workflow is triggered from the main CI workflow.
 on:

.github/workflows/contracts-storage.yaml

@@ -1,4 +1,4 @@
-name: Storage check
+name: Contracts Storage check
 
 # This workflow is triggered from the main CI workflow.
 on:

.github/workflows/contracts-test.yaml

@@ -1,4 +1,4 @@
-name: Tests
+name: Contracts Tests
 
 # This workflow is triggered from the main CI workflow.
 on:

contracts/Makefile

@@ -10,6 +10,12 @@ OUTPUT ?= out
 deploy-ipc:
 	./ops/deploy.sh $(NETWORK)
 
+deploy-subnet-registry:
+	./ops/deploy-subnet-registry.sh $(NETWORK)
+
+deploy-subnet:
+	./ops/deploy-subnet.sh $(NETWORK)
+
 upgrade-gw-diamond:
 	./ops/upgrade-gw-diamond.sh $(NETWORK)
 
@@ -106,7 +112,6 @@ coverage-for-mac: | forge
 
 prepare: build-selector-library fmt lint test slither
 
-
 build-selector-library: | forge
 	python scripts/python/build_selector_library.py
 	npx prettier -w test/helpers/SelectorLibrary.sol

contracts/README.md

@@ -49,6 +49,48 @@ To deploy the contracts in some other network configured in the Hardhat config y
 make deploy-ipc NETWORK=<network-name>
 ```
 
+# Upgrading IPC Solidity Contracts
+
+This repository's contracts use the Diamond pattern for upgradability, allowing new features to be added or issues to be corrected without a full redeployment. The upgrade process is automated and includes bytecode verification to ensure the integrity of the changes.
+
+## Automated Upgrade and Bytecode Verification
+
+When you run an upgrade command, the repository's scripts handle several tasks:
+
+1. **Bytecode Verification**: The scripts fetch the bytecode of the currently deployed contracts on an FEVM-powered IPC network using the details stored in local JSON files in the root directory of the git repository. They compare this with the bytecode generated after applying the intended changes on a temporary Ganache network.
+
+2. **Conditional Upgrades**: If the bytecode verification process detects changes that align with the intended upgrades, the `make` command conditionally triggers other scripts to perform the actual upgrade on the network.
+
+## Upgrade Commands
+
+To upgrade a contract, you may use the following commands. The NETWORK parameter is optional; if not specified, the scripts will default to "auto":
+
+-   **Gateway Diamond Upgrade**:
+
+    ```bash
+    make upgrade-gw-diamond [NETWORK=<network-name>]
+    ```
+
+-   **Subnet Actor Diamond Upgrade**:
+
+    ```bash
+    make upgrade-sa-diamond [NETWORK=<network-name>]
+    ```
+
+-   **Subnet Registry Diamond Upgrade**:
+    ```bash
+    make upgrade-sr-diamond [NETWORK=<network-name>]
+    ```
+
+After running any of these commands, the scripts will provide transaction details for verification. Check the transaction on the appropriate block explorer to confirm the upgrade's success.
+
+## Important Notes
+
+-   The upgrade commands are intended for use by authorized personnel with a deep understanding of the contracts' functionality.
+-   Ensure that your local repository is up to date with the latest contract code and JSON files before initiating an upgrade.
+-   Backup all contract data and thoroughly test any new code in a controlled environment prior to an upgrade.
+-   Monitor the output of the upgrade process carefully for transaction details and to verify its successful completion.
+
 ## Branching Strategy
 
 ### Production branch

contracts/binding/build.rs

@@ -24,12 +24,18 @@ pub mod xnet_messaging_facet;
 #[allow(clippy::all)]
 pub mod gateway_messenger_facet;
 #[allow(clippy::all)]
+pub mod subnet_actor_checkpointing_facet;
+#[allow(clippy::all)]
 pub mod subnet_actor_diamond;
 #[allow(clippy::all)]
 pub mod subnet_actor_getter_facet;
 #[allow(clippy::all)]
 pub mod subnet_actor_manager_facet;
 #[allow(clippy::all)]
+pub mod subnet_actor_pause_facet;
+#[allow(clippy::all)]
+pub mod subnet_actor_reward_facet;
+#[allow(clippy::all)]
 pub mod subnet_registry_diamond;
 #[allow(clippy::all)]
 pub mod register_subnet_facet;
@@ -50,11 +56,11 @@ fvm_address_conversion!(gateway_getter_facet);
 fvm_address_conversion!(bottom_up_router_facet);
 fvm_address_conversion!(xnet_messaging_facet);
 fvm_address_conversion!(gateway_messenger_facet);
-fvm_address_conversion!(subnet_actor_manager_facet);
+fvm_address_conversion!(subnet_actor_checkpointing_facet);
+fvm_address_conversion!(subnet_actor_getter_facet);
 fvm_address_conversion!(lib_gateway);
 
 // The list of contracts that need to convert common types between each other
-common_type_conversion!(gateway_getter_facet, subnet_actor_manager_facet);
 common_type_conversion!(subnet_actor_getter_facet, bottom_up_router_facet);
 common_type_conversion!(subnet_actor_getter_facet, checkpointing_facet);
 common_type_conversion!(subnet_actor_getter_facet, xnet_messaging_facet);