feat(contracts): new registry (V1)

.github/workflows/contracts_ci.yml

@@ -0,0 +1,27 @@
+name: Bolt-contracts CI
+
+on: [push, pull_request]
+
+jobs:
+  check:
+    name: Foundry project
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Run tests
+        run: forge test --via-ir -vvv
+        working-directory: bolt-contracts
+
+      - name: Run forge fmt
+        run: forge fmt --check
+        working-directory: bolt-contracts

.gitignore

@@ -1,4 +1,5 @@
 *_dump.log
+logs/
 target/
 .vscode
 .idea

.gitmodules

@@ -4,6 +4,15 @@
 [submodule "bolt-contracts/lib/openzeppelin-contracts"]
 	path = bolt-contracts/lib/openzeppelin-contracts
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts
-[submodule "bolt-contracts/lib/relic-sdk"]
-	path = bolt-contracts/lib/relic-sdk
-	url = https://github.com/Relic-Protocol/relic-sdk
+[submodule "bolt-contracts/lib/core"]
+	path = bolt-contracts/lib/core
+	url = https://github.com/symbioticfi/core
+[submodule "bolt-contracts/lib/eigenlayer-contracts"]
+	path = bolt-contracts/lib/eigenlayer-contracts
+	url = https://github.com/layr-labs/eigenlayer-contracts
+[submodule "bolt-contracts/lib/openzeppelin-contracts-upgradeable"]
+	path = bolt-contracts/lib/openzeppelin-contracts-upgradeable
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts-upgradeable
+[submodule "bolt-contracts/lib/openzeppelin-foundry-upgrades"]
+	path = bolt-contracts/lib/openzeppelin-foundry-upgrades
+	url = https://github.com/OpenZeppelin/openzeppelin-foundry-upgrades

bolt-contracts/.gas-snapshot

@@ -0,0 +1,34 @@
+BoltChallengerTest:testCannotResolveChallengeBeforeExpiration() (gas: 434902)
+BoltChallengerTest:testCommitmentDigestAndSignature() (gas: 4626)
+BoltChallengerTest:testCommitmentSignature() (gas: 6761)
+BoltChallengerTest:testOpenAlreadyExistingChallenge() (gas: 13688)
+BoltChallengerTest:testOpenChallengeInvalidSignature() (gas: 45916)
+BoltChallengerTest:testOpenChallengeSingleTx() (gas: 424427)
+BoltChallengerTest:testOpenChallengeWithIncorrectBond() (gas: 24909)
+BoltChallengerTest:testOpenChallengeWithLargebond() (gas: 24920)
+BoltChallengerTest:testOpenChallengeWithSlotInTheFuture() (gas: 25008)
+BoltChallengerTest:testProveAccountData() (gas: 355542)
+BoltChallengerTest:testProveHeaderData() (gas: 46360)
+BoltChallengerTest:testProveTransactionInclusion() (gas: 176543)
+BoltChallengerTest:testResolveChallengeFullDefenseSingleTx() (gas: 562694)
+BoltChallengerTest:testResolveChallengeFullDefenseStackedTxs() (gas: 939716)
+BoltChallengerTest:testResolveExpiredChallenge() (gas: 426457)
+BoltManagerEigenLayerTest:testDeregisterOperatorFromAVS() (gas: 834106)
+BoltManagerEigenLayerTest:testGetOperatorStake() (gas: 998169)
+BoltManagerEigenLayerTest:testNonExistentProposerStatus() (gas: 980157)
+BoltManagerEigenLayerTest:testNonWhitelistedCollateral() (gas: 103778)
+BoltManagerEigenLayerTest:testProposerStatus() (gas: 1007174)
+BoltManagerEigenLayerTest:testProposersLookaheadStatus() (gas: 2302759)
+BoltManagerEigenLayerTest:testWhitelistedCollaterals() (gas: 99260)
+BoltManagerSymbioticTest:testGetNonExistentProposerStatus() (gas: 1265832)
+BoltManagerSymbioticTest:testGetProposerStatus() (gas: 1508557)
+BoltManagerSymbioticTest:testGetWhitelistedCollaterals() (gas: 17213)
+BoltManagerSymbioticTest:testNonWhitelistedCollateral() (gas: 43806)
+BoltManagerSymbioticTest:testProposersLookaheadStatus() (gas: 2582043)
+BoltManagerSymbioticTest:testReadOperatorStake() (gas: 1541503)
+BoltValidatorsTest:testUnsafeRegistration() (gas: 149361)
+BoltValidatorsTest:testUnsafeRegistrationFailsIfAlreadyRegistered() (gas: 148862)
+BoltValidatorsTest:testUnsafeRegistrationInvalidOperator() (gas: 22820)
+BoltValidatorsTest:testUnsafeRegistrationWhenNotAllowed() (gas: 33183)
+TransactionDecoderTest:testDecodeAllTestCases() (gas: 0)
+TransactionDecoderTest:testDecodeGasUsage() (gas: 53281)

