Merge pull request #7 from symbioticfi/add-simple-integration-mock

Add integration mock

.env.example

@@ -1,2 +1,3 @@
 ETH_RPC_URL=
+ETH_RPC_URL_HOLESKY=
 ETHERSCAN_API_KEY=

.gitignore

@@ -1,6 +1,13 @@
 # Compiler files
 cache/
-out/
+out/**/
+!out/FullRestakeDecreaseHook.sol/
+!out/FullRestakeResetHook.sol/
+!out/NetworkRestakeDecreaseHook.sol/
+!out/NetworkRestakeRedistributeHook.sol/
+!out/NetworkRestakeResetHook.sol/
+!out/OperatorSpecificDecreaseHook.sol/
+!out/OperatorSpecificResetHook.sol/
 
 # Ignores development broadcast logs
 !/broadcast
@@ -16,4 +23,7 @@ docs/
 
 # Other files
 .gas-snapshot
-lcov.info
+lcov.info
+
+node_modules
+package-lock.json

README.md

@@ -16,12 +16,11 @@ Create `.env` file using a template:
 
 ```
 ETH_RPC_URL=
+ETH_RPC_URL_HOLESKY=
 ETHERSCAN_API_KEY=
 ```
 
-\* ETH_RPC_URL is optional.
-
-\* ETHERSCAN_API_KEY is optional.
+\* ETH_RPC_URL is optional.<br/>\* ETH_RPC_URL_HOLESKY is optional.<br/>\* ETHERSCAN_API_KEY is optional.
 
 ### Build
 

foundry.toml

@@ -1,14 +1,19 @@
 [profile.default]
+evm_version = "cancun"
 solc = "0.8.25"
+optimizer = true
+optimizer_runs = 200
 via_ir = true
 src = "src"
 out = "out"
 libs = ["lib"]
 fs_permissions = [{ access = "read-write", path = "./"}]
 gas_reports = ["*"]
+gas_limit = "18446744073709551615"
 
 [rpc_endpoints]
 mainnet = "${ETH_RPC_URL}"
+holesky = "${ETH_RPC_URL_HOLESKY}"
 
 [fmt]
 bracket_spacing = false
@@ -20,7 +25,7 @@ quote_style = "double"
 tab_width = 4
 
 [fuzz]
-runs = 2048
+runs = 4096
 max_test_rejects = 262144
 
 

out/FullRestakeDecreaseHook.sol/FullRestakeDecreaseHook.json

