Engineer securing L1 consensus and state transition logic with deep experience in custom proof systems and validator lifecycle security.
Skills:
-
Consensus Algorithm Auditing
-
State Transition Verification
-
Chain Upgrade Security
-
Fork Logic Simulation
Experience:
-
Audited consensus modules for Cosmos and custom EVM chains
-
Simulated validator misbehavior under low-participation conditions
Achievements:
-
Flagged consensus split bug before L1 mainnet
-
Designed upgrade fallback system to prevent network halt
-
Led simulation of cross-chain validator incentive attacks