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.