bolt-contracts/.gitignore

@@ -1,3 +1,9 @@
 cache/
 out/
 broadcast/
+logs/
+
+.env
+
+node_modules/
+target/

bolt-contracts/config/holesky/deployments.json

@@ -0,0 +1,31 @@
+{
+    "bolt": {
+        "validators": "0x05275a4799cd1B07D81319390fC62Bc7BDbDf269"
+    },
+    "symbiotic": {
+        "network": "0x90F79bf6EB2c4f870365E785982E1f101E93b906",
+        "operatorRegistry": "0xAdFC41729fF447974cE27DdFa358A0f2096c3F39",
+        "networkOptInService": "0xF5AFc9FA3Ca63a07E529DDbB6eae55C665cCa83E",
+        "vaultFactory": "0x18C659a269a7172eF78BBC19Fe47ad2237Be0590",
+        "networkRegistry": "0xac5acD8A105C8305fb980734a5AD920b5920106A",
+        "networkMiddlewareService": "0x683F470440964E353b389391CdDDf8df381C282f",
+        "middleware": "",
+        "supportedVaults": [
+            "0x1df2fbfcD600ADd561013f44B2D055E2e974f605",
+            "0xf427d00c34609053d97167352061DD2F0F27F853"
+        ]
+    },
+    "eigenLayer": {
+        "avsDirectory": "0x055733000064333CaDDbC92763c58BF0192fFeBf",
+        "delegationManager": "0xA44151489861Fe9e3055d95adC98FbD462B948e7",
+        "strategyManager": "0xdfB5f6CE42aAA7830E94ECFCcAd411beF4d4D5b6",
+        "middleware": "",
+        "supportedStrategies": [
+            "0x7D704507b76571a51d9caE8AdDAbBFd0ba0e63d3",
+            "0x3A8fBdf9e77DFc25d09741f51d3E181b25d0c4E0",
+            "0x80528D6e9A2BAbFc766965E0E26d5aB08D9CFaF9",
+            "0x70EB4D3c164a6B4A5f908D4FBb5a9cAfFb66bAB6",
+            "0xaccc5A86732BE85b5012e8614AF237801636F8e5"
+        ]
+    }
+}

bolt-contracts/config/holesky/operator.json

@@ -0,0 +1,5 @@
+{
+    "rpc": "localhost:50051",
+    "salt": "0x000000000000000abc0000000000000000000000000000000000000000000000",
+    "expiry": null
+}

bolt-contracts/config/holesky/parameters.json

@@ -0,0 +1,12 @@
+{
+    "epochDuration": 86400,
+    "slashingWindow": 604800,
+    "maxChallengeDuration": 604800,
+    "challengeBond": 1000000000000000000,
+    "blockhashEvmLookback": 256,
+    "justificationDelay": 32,
+    "eth2GenesisTimestamp": 1694786400,
+    "slotTime": 12,
+    "allowUnsafeRegistration": true,
+    "minimumOperatorStake": 1000000000000000000
+}

bolt-contracts/config/holesky/validators.json

@@ -0,0 +1,8 @@
+{
+    "maxCommittedGasLimit": 10000000,
+    "authorizedOperator": "0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266",
+    "pubkeys": [
+        "0xad02df40e24e8534dc4c175163f7a034f99f2e81c43b7ea19904006cb05d001b5301d3444f1812b101803b7f72e340fa",
+        "0xa4c0a8b5dd70d0fe8f05580143bea4c40badb176c2b0c20001cddf897a11bb832137fa4050af1d0420a7dc27568697df"
+    ]
+}

bolt-contracts/config/test/parameters.json

@@ -0,0 +1,12 @@
+{
+    "epochDuration": 86400,
+    "slashingWindow": 604800,
+    "maxChallengeDuration": 604800,
+    "challengeBond": 1000000000000000000,
+    "blockhashEvmLookback": 256,
+    "justificationDelay": 32,
+    "eth2GenesisTimestamp": 1606824023,
+    "slotTime": 12,
+    "allowUnsafeRegistration": true,
+    "minimumOperatorStake": 1000000000000000000
+}

