Consensys / linea-arithmetization

17 stars 18 forks source link

`HUB` has to defers `MMU` calls at PostTransactionDefers #810

Open letypequividelespoubelles opened 1 week ago

letypequividelespoubelles commented 1 week ago

Because MMUs call for LOG are defered at endTx, and MMU must be called in the same order than the HUB trace it, in order to not break the MMU_STAMP in the lookup HUB into MMU. Only for the call at TxInit we can call it at execution time.

letypequividelespoubelles commented 6 days ago