Specialized Solana program security firm — Rust/Anchor audits, formal-style review, and tooling for safer on-chain code.