security & systems engineer · cross-chain infra + smart-contract security · rust, evm

recent work:

• alloy-rs/core #1105 — EIP-712 self-referential struct canonicalization in dyn-abi (alloy is the Rust lib under Foundry & Reth)
• uutils/coreutils #12327 — date timezone re-zoning in the Rust rewrite of GNU coreutils
• lock-mint-bridge-lab — audited my own lock-and-mint bridge end-to-end: Foundry stateful invariants (512x100), Slither, Halmos, Ronin/Wormhole/Nomad exploit reproductions
• BRIDGE-bench — static analysis lands ~0% F1 on compositional bridge hacks; a static-prefiltered LLM reaches ~40%

📕 printing money — a book i wrote on how value gets created, exploited, and secured on-chain. every chapter is a runnable foundry lab: the mechanism, a working exploit or proof, then the fix.

• get the book · labs →
• honeypots · amm attacks · mev sandwiches · bridge double-spends · lock-and-mint solvency · zk (proving the wrong statement) · post-quantum signatures (ml-dsa / ml-kem)
• the threat models in chapters 04–07 and 17 are the same ones i build against in suwappu

now: building Suwappu — agent-native cross-chain swaps.

0xsoftboi.github.io · @0xSoftBoi · layerinfinite@gmail.com