1648 initialization and finalization sections fix #1657
Conversation
lorenzogentile404
commented
Dec 13, 2024
•
lorenzogentile404
commented
- spec: Initialization section fix linea-specification#11
- constraints: Implementation of TX_INIT and TX_FINL fix linea-constraints#517.
| this.addFragments( | ||
| ImcFragment.forTxInit(hub), ContextFragment.initializeExecutionContext(hub), txFragment); | ||
|
|
||
| boolean isRevertedTransaction = false; // TODO: how to get this? |
There was a problem hiding this comment.
You have to defer to post transaction to finish the initialization section.
| @Getter private final AccountSnapshot senderAfterPayingForTransaction; | ||
| @Getter private final AccountSnapshot senderAfterPayingForGas; | ||
| @Getter private final AccountSnapshot senderAfterPayingForValue; | ||
| @Getter private final AccountSnapshot senderAfterPayingForGasAndValue; |
There was a problem hiding this comment.
I would suggest, for the sheer purpose of readability, to have the following snapshots be part of the class definition
private final AccountSnapshot senderGasPayment
private final AccountSnapshot senderGasPaymentNew
private final AccountSnapshot senderValueTransfer
private final AccountSnapshot senderValueTransferNew
private final AccountSnapshot recipientValueReception
private final AccountSnapshot recipientValueReceptionNew
private AccountSnapshot senderUndoingValueTransfer
private AccountSnapshot senderUndoingValueTransferNew
private AccountSnapshot recipientUndoingValueReception
private AccountSnapshot recipientUndoingValueReceptionNewI've started explicitly introducing all required AccountSnapshot's as it became unmanageable otherwise in other sections (CallSection or CreateSection for instance.) As we handle a couple of hundred transactions total at a time max this isn't too much of an imposition on memory etc. And it makes intent more clear.
There was a problem hiding this comment.
Do we actually need all of them? senderGasPaymentNew and senderValueTransfer should be the same. Also, I find clearer the notation "before" and "after". Anyway, let's discuss it tomorrow.
There was a problem hiding this comment.
Also, senderValueTransferNew and senderUndoingValueTransfer, recipientValueReceptionNew and recipientUndoingValueReception should be the same.
There was a problem hiding this comment.
Note: whenever variables represent the same thing, create a deep copy of the underlying objects.
| @@ -37,7 +37,9 @@ | |||
|
|
|||
| public class TxInitializationSection extends TraceSection { | |||
There was a problem hiding this comment.
This has to implements PostTransactionDefer or whatever it's called.
There was a problem hiding this comment.
For this it would be ideal if we could get access to the refunded gas from Besu directly. I'm not sure we have it available here, or how, but we would need the values that are available here https://github.com/hyperledger/besu/blob/98780efd15ee3223de2c0cf2d144c8aaee30d5db/ethereum/core/src/main/java/org/hyperledger/besu/ethereum/mainnet/MainnetTransactionProcessor.java#L502
