diff --git a/hubSeen-Shomei-bug b/hubSeen-Shomei-bug deleted file mode 100644 index c1c3d42a..00000000 --- a/hubSeen-Shomei-bug +++ /dev/null @@ -1,95 +0,0 @@ -- thread was started with "block missing in Shomei" -- then there is the "hub filtering" issue - - there exist storage operations on the Besu side that don't have a hub counterpart -- Karim: - - on devnet - - there was a missing trie log (produced by Besu) about the coinbase address receiving its funds - - this reward had been reflected in the state (the balance was correct (updated) in the next block) - - this was on Maru - -- the plugin may have affected the trie log -- should only affect reads (it can only add extra reads, right @gary ?, maybe also remove reads) -- in this case the writes may have been affected - -- when @Roman and @Karim re-synched Besu they got the right Trie-log from Besu. - - -Besu + Shomei plugin (filter / clean the trie log and sends it to the SM) -State manager -in devnet Besu imported block with Shomei for the -Roman did a first sync with all of it -Besu trie log didn't contain the coinbase (Besu Shomei plugin, SM, Maru ?) -SM detected the issue -He tried to re-sync the SM, besu was still sharing the wrong TL -Re-synched Besu, and TL was correct - -Now attempting to re-sync the SM -It's still synching - -Issue coming from Besu (Maru + Besu + plugin) -Karim: I think it comes from the plugin, because the HUB doesn't see something and the plugin removes a valid thing -- for accounts: we trust the hub completely, and remove stuff if not hubSeen -- for storage: not trusting completely: - - if HUB doesn't see an operation we check if it's write or read - - if write: it's an issue that is logged - - if read: it's ignored -- Karim: Besu is correct because of valid state root - -How to understand the issues ? -- coinbase issue: - - monitoring -- hub filtering - - replay the block - -Question: -- is it related to a SELFDESTRUCT - - Sepolia is still on London - - so storage values should go to 0 if SD were the answer -- is hubSeen requesting the removal of the 0x..00 address related stuff ? -- something removed the associated trie log - -Karim -- 2 issues: -- potentially linked issues - - devnet: - - account mising in Trie Log (TL) - - when we send the TL to the State Manager (SM) - - the SM detects invalidity, SM is stuck - - sepolia: - - besu imports a block - - wants to generate a trie log using filtering - - the hub says "I didn't see this write" - - the filtering plugin doesn't accept to filter it out - - it keeps it in its TL - - the TL will be sent to the SM with this extra write - - SM stuck in devnet and not sepolia - - the filtering plugin DOES NOT remove writes to storage - - the filtering plugin DOES discard changes not seen by HUB for accounts - - that seems crazy - - maybe related to `.equals()` which is more involved for accounts - -block numbers for Devnet: - - 9035604 - - 8998569 - -block numbers for Sepolia: - - 17417941..17418078, 17417941 - - -Devnet coinbase: 0x4D517Aef039A48b3B6bF921e210b7551C8E37107 - -RLP-izations of TL (@roman) - -0xf90247a06fda8d5896859ba75eaf2e24a4ad1894281ff325e0aa11ab627b102117beaf378389df54f8b694000000000000000000000000000000000000000080f89df84c808808d166342a4b05aca056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470f84c808808d167e9e200d134a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a4708080f862940000f90827f1c53a10cb7a02335b1753200029358080f849f847a0a4603bd68fc422e1dc55216f094642f0691e8c285a590be79a2584b2419aa70480a00370b049d8ac9d12eeab5acd501baa292bd768c7447d527f600dd2c0711732d6808203a2f84494000f3df6d732807ef1319fb7b8bb8522d0beac028080eceba06dc4e55733144dae4a23084ba5030ac36e73396870225aa7aa3bc4023ba5c970808468a70e1d8082136ff8be94228466f2c715cbec05deabfac040ce3619d7cf0b80f8a5f85083886360896b727dbee772250070a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470f85083886361896b727dbd31ba6cf6b0a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a4708080 - -0xf9024ba05fdd29cf82a11b2f49e5d74ee6f88dba0260e9084ca2bf33efffc987d0e4432e8389df55f8b694000000000000000000000000000000000000000080f89df84c808808d167e9e200d134a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470f84c808808d1699f99b69cbca056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a4708080f862940000f90827f1c53a10cb7a02335b1753200029358080f849f847a010b5faab6c6f340e7bdf5f234d208e35c4788227cbca1891148ec7be244a591080a06fda8d5896859ba75eaf2e24a4ad1894281ff325e0aa11ab627b102117beaf37808203a3f84894000f3df6d732807ef1319fb7b8bb8522d0beac028080f0efa08b83ca8899a5cb73525bbda301c45abdde560d4765f1f400b40462bc654373a18468a6ee208468a70e1f80821371f8be94228466f2c715cbec05deabfac040ce3619d7cf0b80f8a5f85083886361896b727dbd31ba6cf6b0a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470f85083886362896b727dbb7c02b4ecf0a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a4708080 - - -56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421 - -problematic block wrt coinbase: 9035604 (maybe 05) - -https://explorer.devnet.linea.build/block/9035604 - - -Can you give @karim links so that @karim can download the Besu and state manager databases for for devnet so that can simulate the block import that fails. diff --git a/luatex.vNXEZE/1.png b/luatex.vNXEZE/1.png deleted file mode 100644 index 78dc61eb..00000000 Binary files a/luatex.vNXEZE/1.png and /dev/null differ diff --git a/luatex.vNXEZE/2.png b/luatex.vNXEZE/2.png deleted file mode 100644 index bb542747..00000000 Binary files a/luatex.vNXEZE/2.png and /dev/null differ diff --git a/luatex.vNXEZE/3.png b/luatex.vNXEZE/3.png deleted file mode 100644 index 78c4ba51..00000000 Binary files a/luatex.vNXEZE/3.png and /dev/null differ diff --git a/references.bib b/references.bib index e53a3926..a49fce97 100644 --- a/references.bib +++ b/references.bib @@ -100,7 +100,7 @@ @marcindsobczak) @article{EIP-7825, title = {EIP-7825: Transaction Gas Limit Cap}, - subtitle = {Introduce a protocol-level cap on the maximum gas used by a transaction to $16,777,216$ ($2\^24$).}, + subtitle = {Introduce a protocol-level cap on the maximum gas used by a transaction to {16,777,216} ({2^24}).}, shorthand = {EIP-7825}, author = {Giulio Rebuffo (@Giulio2002), Toni Wahrstätter (@nerolation)}, year = {2024-11-23}, diff --git a/spec/_all_spec.tex b/spec/_all_spec.tex index fadcee22..da675edb 100644 --- a/spec/_all_spec.tex +++ b/spec/_all_spec.tex @@ -74,6 +74,7 @@ \usepackage{../pkg/system_txn_data} \usepackage{../pkg/system} \usepackage{../pkg/hlabel} +\usepackage{../pkg/constants/eip-7823_MODEXP_limits} \usepackage{epigraph} \usepackage{subfiles} \usepackage{multirow}