clean: rm unused duplicate traceStartBlock in ZkTracer

[letypequividelespoubelles]

Note

Remove ProcessableBlockHeader-based traceStartBlock overload, consolidating on (BlockHeader, BlockBody) signature and updating Wcp module and tests accordingly.

• Tracing API:
  • Remove traceStartBlock(WorldView, ProcessableBlockHeader, Address) from ZkTracer and Wcp; use traceStartBlock(WorldView, BlockHeader, BlockBody, Address).
• Tests/Callers:
  • Update LineCountingTracerTest and BlockchainReferenceTestTools to pass BlockBody (e.g., BlockBody.empty() or block.getBody()).
  • Add necessary BlockBody imports and adjust method invocations.

^{Written by Cursor Bugbot for commit d39cad4. This will update automatically on new commits. Configure here.}

[cursor]

Bug: Transaction Commit Issue in WCP Module

The removal of traceStartBlock in Wcp.java means additionalRows.commitTransactionBundle() is no longer called at block start. This prevents additionalRows from properly committing its state, potentially causing incorrect line counting and state management in the WCP module.

arithmetization/src/main/java/net/consensys/linea/zktracer/module/wcp/Wcp.java#L91-L110

linea-tracer/arithmetization/src/main/java/net/consensys/linea/zktracer/module/wcp/Wcp.java

Lines 91 to 110 in d39cad4

	additionalRows.commitTransactionBundle();
	}
	@Override
	public void popTransactionBundle() {
	for (ModuleOperationStackedSet<WcpOperation> operationsSet : operations) {
	operationsSet.popTransactionBundle();
	}
	additionalRows.popTransactionBundle();
	}
	@Override
	public void tracePreOpcode(MessageFrame frame, OpCode opcode) {
	if (opcode == LT
	|| opcode == GT
	|| opcode == SLT
	|| opcode == SGT
	|| opcode == EQ
	|| opcode == ISZERO) {

 

---