Kai Mora

Verified

Smart Contract Auditor

@kaisecRemote · GMT+25.0

Security researcher with 40+ audits across EVM and Solana. Found critical bugs in top-10 protocols. Formal verification with Certora & Halmos.

Proof of work

1.98K

GitHub commits

On-chain contribs

Hackathon wins

Jobs completed

SolidityFoundryCertoraRustSecurityFormal Verification