AuditAttestationRegistry

Events Access

The `transferOwnership` function lacks an event emission, making it difficult for off-chain monitors to track ownership changes on Mantle. Emitting an event would improve transparency and auditability.

Mark never-changing value constant or immutable

The `owner` state variable is assigned once in the constructor and never updated. It can be marked `immutable` to save gas on every access, as reading from contract code is cheaper than storage.

Cache repeated storage read

In the constructor, `msg.sender` is read twice: once for the assignment to `owner` and once to set `isAuditor[msg.sender]`. Caching `msg.sender` in a local variable avoids a redundant storage read, improving gas efficiency.

Cache repeated storage read

The code reads the storage variable `_history[auditedContract]` twice within the same transaction: once to push a new attestation and once implicitly to obtain the length. Caching the storage array reference can save gas by avoiding a redundant `sload`.

Bitmap-pack boolean flags

The `isAuditor` mapping uses a `bool` value type that occupies an entire storage slot per key. On Mantle, where storage operations are expensive, this pattern can be optimized by packing multiple boolean flags into a single `uint256` bitmask, reducing storage footprint and gas costs for writes and reads.