Skip to main content

The First EVM-native Optimistic Rollup

With support from


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.