EVM-native
Enforcing EVM semantics explicitly on-chain, at the level of a single EVM instruction.
Auditable TCB
Specular's Trusted Computing Base (TCB) includes only the on-chain verifier which is more easily auditable and entirely formally verifiable against a formal EVM specification.