Distributed Systems, Backend & Web3 Protocol Security Engineer
- Systems & API Reliability: High-availability TypeScript/Node/Bun services, deterministic state machines, and fault-tolerant RPC/SSE relays.
- Smart Contract & Protocol Auditing: Stacks (
Clarity/Clarinet), Solana (SVM), and Base L2 (EVM/Solidity) static & dynamic invariant verification. - Zero-Regression Pull Requests: Every upstream contribution includes self-contained unit/integration test suites (
Vitest,Pytest,Clarinet,C++17) and minimal, surgical diffs.
aibtcdev/x402-sponsor-relay#478: Degraded Hiro API connectivity handling (canSponsor: falsewithHIRO_UNAVAILABLEreason enum and OpenAPI 503 schema alignment).javelin-anticheat/py-workedtask#89: Deterministic SHA-256 and CRC32 executable/script self-integrity verification in C++17 and Python.- CityCoins
CCIP-028+CCD015+CCD016-v2Security Audit: Line-by-line Clarity contract audit & reproducible Clarinet SDK test suite.
