Prover tests for empty blocks

README.md

@@ -1,12 +1,12 @@
 # Linea tracer (zkEVM)
 
-This repository hosts a Linea tracing implementation for 
-[Besu](https://github.com/hyperledger/besu) based on an 
- implementation in Go.
+This repository hosts a Linea tracing implementation for
+[Besu](https://github.com/hyperledger/besu) based on an
+implementation in Go.
 
 Tracing refers to the process of extracting data from the execution of an EVM client in order to construct large matrices known as execution traces. Execution traces are subject to the constraint system specified in the [linea-specification](https://github.com/Consensys/linea-specification) repo and implemented in the [linea-constraints](https://github.com/Consensys/linea-constraints) repo.
 
-It serves developers by making the Linea tech stack open source under 
+It serves developers by making the Linea tech stack open source under
 the [Apache 2.0 license](LICENSE).
 
 ## What is Linea?
@@ -19,15 +19,17 @@ If you already have an understanding of the tech stack, use our [Get Started](do
 
 ### Looking for plugins?
 
-Discover [existing plugins](docs/plugins.md) and understand the [plugin release process](docs/plugin-release.md). 
+Discover [existing plugins](docs/plugins.md) and understand the [plugin release process](docs/plugin-release.md).
 
 ## Looking for the Linea code?
 
 Linea's stack is made up of multiple repositories, these include:
+
 - This repo, [linea-tracer](https://github.com/Consensys/linea-tracer): Linea-Besu plugin which produces the traces that the constraint system applies and that serve as inputs to the prover
->
+
 > This repository contains the elements of the Linea stack responsible for this process.
-- [linea-monorepo](https://github.com/Consensys/linea-monorepo): The main repository for the Linea stack & network 
+
+- [linea-monorepo](https://github.com/Consensys/linea-monorepo): The main repository for the Linea stack & network
 - [besu](https://github.com/hyperledger/besu): Besu client
 - [linea-sequencer](https://github.com/Consensys/linea-sequencer): A set of Linea-Besu plugins for the sequencer and RPC nodes
 - [linea-constraints](https://github.com/Consensys/linea-constraints): Implementation of the constraint system from the specification
@@ -46,11 +48,15 @@ Linea abstracts away the complexity of this technical architecture to allow deve
 Contributions are welcome!
 
 ### Guidelines for Non-Code and other Trivial Contributions
+
 Please keep in mind that we do not accept non-code contributions like fixing comments, typos or some other trivial fixes. Although we appreciate the extra help, managing lots of these small contributions is unfeasible, and puts extra pressure in our continuous delivery systems (running all tests, etc). Feel free to open an issue pointing to any of those errors, and we will batch them into a single change.
 
 1. [Create an issue](https://github.com/Consensys/linea-tracer/issues).
+
 > If the proposed update requires input, also tag us for discussion.
-2. Submit the update as a pull request from your [fork of this repo](https://github.com/Consensys/linea-tracer/fork), and tag us for review. 
+
+2. Submit the update as a pull request from your [fork of this repo](https://github.com/Consensys/linea-tracer/fork), and tag us for review.
+
 > Include the issue number in the pull request description and (optionally) in the branch name.
 
 Consider starting with a ["good first issue"](https://github.com/ConsenSys/linea-tracer/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22).
@@ -62,7 +68,6 @@ Before contributing, ensure you're familiar with:
 - The [Besu contribution guide](https://wiki.hyperledger.org/display/BESU/Coding+Conventions), for Besu:Linea related contributions
 - Our [Security policy](https://github.com/Consensys/linea-monorepo/blob/main/docs/security.md)
 
-
 ### Useful links
 
 - [Linea docs](https://docs.linea.build)

arithmetization/src/main/java/net/consensys/linea/zktracer/module/txndata/osaka/OsakaUserTransaction.java

@@ -15,7 +15,7 @@
 
 package net.consensys.linea.zktracer.module.txndata.osaka;
 
-import static net.consensys.linea.zktracer.Trace.EIP_7825_TRANSACTION_GAS_LIMIT_CAP;
+import static net.consensys.linea.zktracer.TraceOsaka.EIP_7825_TRANSACTION_GAS_LIMIT_CAP;
 
 import net.consensys.linea.zktracer.module.txndata.cancun.CancunTxnData;
 import net.consensys.linea.zktracer.module.txndata.cancun.rows.computationRows.WcpRow;