@@ -0,0 +1 @@
+{"abi":[{"type":"function","name":"onSlash","inputs":[{"name":"subnetwork","type":"bytes32","internalType":"bytes32"},{"name":"operator","type":"address","internalType":"address"},{"name":"slashedAmount","type":"uint256","internalType":"uint256"},{"name":"","type":"uint48","internalType":"uint48"},{"name":"","type":"bytes","internalType":"bytes"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"error","name":"NotFullRestakeDelegator","inputs":[]}],"bytecode":{"object":"0x6080806040523460155761039b908161001a8239f35b5f80fdfe60806040526004361015610011575f80fd5b5f3560e01c63e49561ee14610024575f80fd5b346100a05760a03660031901126100a0576024356001600160a01b03811681036100a05760643565ffffffffffff8116036100a05760843567ffffffffffffffff8082116100a057366023830112156100a05781600401359081116100a057369101602401116100a05761009e906044359060043561010f565b005b5f80fd5b67ffffffffffffffff81116100b857604052565b634e487b7160e01b5f52604160045260245ffd5b90601f8019910116810190811067ffffffffffffffff8211176100b857604052565b919082039182116100fb57565b634e487b7160e01b5f52601160045260245ffd5b604090815192635d927f4560e11b84525f94602060049581818881335afa9081156102d8575f9161031f575b5067ffffffffffffffff600191160361030f5781156101c7578451633eb22c0f60e01b81528681018590528181602481335afa9081156102d8575f916102e2575b5080610281575b508451631142209560e01b81528681018590526001600160a01b0390931660248401819052928181604481335afa918215610277578892610249575b5050806101d0575b50505050505050565b8181806101e394109118028118906100ee565b91333b15610245578351630106786160e11b81529485015260248401526044830152828260648183335af190811561023c5750610225575b80808080806101c7565b61022f82916100a4565b610239578061021b565b80fd5b513d84823e3d90fd5b8580fd5b90809250813d8311610270575b61026081836100cc565b810103126100a057515f806101bf565b503d610256565b86513d8a823e3d90fd5b80610294918410818518028118906100ee565b333b156100a05785519062428a6960e31b8252858883015260248201525f8160448183335af180156102d85715610183576102d09197506100a4565b5f955f610183565b86513d5f823e3d90fd5b90508181813d8311610308575b6102f981836100cc565b810103126100a057515f61017c565b503d6102ef565b8451636c430fb160e11b81528690fd5b90508181813d831161035e575b61033681836100cc565b810103126100a0575167ffffffffffffffff811681036100a05767ffffffffffffffff61013b565b503d61032c56fea2646970667358221220013d3c8b97686484d93049685391c37b829f03327dc0e36fff6cc38407f7413b64736f6c63430008190033","sourceMap":"514:1170:110:-:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x60806040526004361015610011575f80fd5b5f3560e01c63e49561ee14610024575f80fd5b346100a05760a03660031901126100a0576024356001600160a01b03811681036100a05760643565ffffffffffff8116036100a05760843567ffffffffffffffff8082116100a057366023830112156100a05781600401359081116100a057369101602401116100a05761009e906044359060043561010f565b005b5f80fd5b67ffffffffffffffff81116100b857604052565b634e487b7160e01b5f52604160045260245ffd5b90601f8019910116810190811067ffffffffffffffff8211176100b857604052565b919082039182116100fb57565b634e487b7160e01b5f52601160045260245ffd5b604090815192635d927f4560e11b84525f94602060049581818881335afa9081156102d8575f9161031f575b5067ffffffffffffffff600191160361030f5781156101c7578451633eb22c0f60e01b81528681018590528181602481335afa9081156102d8575f916102e2575b5080610281575b508451631142209560e01b81528681018590526001600160a01b0390931660248401819052928181604481335afa918215610277578892610249575b5050806101d0575b50505050505050565b8181806101e394109118028118906100ee565b91333b15610245578351630106786160e11b81529485015260248401526044830152828260648183335af190811561023c5750610225575b80808080806101c7565b61022f82916100a4565b610239578061021b565b80fd5b513d84823e3d90fd5b8580fd5b90809250813d8311610270575b61026081836100cc565b810103126100a057515f806101bf565b503d610256565b86513d8a823e3d90fd5b80610294918410818518028118906100ee565b333b156100a05785519062428a6960e31b8252858883015260248201525f8160448183335af180156102d85715610183576102d09197506100a4565b5f955f610183565b86513d5f823e3d90fd5b90508181813d8311610308575b6102f981836100cc565b810103126100a057515f61017c565b503d6102ef565b8451636c430fb160e11b81528690fd5b90508181813d831161035e575b61033681836100cc565b810103126100a0575167ffffffffffffffff811681036100a05767ffffffffffffffff61013b565b503d61032c56fea2646970667358221220013d3c8b97686484d93049685391c37b829f03327dc0e36fff6cc38407f7413b64736f6c63430008190033","sourceMap":"514:1170:110:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;514:1170:110;;;;;;-1:-1:-1;;;;;514:1170:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;:::o;:::-;;;;;;;;;;;;660:1022;514:1170;;;;;;;;865:26;;;;;;873:10;;;;;;865:26;;;;;;;;;;;660:1022;514:1170;;895:1;514:1170;;865:31;861:94;;969:18;;965:55;;514:1170;;-1:-1:-1;;;1053:58:110;;;;;514:1170;;;873:10;514:1170;;;873:10;1053:58;;;;;;;865:26;1053:58;;;660:1022;1125:17;;1121:193;;660:1022;-1:-1:-1;514:1170:110;;-1:-1:-1;;;1355:76:110;;;;;514:1170;;;-1:-1:-1;;;;;514:1170:110;;;;;;;;;;873:10;514:1170;;;873:10;1355:76;;;;;;;;;;;660:1022;1445:25;;;1441:235;;660:1022;;;;;;;;:::o;1441:235::-;3463:5:104;;;1583:68:110;3463:5:104;;3066;;514:1170:110;3060:42:104;;1583:68:110;;:::i;:::-;873:10;;1486:179;;;;514:1170;;-1:-1:-1;;;1486:179:110;;;;;514:1170;;;;;;;;;873:10;514:1170;;;873:10;;1486:179;;;;;;;;;;1441:235;;;;;;;;1486:179;;;;;:::i;:::-;514:1170;;1486:179;;;514:1170;;;1486:179;514:1170;;;;;;;;1486:179;514:1170;;;1355:76;;;;;;;;;;;;;;;;:::i;:::-;;;514:1170;;;;;1355:76;;;;;;;;;;514:1170;;;;;;;;;1121:193;3463:5:104;1237:52:110;3463:5:104;;;3066;;;514:1170:110;3060:42:104;;1237:52:110;;:::i;:::-;873:10;1158:145;;;;514:1170;;;;;;1158:145;;;;;;514:1170;;;;;865:26;873:10;514:1170;873:10;;;1158:145;;;;;;;1121:193;1158:145;;;;;;:::i;:::-;865:26;1158:145;;1121:193;;1158:145;514:1170;;;865:26;514:1170;;;;;1053:58;;;;;;;;;;;;;;;;:::i;:::-;;;514:1170;;;;;1053:58;;;;;;;;861:94;514:1170;;-1:-1:-1;;;919:25:110;;514:1170;;919:25;865:26;;;;;;;;;;;;;;;;:::i;:::-;;;514:1170;;;;;;;;;;;;;865:26;;;;;;","linkReferences":{}},"methodIdentifiers":{"onSlash(bytes32,address,uint256,uint48,bytes)":"e49561ee"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.25+commit.b61c2a91\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"NotFullRestakeDelegator\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"subnetwork\",\"type\":\"bytes32\"},{\"internalType\":\"address\",\"name\":\"operator\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"slashedAmount\",\"type\":\"uint256\"},{\"internalType\":\"uint48\",\"name\":\"\",\"type\":\"uint48\"},{\"internalType\":\"bytes\",\"name\":\"\",\"type\":\"bytes\"}],\"name\":\"onSlash\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{\"onSlash(bytes32,address,uint256,uint48,bytes)\":{\"params\":{\"amount\":\"amount of the collateral to be slashed\",\"captureTimestamp\":\"time point when the stake was captured\",\"data\":\"some additional data\",\"operator\":\"address of the operator\",\"subnetwork\":\"full identifier of the subnetwork (address of the network concatenated with the uint96 identifier)\"}}},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{\"onSlash(bytes32,address,uint256,uint48,bytes)\":{\"notice\":\"Called when a slash happens.\"}},\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/contracts/fullRestakeDelegator/FullRestakeDecreaseHook.sol\":\"FullRestakeDecreaseHook\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[\":@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@symbioticfi/core/=lib/core/\",\":core/=lib/core/\",\":ds-test/=lib/openzeppelin-contracts-upgradeable/lib/forge-std/lib/ds-test/src/\",\":erc4626-tests/=lib/openzeppelin-contracts-upgradeable/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"],\"viaIR\":true},\"sources\":{\"lib/core/src/interfaces/common/IEntity.sol\":{\"keccak256\":\"0x8ef4b63d6da63489778ccd5f8d13ebdd527dd4b62730b2c616df5af7474d2d21\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://5a8d69576a9219d85c50816a18ad53a4d53cfcb27ed38b8cccc808dc2734b71b\",\"dweb:/ipfs/QmYVN3P4Q4REvBWJ97TbAcaxm3uyB2anV6NSGa6ZtSwcEv\"]},\"lib/core/src/interfaces/delegator/IBaseDelegator.sol\":{\"keccak256\":\"0x96bb312f032e17accce3f8f80936d99468029d6b37c9ca74acdb4b026a0148ee\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://2a66dcb5b7d1a6ef6a363431ea98ebd78bc4fdd3d7a134d9b542dc66e7d025c2\",\"dweb:/ipfs/QmRhTPLd2ZAyRHmJUFUcWKs9b3if49QY17LYZuRqWmghw8\"]},\"lib/core/src/interfaces/delegator/IDelegatorHook.sol\":{\"keccak256\":\"0xc51aa8d7d1f6c8043ee819b7aeb86da0e993912e1442098df897e299f01f9f46\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://adddf5cb2ba282aeb576b26efb28640f865a1721cc9b6eee8b3ee0457a2c9780\",\"dweb:/ipfs/QmNYgAmnLRwWZbhTuQhZs9rx4zcme1df5mEepkrniorSoW\"]},\"lib/core/src/interfaces/delegator/IFullRestakeDelegator.sol\":{\"keccak256\":\"0xa3c8cb2e45d4d8ce90e95263bea40c01dc400f05ad65bc29597d878606be5e7d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://782cf5e201aa4cca037ebafd3807a68ff1cc721d5b8416a35244db0d0607369e\",\"dweb:/ipfs/QmQkJks6x7CKndeTPa9LxgTNygD5uEi7obhADhpq1Lsr9A\"]},\"lib/openzeppelin-contracts/contracts/utils/Panic.sol\":{\"keccak256\":\"0x156d11cd8394cb9245b0bb9d7a27f5b3e7193e3cec7b91a66474ae01af8d818c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://6f171e65be237fe4aaa2f7a74862c10a06535b8c04baa42e848a63c6fc96bcd4\",\"dweb:/ipfs/QmUdz8WHcrjqYmbRaz5PFN2N2thfvQjcqTorZUfcmWTfat\"]},\"lib/openzeppelin-contracts/contracts/utils/math/Math.sol\":{\"keccak256\":\"0xd2fb25b789ccaf6bf50b147ecff4c9d62d05d3f5c5d562fdf568f6926a2a280c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://521e2df6ed2080c9ae2f442b27a827551ab96ff2e5f920ad6dc978c355b4b966\",\"dweb:/ipfs/Qme1Z6dU7ZDQMfKiHwpLejAyFGsP9HpijvX9uzxivEGjga\"]},\"lib/openzeppelin-contracts/contracts/utils/math/SafeCast.sol\":{\"keccak256\":\"0x8cdcfbd2484c2e7db797f57ff8731fe11d7ab0092c7a1112f8ad6047ad6d4481\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://356742c148ca77b9d953059072c32cf9d0d98ae782129fe442c73a6736bfd7cb\",\"dweb:/ipfs/QmZN5jdoBbCihsv1RK8n6pf6cC89pi77KGAasn7ZvyuNTn\"]},\"src/contracts/fullRestakeDelegator/FullRestakeDecreaseHook.sol\":{\"keccak256\":\"0xee2ec4e6b08210f25f3c4d50947ab56938c4271a8112daba021454241190fec9\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://1b1a6c8a4c76c3045daa9e3134d064a1db1d987a3e5ffa28b6ff121bf91701a8\",\"dweb:/ipfs/QmcU7x33V6RXgnLnWv8gcrG8ApRqR6MbkYTTsuuFtLgUvR\"]},\"src/interfaces/fullRestakeDelegator/IFullRestakeDecreaseHook.sol\":{\"keccak256\":\"0xcef8fdb80b39f22b7b023dc29594c0f91b7f4197f4c981d7b0f826b8bf9a5ba9\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://53832cefb6b8c72efaeed4461e85ebf6c84a5a8ae50b408241ed9098addb23cc\",\"dweb:/ipfs/QmSpEt45vZyNQKCer7DCT6RWAShuTe86G585SFnNtq49KT\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.25+commit.b61c2a91"},"language":"Solidity","output":{"abi":[{"inputs":[],"type":"error","name":"NotFullRestakeDelegator"},{"inputs":[{"internalType":"bytes32","name":"subnetwork","type":"bytes32"},{"internalType":"address","name":"operator","type":"address"},{"internalType":"uint256","name":"slashedAmount","type":"uint256"},{"internalType":"uint48","name":"","type":"uint48"},{"internalType":"bytes","name":"","type":"bytes"}],"stateMutability":"nonpayable","type":"function","name":"onSlash"}],"devdoc":{"kind":"dev","methods":{"onSlash(bytes32,address,uint256,uint48,bytes)":{"params":{"amount":"amount of the collateral to be slashed","captureTimestamp":"time point when the stake was captured","data":"some additional data","operator":"address of the operator","subnetwork":"full identifier of the subnetwork (address of the network concatenated with the uint96 identifier)"}}},"version":1},"userdoc":{"kind":"user","methods":{"onSlash(bytes32,address,uint256,uint48,bytes)":{"notice":"Called when a slash happens."}},"version":1}},"settings":{"remappings":["@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@symbioticfi/core/=lib/core/","core/=lib/core/","ds-test/=lib/openzeppelin-contracts-upgradeable/lib/forge-std/lib/ds-test/src/","erc4626-tests/=lib/openzeppelin-contracts-upgradeable/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"src/contracts/fullRestakeDelegator/FullRestakeDecreaseHook.sol":"FullRestakeDecreaseHook"},"evmVersion":"cancun","libraries":{},"viaIR":true},"sources":{"lib/core/src/interfaces/common/IEntity.sol":{"keccak256":"0x8ef4b63d6da63489778ccd5f8d13ebdd527dd4b62730b2c616df5af7474d2d21","urls":["bzz-raw://5a8d69576a9219d85c50816a18ad53a4d53cfcb27ed38b8cccc808dc2734b71b","dweb:/ipfs/QmYVN3P4Q4REvBWJ97TbAcaxm3uyB2anV6NSGa6ZtSwcEv"],"license":"MIT"},"lib/core/src/interfaces/delegator/IBaseDelegator.sol":{"keccak256":"0x96bb312f032e17accce3f8f80936d99468029d6b37c9ca74acdb4b026a0148ee","urls":["bzz-raw://2a66dcb5b7d1a6ef6a363431ea98ebd78bc4fdd3d7a134d9b542dc66e7d025c2","dweb:/ipfs/QmRhTPLd2ZAyRHmJUFUcWKs9b3if49QY17LYZuRqWmghw8"],"license":"MIT"},"lib/core/src/interfaces/delegator/IDelegatorHook.sol":{"keccak256":"0xc51aa8d7d1f6c8043ee819b7aeb86da0e993912e1442098df897e299f01f9f46","urls":["bzz-raw://adddf5cb2ba282aeb576b26efb28640f865a1721cc9b6eee8b3ee0457a2c9780","dweb:/ipfs/QmNYgAmnLRwWZbhTuQhZs9rx4zcme1df5mEepkrniorSoW"],"license":"MIT"},"lib/core/src/interfaces/delegator/IFullRestakeDelegator.sol":{"keccak256":"0xa3c8cb2e45d4d8ce90e95263bea40c01dc400f05ad65bc29597d878606be5e7d","urls":["bzz-raw://782cf5e201aa4cca037ebafd3807a68ff1cc721d5b8416a35244db0d0607369e","dweb:/ipfs/QmQkJks6x7CKndeTPa9LxgTNygD5uEi7obhADhpq1Lsr9A"],"license":"MIT"},"lib/openzeppelin-contracts/contracts/utils/Panic.sol":{"keccak256":"0x156d11cd8394cb9245b0bb9d7a27f5b3e7193e3cec7b91a66474ae01af8d818c","urls":["bzz-raw://6f171e65be237fe4aaa2f7a74862c10a06535b8c04baa42e848a63c6fc96bcd4","dweb:/ipfs/QmUdz8WHcrjqYmbRaz5PFN2N2thfvQjcqTorZUfcmWTfat"],"license":"MIT"},"lib/openzeppelin-contracts/contracts/utils/math/Math.sol":{"keccak256":"0xd2fb25b789ccaf6bf50b147ecff4c9d62d05d3f5c5d562fdf568f6926a2a280c","urls":["bzz-raw://521e2df6ed2080c9ae2f442b27a827551ab96ff2e5f920ad6dc978c355b4b966","dweb:/ipfs/Qme1Z6dU7ZDQMfKiHwpLejAyFGsP9HpijvX9uzxivEGjga"],"license":"MIT"},"lib/openzeppelin-contracts/contracts/utils/math/SafeCast.sol":{"keccak256":"0x8cdcfbd2484c2e7db797f57ff8731fe11d7ab0092c7a1112f8ad6047ad6d4481","urls":["bzz-raw://356742c148ca77b9d953059072c32cf9d0d98ae782129fe442c73a6736bfd7cb","dweb:/ipfs/QmZN5jdoBbCihsv1RK8n6pf6cC89pi77KGAasn7ZvyuNTn"],"license":"MIT"},"src/contracts/fullRestakeDelegator/FullRestakeDecreaseHook.sol":{"keccak256":"0xee2ec4e6b08210f25f3c4d50947ab56938c4271a8112daba021454241190fec9","urls":["bzz-raw://1b1a6c8a4c76c3045daa9e3134d064a1db1d987a3e5ffa28b6ff121bf91701a8","dweb:/ipfs/QmcU7x33V6RXgnLnWv8gcrG8ApRqR6MbkYTTsuuFtLgUvR"],"license":"MIT"},"src/interfaces/fullRestakeDelegator/IFullRestakeDecreaseHook.sol":{"keccak256":"0xcef8fdb80b39f22b7b023dc29594c0f91b7f4197f4c981d7b0f826b8bf9a5ba9","urls":["bzz-raw://53832cefb6b8c72efaeed4461e85ebf6c84a5a8ae50b408241ed9098addb23cc","dweb:/ipfs/QmSpEt45vZyNQKCer7DCT6RWAShuTe86G585SFnNtq49KT"],"license":"MIT"}},"version":1},"id":110}