diff --git a/arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/TxTrace.java b/arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/TxTrace.java index d7a0e1b0f3..58fbfb7335 100644 --- a/arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/TxTrace.java +++ b/arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/TxTrace.java @@ -120,15 +120,15 @@ public int lineCount() { int sum = 0; if (COUNT_STACK_ONLY) { - for(TraceSection section: this.trace) { - for (TraceSection.TraceLine line: section.getLines()) { + for (TraceSection section : this.trace) { + for (TraceSection.TraceLine line : section.getLines()) { if (line.specific() instanceof StackFragment) { sum++; } } } } else { - for(TraceSection section: this.trace) { + for (TraceSection section : this.trace) { sum += section.getLines().size(); } } diff --git a/arithmetization/src/main/java/net/consensys/linea/zktracer/module/rlpAddr/RlpAddr.java b/arithmetization/src/main/java/net/consensys/linea/zktracer/module/rlpAddr/RlpAddr.java index 31b2ae47f0..042b0eca13 100644 --- a/arithmetization/src/main/java/net/consensys/linea/zktracer/module/rlpAddr/RlpAddr.java +++ b/arithmetization/src/main/java/net/consensys/linea/zktracer/module/rlpAddr/RlpAddr.java @@ -295,7 +295,7 @@ public int lineCount() { for (RlpAddrChunk chunk : this.chunkList) { traceRowSize += chunkRowSize(chunk); } - return 2*traceRowSize; //TODO: temporary hack for Geth/Besu + return 2 * (traceRowSize + 1); // TODO: temporary hack for Geth/Besu } @Override