Dragan Z

_Spearbit audit finding_ **Description** The codebase uses different error variables (ErrIncorrectOutputRootType and ErrInvalidSuperRootVersion) to represent the same error in two different contexts, which creates ambiguity in the error diagnosis. In...

_Spearbit audit finding:_ **Description**: The current implementation compares the length of` transitionState.PendingProgress` against the constant `ConsolidateStep` (value: 127)`, unrelated to the actual length requirement. ``` } else if transitionState.Step ==...

Comment says 4 bytes, but it is actually the word size

1

As per spearbit audit finding, we have the following finding: **Description** Comment says 4 bytes, but it is actually the word size. Also, the comment is bellow the aligning operation....

Incorrect structured comments about return value of readMem and readMemUnchecked

1

As per Spearbit audit findings: Description: The comments at MIPS64Memory.sol:13 and MIPS64Memory.sol:28 both read `@return out_ The hashed MIPS state`. - while they should read `@return out_ The read memory...

op-program: Bedrock contracts test setup fails due to incorrect Solady library mapping

2

_Spearbit audit finding_ **Description** The ForkLive.s.sol file imports the Solady library with the following. `import { LibString } from "solady/src/utils/LibString.sol"; ` However, the Foundry remapping already accounts for the src...

Most of OP constants are not used

1

**Description** Of all these OP constants defined, only OP_LOAD_DOUBLE_LEFT and OP_LOAD_DOUBLE_RIGHT are used, but only in some places. In others, the values 0x1A and 0x1B` are used directly. **Recommendation** At...