Founder & Core Engineer at AEOS / Boreal Systems.

Specializing in formal invariant falsification, Cancun EVM testing, and zero-knowledge computational verification (SP1 zkVM). 

Currently researching state transition integrity, resolution boundaries, and deterministic security models across ENSv2, L2 name resolution, anddecentralized infrastructure.

• **Core Focus:** Protocol Security, EVM Invariants, Forensic Verification
• **Stack:** Rust / SP1 zkVM / Foundry / Formal Execution Proofs
• **PGP / Contact:** aeosproof@gmail.com