bolt-contracts/docs/admin/avs.json

@@ -0,0 +1,7 @@
+{
+    "name": "Bolt Protocol",
+    "website": "https://boltprotocol.xyz",
+    "description": "Bolt Protocol enables proposers to make credible commitments about their blocks.",
+    "logo": "http://boltprotocol.xyz/wp-content/uploads/2024/07/Bolt-Logo.png",
+    "twitter": "https://twitter.com/boltprotocol_"
+}

bolt-contracts/docs/admin/deploying.md

@@ -0,0 +1,73 @@
+# Deployment Guide
+
+**This should only be done once with the `V1` contracts. For upgrades, refer to the [upgrading doc](./upgrading.md).**
+
+## Configuration
+
+There are 2 JSON configuration files:
+- [`config/holesky/deployments.json`](../../config/holesky/deployments.json): contains deployment addresses of EigenLayer ([here](https://github.com/Layr-Labs/eigenlayer-contracts/blob/dev/README.md#deployments)) and Symbiotic ([here](https://docs.symbiotic.fi/deployments)). 
+- [`config/holesky/parameters.json`](../../config/holesky/parameters.json): contains the launch parameters for `BoltParameters`.
+
+
+
+## Deployment Guide
+Make sure we have a full compilation for the Foundry Upgrades Toolkit:
+```bash
+forge clean && forge build
+```
+
+And have a local Anvil fork running to test and validate deployments:
+
+```bash
+anvil --fork-url $HOLESKY_RPC
+```
+
+> [!IMPORTANT]  
+> Run everything on the local Anvil fork first! This requires just replacing the $HOLESKY_RPC with the $ANVIL_RPC.
+
+Also set your private keys as environment variables:
+
+```bash
+export NETWORK_PRIVATE_KEY=0x...
+export ADMIN_PRIVATE_KEY=0x...
+```
+
+### Pre-deployment
+
+Register a Symbiotic network for Bolt with the Symbiotic `NetworkRegistry`. The private key with which the script is run will determine the network address. This private key will also need to be used later.
+
+```bash
+forge script script/holesky/admin/helpers/Symbiotic.s.sol --rpc-url $HOLESKY_RPC --private-key $NETWORK_PRIVATE_KEY --broadcast -vvvv --sig "run(string memory arg)" registerNetwork
+```
+
+Make sure `deployments.json` contains the correct address for the Symbiotic network.
+
+### Deployment
+
+Run the following script to deploy Bolt V1:
+```bash
+forge script script/holesky/admin/Deploy.s.sol --rpc-url $HOLESKY_RPC --private-key $ADMIN_PRIVATE_KEY --broadcast -vvvv
+```
+
+This will deploy all the contracts. The address corresponding to the private key will be the system admin.
+
+Now update `deployments.json` with the Symbiotic and EigenLayer middleware contracts, because we'll need to register it in the next step. Also update the `bolt` section with the correct addresses.
+
+### Post-deployment
+
+Register the deployed `SymbioticMiddleware` with the Symbiotic `NetworkMiddlewareService`. IMPORTANT: this script needs
+to be run with the network private key!
+
+```bash
+forge script script/holesky/admin/helpers/Symbiotic.s.sol --rpc-url $HOLESKY_RPC --private-key $NETWORK_PRIVATE_KEY --broadcast -vvvv --sig "run(string memory arg)" registerMiddleware
+```
+
+Also set the AVS metadata in the EigenLayer AVS Directory, needs to be run with the **admin private key** used at deployment.
+
+```bash
+forge script script/holesky/admin/helpers/RegisterAVS.s.sol --rpc-url $HOLESKY_RPC --private-key $ADMIN_PRIVATE_KEY --broadcast -vvvv 
+```
+
+> [!IMPORTANT]
+> After the `deployments.json` file has been fully updated with the correct contract addresses, push it to Github.
+

bolt-contracts/docs/admin/upgrading.md

@@ -0,0 +1,16 @@
+# Upgrading Guide
+
+When upgrading contracts, always keep the old implementation of the contracts around and increment the version number.
+For example, when upgrading `BoltManagerV1`, copy it into a new file called `BoltManagerV2` and make your changes.
+
+This is needed to reference check the new contracts with the old contracts so that the OpenZeppelin Upgrades library can
+validate the safety of the upgrade. You MUST add this reference when upgrading a contract:
+
+```solidity
+Options memory opts;
+opts.referenceContract = "BoltManagerV1.sol";
+bytes memory initManager = abi.encodeCall(BoltManagerV2.initialize, (params));
+Upgrades.upgradeProxy(proxy, "BoltManagerV2.sol", initManager, opts);
+```
+
+Before an upgrade, update the [`Upgrade.s.sol`](../script/holesky/Upgrade.s.sol) script to include the correct contracts, references and configurations.

bolt-contracts/foundry.toml

@@ -1,6 +1,73 @@
 [profile.default]
+solc = "0.8.25"
+via_ir = true
 src = "src"
 out = "out"
 libs = ["lib"]
+fs_permissions = [{ access = "read-write", path = "./" }]
+gas_reports = ["*"]
+# Required options for the OpenZeppelin Foundry Upgrades toolkit: https://github.com/OpenZeppelin/openzeppelin-foundry-upgrades
+ffi = true
+ast = true
+build_info = true
+extra_output = ["storageLayout"]
+
+# silence some warnings during compilation
+# https://book.getfoundry.sh/reference/config/solidity-compiler#ignored_error_codes
+ignored_error_codes = [3628, 1878, 5574]
+ignored_warnings_from = [
+  "lib/openzeppelin-contracts/contracts",
+  "lib/core",
+  "lib/eigenlayer-contracts",
+]
+
+remappings = [
+  # Bolt remappings
+  "@relic/=lib/relic-sdk/packages/contracts",
+  "@symbiotic/=lib/core/src/",
+  "@eigenlayer/=lib/eigenlayer-contracts/",
+  "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
+  "@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/",
+  "@openzeppelin-foundry-upgrades/=lib/openzeppelin-foundry-upgrades/",
+
+  # Symbiotic remappings contexts
+  "lib/core/:forge-std/=lib/core/lib/forge-std/src/",
+  "lib/core/:@openzeppelin/contracts/=lib/core/lib/openzeppelin-contracts/contracts/",
+  "lib/core/:@openzeppelin/contracts-upgradeable/=lib/core/lib/openzeppelin-contracts-upgradeable/contracts/",
+
+  # Eigenlayer remappings contexts
+  "lib/eigenlayer-contracts/:@openzeppelin-upgrades/=lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable/",
+  "lib/eigenlayer-contracts/:@openzeppelin/=lib/eigenlayer-contracts/lib/openzeppelin-contracts/",
+  "lib/eigenlayer-contracts/:@openzeppelin-v4.9.0/=lib/eigenlayer-contracts/lib/openzeppelin-contracts-v4.9.0/",
+  "lib/eigenlayer-contracts/:@openzeppelin-upgrades-v4.9.0/=lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable-v4.9.0/",
+  "lib/eigenlayer-contracts/:ds-test/=lib/eigenlayer-contracts/lib/ds-test/src/",
+  "lib/eigenlayer-contracts/:forge-std/=lib/eigenlayer-contracts/lib/forge-std/src/",
+  "lib/eigenlayer-contracts/lib/openzeppelin-contracts/:@openzeppelin/contracts/=lib/eigenlayer-contracts/lib/openzeppelin-contracts/contracts/",
+
+  # OpenZeppelin remappings contexts
+  "lib/openzeppelin-contracts/:@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
+]
+
+
+[rpc_endpoints]
+mainnet = "${ETH_RPC_URL}"
+holesky = "${ETH_RPC_URL_HOLESKY}"
+
+[fmt]
+bracket_spacing = false
+int_types = "long"
+line_length = 120
+multiline_func_header = "params_first"
+number_underscore = "thousands"
+quote_style = "double"
+tab_width = 4
+
+[fuzz]
+runs = 4096
+max_test_rejects = 262144
+
+# [etherscan]
+# mainnet = { key = "${ETHERSCAN_API_KEY_MAINNET}" }
+# holesky = { key = "${ETHERSCAN_API_KEY_HOLESKY}" }
 
 # See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options

bolt-contracts/go.mod

@@ -0,0 +1,5 @@
+module bolt-contracts
+
+go 1.22.7
+
+require github.com/supranational/blst v0.3.11

bolt-contracts/go.sum

@@ -0,0 +1,2 @@
+github.com/supranational/blst v0.3.11 h1:LyU6FolezeWAhvQk0k6O/d49jqgO52MSDDfYgbeoEm4=
+github.com/supranational/blst v0.3.11/go.mod h1:jZJtfjgudtNl4en1tzwPIV3KjUnQUvG3/j+w+fVonLw=