@aztec-foundation/l1-artifacts 6.0.0-rc.2 → 6.0.0-rc.5

package/l1-contracts/out/IInbox.sol/IInbox.json

@@ -1 +1 @@
-{"abi":[{"type":"function","name":"getBucket","inputs":[{"name":"_seq","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"tuple","internalType":"struct IInbox.InboxBucket","components":[{"name":"rollingHash","type":"bytes32","internalType":"bytes32"},{"name":"totalMsgCount","type":"uint64","internalType":"uint64"},{"name":"timestamp","type":"uint64","internalType":"uint64"},{"name":"msgCount","type":"uint32","internalType":"uint32"}]}],"stateMutability":"view"},{"type":"function","name":"getBucketAtOrBeforeTotal","inputs":[{"name":"_upperBound","type":"uint64","internalType":"uint64"}],"outputs":[{"name":"","type":"uint64","internalType":"uint64"},{"name":"","type":"tuple","internalType":"struct IInbox.InboxBucket","components":[{"name":"rollingHash","type":"bytes32","internalType":"bytes32"},{"name":"totalMsgCount","type":"uint64","internalType":"uint64"},{"name":"timestamp","type":"uint64","internalType":"uint64"},{"name":"msgCount","type":"uint32","internalType":"uint32"}]}],"stateMutability":"view"},{"type":"function","name":"getCurrentBucketSeq","inputs":[],"outputs":[{"name":"","type":"uint64","internalType":"uint64"}],"stateMutability":"view"},{"type":"function","name":"getFeeAssetPortal","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"getProvenConsumedBucketSeq","inputs":[],"outputs":[{"name":"","type":"uint64","internalType":"uint64"}],"stateMutability":"view"},{"type":"function","name":"getRingHeadroom","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"type":"function","name":"getState","inputs":[],"outputs":[{"name":"","type":"tuple","internalType":"struct IInbox.InboxState","components":[{"name":"rollingHash","type":"bytes32","internalType":"bytes32"},{"name":"totalMessagesInserted","type":"uint64","internalType":"uint64"},{"name":"currentBucketSeq","type":"uint64","internalType":"uint64"}]}],"stateMutability":"view"},{"type":"function","name":"getTotalMessagesInserted","inputs":[],"outputs":[{"name":"","type":"uint64","internalType":"uint64"}],"stateMutability":"view"},{"type":"function","name":"markProvenConsumed","inputs":[{"name":"_bucketSeq","type":"uint64","internalType":"uint64"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"sendL2Message","inputs":[{"name":"_recipient","type":"tuple","internalType":"struct DataStructures.L2Actor","components":[{"name":"actor","type":"bytes32","internalType":"bytes32"},{"name":"version","type":"uint256","internalType":"uint256"}]},{"name":"_content","type":"bytes32","internalType":"bytes32"},{"name":"_secretHash","type":"bytes32","internalType":"bytes32"}],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"},{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"nonpayable"},{"type":"event","name":"MessageSent","inputs":[{"name":"hash","type":"bytes32","indexed":true,"internalType":"bytes32"},{"name":"inboxRollingHash","type":"bytes32","indexed":false,"internalType":"bytes32"},{"name":"bucketSeq","type":"uint256","indexed":false,"internalType":"uint256"},{"name":"message","type":"tuple","indexed":false,"internalType":"struct DataStructures.L1ToL2Msg","components":[{"name":"sender","type":"tuple","internalType":"struct DataStructures.L1Actor","components":[{"name":"actor","type":"address","internalType":"address"},{"name":"chainId","type":"uint256","internalType":"uint256"}]},{"name":"recipient","type":"tuple","internalType":"struct DataStructures.L2Actor","components":[{"name":"actor","type":"bytes32","internalType":"bytes32"},{"name":"version","type":"uint256","internalType":"uint256"}]},{"name":"content","type":"bytes32","internalType":"bytes32"},{"name":"secretHash","type":"bytes32","internalType":"bytes32"},{"name":"index","type":"uint256","internalType":"uint256"}]}],"anonymous":false}],"bytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"deployedBytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"methodIdentifiers":{"getBucket(uint256)":"65fe45ed","getBucketAtOrBeforeTotal(uint64)":"af16b039","getCurrentBucketSeq()":"8afaa215","getFeeAssetPortal()":"8ccf6b95","getProvenConsumedBucketSeq()":"620f2724","getRingHeadroom()":"9953c8ec","getState()":"1865c57d","getTotalMessagesInserted()":"9500ac30","markProvenConsumed(uint64)":"e80f8951","sendL2Message((bytes32,uint256),bytes32,bytes32)":"1f6d510b"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"bytes32\",\"name\":\"hash\",\"type\":\"bytes32\"},{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"inboxRollingHash\",\"type\":\"bytes32\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"bucketSeq\",\"type\":\"uint256\"},{\"components\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"actor\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"chainId\",\"type\":\"uint256\"}],\"internalType\":\"struct DataStructures.L1Actor\",\"name\":\"sender\",\"type\":\"tuple\"},{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"actor\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"version\",\"type\":\"uint256\"}],\"internalType\":\"struct DataStructures.L2Actor\",\"name\":\"recipient\",\"type\":\"tuple\"},{\"internalType\":\"bytes32\",\"name\":\"content\",\"type\":\"bytes32\"},{\"internalType\":\"bytes32\",\"name\":\"secretHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"index\",\"type\":\"uint256\"}],\"indexed\":false,\"internalType\":\"struct DataStructures.L1ToL2Msg\",\"name\":\"message\",\"type\":\"tuple\"}],\"name\":\"MessageSent\",\"type\":\"event\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"_seq\",\"type\":\"uint256\"}],\"name\":\"getBucket\",\"outputs\":[{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"rollingHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint64\",\"name\":\"totalMsgCount\",\"type\":\"uint64\"},{\"internalType\":\"uint64\",\"name\":\"timestamp\",\"type\":\"uint64\"},{\"internalType\":\"uint32\",\"name\":\"msgCount\",\"type\":\"uint32\"}],\"internalType\":\"struct IInbox.InboxBucket\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint64\",\"name\":\"_upperBound\",\"type\":\"uint64\"}],\"name\":\"getBucketAtOrBeforeTotal\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"},{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"rollingHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint64\",\"name\":\"totalMsgCount\",\"type\":\"uint64\"},{\"internalType\":\"uint64\",\"name\":\"timestamp\",\"type\":\"uint64\"},{\"internalType\":\"uint32\",\"name\":\"msgCount\",\"type\":\"uint32\"}],\"internalType\":\"struct IInbox.InboxBucket\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getCurrentBucketSeq\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getFeeAssetPortal\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getProvenConsumedBucketSeq\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getRingHeadroom\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getState\",\"outputs\":[{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"rollingHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint64\",\"name\":\"totalMessagesInserted\",\"type\":\"uint64\"},{\"internalType\":\"uint64\",\"name\":\"currentBucketSeq\",\"type\":\"uint64\"}],\"internalType\":\"struct IInbox.InboxState\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getTotalMessagesInserted\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint64\",\"name\":\"_bucketSeq\",\"type\":\"uint64\"}],\"name\":\"markProvenConsumed\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"actor\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"version\",\"type\":\"uint256\"}],\"internalType\":\"struct DataStructures.L2Actor\",\"name\":\"_recipient\",\"type\":\"tuple\"},{\"internalType\":\"bytes32\",\"name\":\"_content\",\"type\":\"bytes32\"},{\"internalType\":\"bytes32\",\"name\":\"_secretHash\",\"type\":\"bytes32\"}],\"name\":\"sendL2Message\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"author\":\"Aztec Labs\",\"events\":{\"MessageSent(bytes32,bytes32,uint256,((address,uint256),(bytes32,uint256),bytes32,bytes32,uint256))\":{\"details\":\"Carries the full message so the event is a self-contained record \\u2014 reconstructing the fields from calldata is unreliable for portals sending via internal calls. Hashing `message` yields the indexed `hash`, and `message.index` is the compact cumulative index of the message in the Inbox insertion order.\",\"params\":{\"bucketSeq\":\"- The sequence number of the bucket this message was absorbed into\",\"hash\":\"- The hash of the message (the L1-to-L2 tree leaf)\",\"inboxRollingHash\":\"- The consensus rolling hash (truncated sha256 chain) after this message\",\"message\":\"- The full message\"}}},\"kind\":\"dev\",\"methods\":{\"getBucket(uint256)\":{\"details\":\"Reverts if the bucket is ahead of the current one or has already been overwritten in the ring\",\"params\":{\"_seq\":\"- The bucket sequence number\"},\"returns\":{\"_0\":\"The bucket\"}},\"getBucketAtOrBeforeTotal(uint64)\":{\"details\":\"Cumulative totals strictly increase with the bucket sequence (every opened bucket absorbs at least one message), so the result is the newest retained bucket whose end position does not exceed the bound. Probes the newest four live entries first, then binary-searches the remaining live interval. Only ring entries that have not been overwritten are candidates; the genesis bucket qualifies only while its ring entry is still live. Reverts with `Inbox__NoBucketAtOrBeforeTotal` when even the oldest retained bucket ends past the bound.\",\"params\":{\"_upperBound\":\"- The cumulative message total the returned bucket may not exceed\"},\"returns\":{\"_0\":\"The sequence number of the matching bucket and the bucket itself\"}},\"getCurrentBucketSeq()\":{\"returns\":{\"_0\":\"The current bucket sequence number\"}},\"getProvenConsumedBucketSeq()\":{\"returns\":{\"_0\":\"The proven-consumed bucket sequence number\"}},\"getRingHeadroom()\":{\"details\":\"Counts bucket openings, not messages: at zero, messages can still be absorbed into the current bucket until it fills or its L1 block passes. Equals the ring size at genesis and recovers as proofs advance the proven-consumed record.\",\"returns\":{\"_0\":\"The number of buckets that can still be opened\"}},\"markProvenConsumed(uint64)\":{\"details\":\"Only callable by the rollup. Monotonic: a value at or below the current record is a no-op. Reverts with `Inbox__Unauthorized` if the caller is not the rollup, and with `Inbox__BucketOutOfWindow` if `_bucketSeq` is ahead of the current bucket.\",\"params\":{\"_bucketSeq\":\"- The sequence number of the newest bucket the proven chain has consumed\"}},\"sendL2Message((bytes32,uint256),bytes32,bytes32)\":{\"details\":\"Emits `MessageSent` with data for easy access by the sequencer\",\"params\":{\"_content\":\"- The content of the message (application specific)\",\"_recipient\":\"- The recipient of the message\",\"_secretHash\":\"- The secret hash of the message (make it possible to hide when a specific message is consumed on L2)\"},\"returns\":{\"_0\":\"The key of the message in the set and its compact cumulative index\"}}},\"title\":\"Inbox\",\"version\":1},\"userdoc\":{\"events\":{\"MessageSent(bytes32,bytes32,uint256,((address,uint256),(bytes32,uint256),bytes32,bytes32,uint256))\":{\"notice\":\"Emitted when a message is sent\"}},\"kind\":\"user\",\"methods\":{\"getBucket(uint256)\":{\"notice\":\"Returns the bucket with the given sequence number\"},\"getBucketAtOrBeforeTotal(uint64)\":{\"notice\":\"Returns the live bucket with the greatest cumulative message total at or below `_upperBound`\"},\"getCurrentBucketSeq()\":{\"notice\":\"Returns the sequence number of the bucket currently accumulating messages\"},\"getProvenConsumedBucketSeq()\":{\"notice\":\"Returns the sequence number of the newest bucket consumed by the proven chain\"},\"getRingHeadroom()\":{\"notice\":\"Returns the number of buckets that can still be opened before `sendL2Message` reverts to protect an unconsumed bucket from being overwritten\"},\"markProvenConsumed(uint64)\":{\"notice\":\"Records that the proven chain has consumed all messages up to and including bucket `_bucketSeq`, unlocking eviction of buckets at or below it when the ring wraps\"},\"sendL2Message((bytes32,uint256),bytes32,bytes32)\":{\"notice\":\"Inserts a new message into the Inbox\"}},\"notice\":\"Lives on L1 and is used to pass messages into the rollup from L1.\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/core/interfaces/messagebridge/IInbox.sol\":\"IInbox\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@generated/=generated/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"src/core/interfaces/messagebridge/IInbox.sol\":{\"keccak256\":\"0x1149c904c8b3bd2942628fbab5480cdc044e831d51963f9e6946f1974cc162bd\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://af2f1f49feba389b0bdbf427c4a85fac2908699585e5babd75f77cf14416ed5f\",\"dweb:/ipfs/QmZYjZyhicCpTcwPuWTjTTUxnaBnfv5bTMWDgxyDGqy8Gm\"]},\"src/core/libraries/ConstantsGen.sol\":{\"keccak256\":\"0xe328f94338f5563669e04618c3ec21ec38b9f21ab24d5de698d80cf38f977dfa\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://3d9872c9a78d7241053e9ce3eadf192d18a9cb4b95c0ac120470d92435b7216e\",\"dweb:/ipfs/QmcRnfbW8sNWwRHPik4wvkA7CTY1BTjuf2ydu3jN5otQJT\"]},\"src/core/libraries/DataStructures.sol\":{\"keccak256\":\"0x5ea9d1097f0b53eafbd72332d4c5c517307e5a056266befe5b46f5f43ee3d83c\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://1a742311dc3c5ead2d5361549f017d20f46c40a4e74e879823ac168cf5b572d4\",\"dweb:/ipfs/QmTNDc1fiPti41QqJTJQoV9uduB6eXaQhbfq1hfVVjVNvS\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"bytes32","name":"hash","type":"bytes32","indexed":true},{"internalType":"bytes32","name":"inboxRollingHash","type":"bytes32","indexed":false},{"internalType":"uint256","name":"bucketSeq","type":"uint256","indexed":false},{"internalType":"struct DataStructures.L1ToL2Msg","name":"message","type":"tuple","components":[{"internalType":"struct DataStructures.L1Actor","name":"sender","type":"tuple","components":[{"internalType":"address","name":"actor","type":"address"},{"internalType":"uint256","name":"chainId","type":"uint256"}]},{"internalType":"struct DataStructures.L2Actor","name":"recipient","type":"tuple","components":[{"internalType":"bytes32","name":"actor","type":"bytes32"},{"internalType":"uint256","name":"version","type":"uint256"}]},{"internalType":"bytes32","name":"content","type":"bytes32"},{"internalType":"bytes32","name":"secretHash","type":"bytes32"},{"internalType":"uint256","name":"index","type":"uint256"}],"indexed":false}],"type":"event","name":"MessageSent","anonymous":false},{"inputs":[{"internalType":"uint256","name":"_seq","type":"uint256"}],"stateMutability":"view","type":"function","name":"getBucket","outputs":[{"internalType":"struct IInbox.InboxBucket","name":"","type":"tuple","components":[{"internalType":"bytes32","name":"rollingHash","type":"bytes32"},{"internalType":"uint64","name":"totalMsgCount","type":"uint64"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint32","name":"msgCount","type":"uint32"}]}]},{"inputs":[{"internalType":"uint64","name":"_upperBound","type":"uint64"}],"stateMutability":"view","type":"function","name":"getBucketAtOrBeforeTotal","outputs":[{"internalType":"uint64","name":"","type":"uint64"},{"internalType":"struct IInbox.InboxBucket","name":"","type":"tuple","components":[{"internalType":"bytes32","name":"rollingHash","type":"bytes32"},{"internalType":"uint64","name":"totalMsgCount","type":"uint64"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint32","name":"msgCount","type":"uint32"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getCurrentBucketSeq","outputs":[{"internalType":"uint64","name":"","type":"uint64"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getFeeAssetPortal","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getProvenConsumedBucketSeq","outputs":[{"internalType":"uint64","name":"","type":"uint64"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getRingHeadroom","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getState","outputs":[{"internalType":"struct IInbox.InboxState","name":"","type":"tuple","components":[{"internalType":"bytes32","name":"rollingHash","type":"bytes32"},{"internalType":"uint64","name":"totalMessagesInserted","type":"uint64"},{"internalType":"uint64","name":"currentBucketSeq","type":"uint64"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getTotalMessagesInserted","outputs":[{"internalType":"uint64","name":"","type":"uint64"}]},{"inputs":[{"internalType":"uint64","name":"_bucketSeq","type":"uint64"}],"stateMutability":"nonpayable","type":"function","name":"markProvenConsumed"},{"inputs":[{"internalType":"struct DataStructures.L2Actor","name":"_recipient","type":"tuple","components":[{"internalType":"bytes32","name":"actor","type":"bytes32"},{"internalType":"uint256","name":"version","type":"uint256"}]},{"internalType":"bytes32","name":"_content","type":"bytes32"},{"internalType":"bytes32","name":"_secretHash","type":"bytes32"}],"stateMutability":"nonpayable","type":"function","name":"sendL2Message","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"uint256","name":"","type":"uint256"}]}],"devdoc":{"kind":"dev","methods":{"getBucket(uint256)":{"details":"Reverts if the bucket is ahead of the current one or has already been overwritten in the ring","params":{"_seq":"- The bucket sequence number"},"returns":{"_0":"The bucket"}},"getBucketAtOrBeforeTotal(uint64)":{"details":"Cumulative totals strictly increase with the bucket sequence (every opened bucket absorbs at least one message), so the result is the newest retained bucket whose end position does not exceed the bound. Probes the newest four live entries first, then binary-searches the remaining live interval. Only ring entries that have not been overwritten are candidates; the genesis bucket qualifies only while its ring entry is still live. Reverts with `Inbox__NoBucketAtOrBeforeTotal` when even the oldest retained bucket ends past the bound.","params":{"_upperBound":"- The cumulative message total the returned bucket may not exceed"},"returns":{"_0":"The sequence number of the matching bucket and the bucket itself"}},"getCurrentBucketSeq()":{"returns":{"_0":"The current bucket sequence number"}},"getProvenConsumedBucketSeq()":{"returns":{"_0":"The proven-consumed bucket sequence number"}},"getRingHeadroom()":{"details":"Counts bucket openings, not messages: at zero, messages can still be absorbed into the current bucket until it fills or its L1 block passes. Equals the ring size at genesis and recovers as proofs advance the proven-consumed record.","returns":{"_0":"The number of buckets that can still be opened"}},"markProvenConsumed(uint64)":{"details":"Only callable by the rollup. Monotonic: a value at or below the current record is a no-op. Reverts with `Inbox__Unauthorized` if the caller is not the rollup, and with `Inbox__BucketOutOfWindow` if `_bucketSeq` is ahead of the current bucket.","params":{"_bucketSeq":"- The sequence number of the newest bucket the proven chain has consumed"}},"sendL2Message((bytes32,uint256),bytes32,bytes32)":{"details":"Emits `MessageSent` with data for easy access by the sequencer","params":{"_content":"- The content of the message (application specific)","_recipient":"- The recipient of the message","_secretHash":"- The secret hash of the message (make it possible to hide when a specific message is consumed on L2)"},"returns":{"_0":"The key of the message in the set and its compact cumulative index"}}},"version":1},"userdoc":{"kind":"user","methods":{"getBucket(uint256)":{"notice":"Returns the bucket with the given sequence number"},"getBucketAtOrBeforeTotal(uint64)":{"notice":"Returns the live bucket with the greatest cumulative message total at or below `_upperBound`"},"getCurrentBucketSeq()":{"notice":"Returns the sequence number of the bucket currently accumulating messages"},"getProvenConsumedBucketSeq()":{"notice":"Returns the sequence number of the newest bucket consumed by the proven chain"},"getRingHeadroom()":{"notice":"Returns the number of buckets that can still be opened before `sendL2Message` reverts to protect an unconsumed bucket from being overwritten"},"markProvenConsumed(uint64)":{"notice":"Records that the proven chain has consumed all messages up to and including bucket `_bucketSeq`, unlocking eviction of buckets at or below it when the ring wraps"},"sendL2Message((bytes32,uint256),bytes32,bytes32)":{"notice":"Inserts a new message into the Inbox"}},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@generated/=generated/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"src/core/interfaces/messagebridge/IInbox.sol":"IInbox"},"evmVersion":"prague","libraries":{}},"sources":{"src/core/interfaces/messagebridge/IInbox.sol":{"keccak256":"0x1149c904c8b3bd2942628fbab5480cdc044e831d51963f9e6946f1974cc162bd","urls":["bzz-raw://af2f1f49feba389b0bdbf427c4a85fac2908699585e5babd75f77cf14416ed5f","dweb:/ipfs/QmZYjZyhicCpTcwPuWTjTTUxnaBnfv5bTMWDgxyDGqy8Gm"],"license":"Apache-2.0"},"src/core/libraries/ConstantsGen.sol":{"keccak256":"0xe328f94338f5563669e04618c3ec21ec38b9f21ab24d5de698d80cf38f977dfa","urls":["bzz-raw://3d9872c9a78d7241053e9ce3eadf192d18a9cb4b95c0ac120470d92435b7216e","dweb:/ipfs/QmcRnfbW8sNWwRHPik4wvkA7CTY1BTjuf2ydu3jN5otQJT"],"license":"Apache-2.0"},"src/core/libraries/DataStructures.sol":{"keccak256":"0x5ea9d1097f0b53eafbd72332d4c5c517307e5a056266befe5b46f5f43ee3d83c","urls":["bzz-raw://1a742311dc3c5ead2d5361549f017d20f46c40a4e74e879823ac168cf5b572d4","dweb:/ipfs/QmTNDc1fiPti41QqJTJQoV9uduB6eXaQhbfq1hfVVjVNvS"],"license":"Apache-2.0"}},"version":1},"id":83}
+{"abi":[{"type":"function","name":"getBucket","inputs":[{"name":"_seq","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"tuple","internalType":"struct IInbox.InboxBucket","components":[{"name":"rollingHash","type":"bytes32","internalType":"bytes32"},{"name":"totalMsgCount","type":"uint64","internalType":"uint64"},{"name":"timestamp","type":"uint64","internalType":"uint64"},{"name":"msgCount","type":"uint32","internalType":"uint32"}]}],"stateMutability":"view"},{"type":"function","name":"getBucketAtOrBeforeTotal","inputs":[{"name":"_upperBound","type":"uint64","internalType":"uint64"}],"outputs":[{"name":"","type":"uint64","internalType":"uint64"},{"name":"","type":"tuple","internalType":"struct IInbox.InboxBucket","components":[{"name":"rollingHash","type":"bytes32","internalType":"bytes32"},{"name":"totalMsgCount","type":"uint64","internalType":"uint64"},{"name":"timestamp","type":"uint64","internalType":"uint64"},{"name":"msgCount","type":"uint32","internalType":"uint32"}]}],"stateMutability":"view"},{"type":"function","name":"getCurrentBucketSeq","inputs":[],"outputs":[{"name":"","type":"uint64","internalType":"uint64"}],"stateMutability":"view"},{"type":"function","name":"getFeeAssetPortal","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"getProvenConsumedBucketSeq","inputs":[],"outputs":[{"name":"","type":"uint64","internalType":"uint64"}],"stateMutability":"view"},{"type":"function","name":"getRingHeadroom","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"type":"function","name":"getState","inputs":[],"outputs":[{"name":"","type":"tuple","internalType":"struct IInbox.InboxState","components":[{"name":"rollingHash","type":"bytes32","internalType":"bytes32"},{"name":"totalMessagesInserted","type":"uint64","internalType":"uint64"},{"name":"currentBucketSeq","type":"uint64","internalType":"uint64"}]}],"stateMutability":"view"},{"type":"function","name":"getTotalMessagesInserted","inputs":[],"outputs":[{"name":"","type":"uint64","internalType":"uint64"}],"stateMutability":"view"},{"type":"function","name":"markProvenConsumed","inputs":[{"name":"_bucketSeq","type":"uint64","internalType":"uint64"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"sendL2Message","inputs":[{"name":"_recipient","type":"tuple","internalType":"struct DataStructures.L2Actor","components":[{"name":"actor","type":"bytes32","internalType":"bytes32"},{"name":"version","type":"uint256","internalType":"uint256"}]},{"name":"_content","type":"bytes32","internalType":"bytes32"},{"name":"_secretHash","type":"bytes32","internalType":"bytes32"}],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"},{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"nonpayable"},{"type":"event","name":"MessageSent","inputs":[{"name":"hash","type":"bytes32","indexed":true,"internalType":"bytes32"},{"name":"inboxRollingHash","type":"bytes32","indexed":false,"internalType":"bytes32"},{"name":"bucketSeq","type":"uint256","indexed":false,"internalType":"uint256"},{"name":"message","type":"tuple","indexed":false,"internalType":"struct DataStructures.L1ToL2Msg","components":[{"name":"sender","type":"tuple","internalType":"struct DataStructures.L1Actor","components":[{"name":"actor","type":"address","internalType":"address"},{"name":"chainId","type":"uint256","internalType":"uint256"}]},{"name":"recipient","type":"tuple","internalType":"struct DataStructures.L2Actor","components":[{"name":"actor","type":"bytes32","internalType":"bytes32"},{"name":"version","type":"uint256","internalType":"uint256"}]},{"name":"content","type":"bytes32","internalType":"bytes32"},{"name":"secretHash","type":"bytes32","internalType":"bytes32"},{"name":"index","type":"uint256","internalType":"uint256"}]}],"anonymous":false}],"bytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"deployedBytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"methodIdentifiers":{"getBucket(uint256)":"65fe45ed","getBucketAtOrBeforeTotal(uint64)":"af16b039","getCurrentBucketSeq()":"8afaa215","getFeeAssetPortal()":"8ccf6b95","getProvenConsumedBucketSeq()":"620f2724","getRingHeadroom()":"9953c8ec","getState()":"1865c57d","getTotalMessagesInserted()":"9500ac30","markProvenConsumed(uint64)":"e80f8951","sendL2Message((bytes32,uint256),bytes32,bytes32)":"1f6d510b"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"bytes32\",\"name\":\"hash\",\"type\":\"bytes32\"},{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"inboxRollingHash\",\"type\":\"bytes32\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"bucketSeq\",\"type\":\"uint256\"},{\"components\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"actor\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"chainId\",\"type\":\"uint256\"}],\"internalType\":\"struct DataStructures.L1Actor\",\"name\":\"sender\",\"type\":\"tuple\"},{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"actor\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"version\",\"type\":\"uint256\"}],\"internalType\":\"struct DataStructures.L2Actor\",\"name\":\"recipient\",\"type\":\"tuple\"},{\"internalType\":\"bytes32\",\"name\":\"content\",\"type\":\"bytes32\"},{\"internalType\":\"bytes32\",\"name\":\"secretHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"index\",\"type\":\"uint256\"}],\"indexed\":false,\"internalType\":\"struct DataStructures.L1ToL2Msg\",\"name\":\"message\",\"type\":\"tuple\"}],\"name\":\"MessageSent\",\"type\":\"event\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"_seq\",\"type\":\"uint256\"}],\"name\":\"getBucket\",\"outputs\":[{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"rollingHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint64\",\"name\":\"totalMsgCount\",\"type\":\"uint64\"},{\"internalType\":\"uint64\",\"name\":\"timestamp\",\"type\":\"uint64\"},{\"internalType\":\"uint32\",\"name\":\"msgCount\",\"type\":\"uint32\"}],\"internalType\":\"struct IInbox.InboxBucket\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint64\",\"name\":\"_upperBound\",\"type\":\"uint64\"}],\"name\":\"getBucketAtOrBeforeTotal\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"},{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"rollingHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint64\",\"name\":\"totalMsgCount\",\"type\":\"uint64\"},{\"internalType\":\"uint64\",\"name\":\"timestamp\",\"type\":\"uint64\"},{\"internalType\":\"uint32\",\"name\":\"msgCount\",\"type\":\"uint32\"}],\"internalType\":\"struct IInbox.InboxBucket\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getCurrentBucketSeq\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getFeeAssetPortal\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getProvenConsumedBucketSeq\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getRingHeadroom\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getState\",\"outputs\":[{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"rollingHash\",\"type\":\"bytes32\"},{\"internalType\":\"uint64\",\"name\":\"totalMessagesInserted\",\"type\":\"uint64\"},{\"internalType\":\"uint64\",\"name\":\"currentBucketSeq\",\"type\":\"uint64\"}],\"internalType\":\"struct IInbox.InboxState\",\"name\":\"\",\"type\":\"tuple\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getTotalMessagesInserted\",\"outputs\":[{\"internalType\":\"uint64\",\"name\":\"\",\"type\":\"uint64\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint64\",\"name\":\"_bucketSeq\",\"type\":\"uint64\"}],\"name\":\"markProvenConsumed\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"components\":[{\"internalType\":\"bytes32\",\"name\":\"actor\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"version\",\"type\":\"uint256\"}],\"internalType\":\"struct DataStructures.L2Actor\",\"name\":\"_recipient\",\"type\":\"tuple\"},{\"internalType\":\"bytes32\",\"name\":\"_content\",\"type\":\"bytes32\"},{\"internalType\":\"bytes32\",\"name\":\"_secretHash\",\"type\":\"bytes32\"}],\"name\":\"sendL2Message\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"},{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"author\":\"Aztec Labs\",\"events\":{\"MessageSent(bytes32,bytes32,uint256,((address,uint256),(bytes32,uint256),bytes32,bytes32,uint256))\":{\"details\":\"Carries the full message so the event is a self-contained record \\u2014 reconstructing the fields from calldata is unreliable for portals sending via internal calls. Hashing `message` yields the indexed `hash`, and `message.index` is the compact cumulative index of the message in the Inbox insertion order.\",\"params\":{\"bucketSeq\":\"- The sequence number of the bucket this message was absorbed into\",\"hash\":\"- The hash of the message (the L1-to-L2 tree leaf)\",\"inboxRollingHash\":\"- The consensus rolling hash (truncated sha256 chain) after this message\",\"message\":\"- The full message\"}}},\"kind\":\"dev\",\"methods\":{\"getBucket(uint256)\":{\"details\":\"Reverts if the bucket is ahead of the current one or has already been overwritten in the ring\",\"params\":{\"_seq\":\"- The bucket sequence number\"},\"returns\":{\"_0\":\"The bucket\"}},\"getBucketAtOrBeforeTotal(uint64)\":{\"details\":\"Cumulative totals strictly increase with the bucket sequence (every opened bucket absorbs at least one message), so the result is the newest retained bucket whose end position does not exceed the bound. Probes the newest four live entries first, then binary-searches the remaining live interval. Only ring entries that have not been overwritten are candidates; the genesis bucket qualifies only while its ring entry is still live. Reverts with `Inbox__NoBucketAtOrBeforeTotal` when even the oldest retained bucket ends past the bound.\",\"params\":{\"_upperBound\":\"- The cumulative message total the returned bucket may not exceed\"},\"returns\":{\"_0\":\"The sequence number of the matching bucket and the bucket itself\"}},\"getCurrentBucketSeq()\":{\"returns\":{\"_0\":\"The current bucket sequence number\"}},\"getProvenConsumedBucketSeq()\":{\"returns\":{\"_0\":\"The proven-consumed bucket sequence number\"}},\"getRingHeadroom()\":{\"details\":\"Counts bucket openings, not messages: at zero, messages can still be absorbed into the current bucket until it fills or its L1 block passes. Equals the ring size at genesis and recovers as proofs advance the proven-consumed record.\",\"returns\":{\"_0\":\"The number of buckets that can still be opened\"}},\"markProvenConsumed(uint64)\":{\"details\":\"Only callable by the rollup. Monotonic: a value at or below the current record is a no-op. Reverts with `Inbox__Unauthorized` if the caller is not the rollup, and with `Inbox__BucketOutOfWindow` if `_bucketSeq` is ahead of the current bucket.\",\"params\":{\"_bucketSeq\":\"- The sequence number of the newest bucket the proven chain has consumed\"}},\"sendL2Message((bytes32,uint256),bytes32,bytes32)\":{\"details\":\"Emits `MessageSent` with data for easy access by the sequencer\",\"params\":{\"_content\":\"- The content of the message (application specific)\",\"_recipient\":\"- The recipient of the message\",\"_secretHash\":\"- The secret hash of the message (make it possible to hide when a specific message is consumed on L2)\"},\"returns\":{\"_0\":\"The key of the message in the set and its compact cumulative index\"}}},\"title\":\"Inbox\",\"version\":1},\"userdoc\":{\"events\":{\"MessageSent(bytes32,bytes32,uint256,((address,uint256),(bytes32,uint256),bytes32,bytes32,uint256))\":{\"notice\":\"Emitted when a message is sent\"}},\"kind\":\"user\",\"methods\":{\"getBucket(uint256)\":{\"notice\":\"Returns the bucket with the given sequence number\"},\"getBucketAtOrBeforeTotal(uint64)\":{\"notice\":\"Returns the live bucket with the greatest cumulative message total at or below `_upperBound`\"},\"getCurrentBucketSeq()\":{\"notice\":\"Returns the sequence number of the bucket currently accumulating messages\"},\"getProvenConsumedBucketSeq()\":{\"notice\":\"Returns the sequence number of the newest bucket consumed by the proven chain\"},\"getRingHeadroom()\":{\"notice\":\"Returns the number of buckets that can still be opened before `sendL2Message` reverts to protect an unconsumed bucket from being overwritten\"},\"markProvenConsumed(uint64)\":{\"notice\":\"Records that the proven chain has consumed all messages up to and including bucket `_bucketSeq`, unlocking eviction of buckets at or below it when the ring wraps\"},\"sendL2Message((bytes32,uint256),bytes32,bytes32)\":{\"notice\":\"Inserts a new message into the Inbox\"}},\"notice\":\"Lives on L1 and is used to pass messages into the rollup from L1.\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/core/interfaces/messagebridge/IInbox.sol\":\"IInbox\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@generated/=generated/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"src/core/interfaces/messagebridge/IInbox.sol\":{\"keccak256\":\"0x1149c904c8b3bd2942628fbab5480cdc044e831d51963f9e6946f1974cc162bd\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://af2f1f49feba389b0bdbf427c4a85fac2908699585e5babd75f77cf14416ed5f\",\"dweb:/ipfs/QmZYjZyhicCpTcwPuWTjTTUxnaBnfv5bTMWDgxyDGqy8Gm\"]},\"src/core/libraries/ConstantsGen.sol\":{\"keccak256\":\"0xe328f94338f5563669e04618c3ec21ec38b9f21ab24d5de698d80cf38f977dfa\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://3d9872c9a78d7241053e9ce3eadf192d18a9cb4b95c0ac120470d92435b7216e\",\"dweb:/ipfs/QmcRnfbW8sNWwRHPik4wvkA7CTY1BTjuf2ydu3jN5otQJT\"]},\"src/core/libraries/DataStructures.sol\":{\"keccak256\":\"0x5ea9d1097f0b53eafbd72332d4c5c517307e5a056266befe5b46f5f43ee3d83c\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://1a742311dc3c5ead2d5361549f017d20f46c40a4e74e879823ac168cf5b572d4\",\"dweb:/ipfs/QmTNDc1fiPti41QqJTJQoV9uduB6eXaQhbfq1hfVVjVNvS\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"bytes32","name":"hash","type":"bytes32","indexed":true},{"internalType":"bytes32","name":"inboxRollingHash","type":"bytes32","indexed":false},{"internalType":"uint256","name":"bucketSeq","type":"uint256","indexed":false},{"internalType":"struct DataStructures.L1ToL2Msg","name":"message","type":"tuple","components":[{"internalType":"struct DataStructures.L1Actor","name":"sender","type":"tuple","components":[{"internalType":"address","name":"actor","type":"address"},{"internalType":"uint256","name":"chainId","type":"uint256"}]},{"internalType":"struct DataStructures.L2Actor","name":"recipient","type":"tuple","components":[{"internalType":"bytes32","name":"actor","type":"bytes32"},{"internalType":"uint256","name":"version","type":"uint256"}]},{"internalType":"bytes32","name":"content","type":"bytes32"},{"internalType":"bytes32","name":"secretHash","type":"bytes32"},{"internalType":"uint256","name":"index","type":"uint256"}],"indexed":false}],"type":"event","name":"MessageSent","anonymous":false},{"inputs":[{"internalType":"uint256","name":"_seq","type":"uint256"}],"stateMutability":"view","type":"function","name":"getBucket","outputs":[{"internalType":"struct IInbox.InboxBucket","name":"","type":"tuple","components":[{"internalType":"bytes32","name":"rollingHash","type":"bytes32"},{"internalType":"uint64","name":"totalMsgCount","type":"uint64"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint32","name":"msgCount","type":"uint32"}]}]},{"inputs":[{"internalType":"uint64","name":"_upperBound","type":"uint64"}],"stateMutability":"view","type":"function","name":"getBucketAtOrBeforeTotal","outputs":[{"internalType":"uint64","name":"","type":"uint64"},{"internalType":"struct IInbox.InboxBucket","name":"","type":"tuple","components":[{"internalType":"bytes32","name":"rollingHash","type":"bytes32"},{"internalType":"uint64","name":"totalMsgCount","type":"uint64"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint32","name":"msgCount","type":"uint32"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getCurrentBucketSeq","outputs":[{"internalType":"uint64","name":"","type":"uint64"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getFeeAssetPortal","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getProvenConsumedBucketSeq","outputs":[{"internalType":"uint64","name":"","type":"uint64"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getRingHeadroom","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getState","outputs":[{"internalType":"struct IInbox.InboxState","name":"","type":"tuple","components":[{"internalType":"bytes32","name":"rollingHash","type":"bytes32"},{"internalType":"uint64","name":"totalMessagesInserted","type":"uint64"},{"internalType":"uint64","name":"currentBucketSeq","type":"uint64"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"getTotalMessagesInserted","outputs":[{"internalType":"uint64","name":"","type":"uint64"}]},{"inputs":[{"internalType":"uint64","name":"_bucketSeq","type":"uint64"}],"stateMutability":"nonpayable","type":"function","name":"markProvenConsumed"},{"inputs":[{"internalType":"struct DataStructures.L2Actor","name":"_recipient","type":"tuple","components":[{"internalType":"bytes32","name":"actor","type":"bytes32"},{"internalType":"uint256","name":"version","type":"uint256"}]},{"internalType":"bytes32","name":"_content","type":"bytes32"},{"internalType":"bytes32","name":"_secretHash","type":"bytes32"}],"stateMutability":"nonpayable","type":"function","name":"sendL2Message","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"uint256","name":"","type":"uint256"}]}],"devdoc":{"kind":"dev","methods":{"getBucket(uint256)":{"details":"Reverts if the bucket is ahead of the current one or has already been overwritten in the ring","params":{"_seq":"- The bucket sequence number"},"returns":{"_0":"The bucket"}},"getBucketAtOrBeforeTotal(uint64)":{"details":"Cumulative totals strictly increase with the bucket sequence (every opened bucket absorbs at least one message), so the result is the newest retained bucket whose end position does not exceed the bound. Probes the newest four live entries first, then binary-searches the remaining live interval. Only ring entries that have not been overwritten are candidates; the genesis bucket qualifies only while its ring entry is still live. Reverts with `Inbox__NoBucketAtOrBeforeTotal` when even the oldest retained bucket ends past the bound.","params":{"_upperBound":"- The cumulative message total the returned bucket may not exceed"},"returns":{"_0":"The sequence number of the matching bucket and the bucket itself"}},"getCurrentBucketSeq()":{"returns":{"_0":"The current bucket sequence number"}},"getProvenConsumedBucketSeq()":{"returns":{"_0":"The proven-consumed bucket sequence number"}},"getRingHeadroom()":{"details":"Counts bucket openings, not messages: at zero, messages can still be absorbed into the current bucket until it fills or its L1 block passes. Equals the ring size at genesis and recovers as proofs advance the proven-consumed record.","returns":{"_0":"The number of buckets that can still be opened"}},"markProvenConsumed(uint64)":{"details":"Only callable by the rollup. Monotonic: a value at or below the current record is a no-op. Reverts with `Inbox__Unauthorized` if the caller is not the rollup, and with `Inbox__BucketOutOfWindow` if `_bucketSeq` is ahead of the current bucket.","params":{"_bucketSeq":"- The sequence number of the newest bucket the proven chain has consumed"}},"sendL2Message((bytes32,uint256),bytes32,bytes32)":{"details":"Emits `MessageSent` with data for easy access by the sequencer","params":{"_content":"- The content of the message (application specific)","_recipient":"- The recipient of the message","_secretHash":"- The secret hash of the message (make it possible to hide when a specific message is consumed on L2)"},"returns":{"_0":"The key of the message in the set and its compact cumulative index"}}},"version":1},"userdoc":{"kind":"user","methods":{"getBucket(uint256)":{"notice":"Returns the bucket with the given sequence number"},"getBucketAtOrBeforeTotal(uint64)":{"notice":"Returns the live bucket with the greatest cumulative message total at or below `_upperBound`"},"getCurrentBucketSeq()":{"notice":"Returns the sequence number of the bucket currently accumulating messages"},"getProvenConsumedBucketSeq()":{"notice":"Returns the sequence number of the newest bucket consumed by the proven chain"},"getRingHeadroom()":{"notice":"Returns the number of buckets that can still be opened before `sendL2Message` reverts to protect an unconsumed bucket from being overwritten"},"markProvenConsumed(uint64)":{"notice":"Records that the proven chain has consumed all messages up to and including bucket `_bucketSeq`, unlocking eviction of buckets at or below it when the ring wraps"},"sendL2Message((bytes32,uint256),bytes32,bytes32)":{"notice":"Inserts a new message into the Inbox"}},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@generated/=generated/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"src/core/interfaces/messagebridge/IInbox.sol":"IInbox"},"evmVersion":"prague","libraries":{}},"sources":{"src/core/interfaces/messagebridge/IInbox.sol":{"keccak256":"0x1149c904c8b3bd2942628fbab5480cdc044e831d51963f9e6946f1974cc162bd","urls":["bzz-raw://af2f1f49feba389b0bdbf427c4a85fac2908699585e5babd75f77cf14416ed5f","dweb:/ipfs/QmZYjZyhicCpTcwPuWTjTTUxnaBnfv5bTMWDgxyDGqy8Gm"],"license":"Apache-2.0"},"src/core/libraries/ConstantsGen.sol":{"keccak256":"0xe328f94338f5563669e04618c3ec21ec38b9f21ab24d5de698d80cf38f977dfa","urls":["bzz-raw://3d9872c9a78d7241053e9ce3eadf192d18a9cb4b95c0ac120470d92435b7216e","dweb:/ipfs/QmcRnfbW8sNWwRHPik4wvkA7CTY1BTjuf2ydu3jN5otQJT"],"license":"Apache-2.0"},"src/core/libraries/DataStructures.sol":{"keccak256":"0x5ea9d1097f0b53eafbd72332d4c5c517307e5a056266befe5b46f5f43ee3d83c","urls":["bzz-raw://1a742311dc3c5ead2d5361549f017d20f46c40a4e74e879823ac168cf5b572d4","dweb:/ipfs/QmTNDc1fiPti41QqJTJQoV9uduB6eXaQhbfq1hfVVjVNvS"],"license":"Apache-2.0"}},"version":1},"id":84}