Smart Contract Audits
Manual line-by-line review paired with fuzzing, invariant testing, and formal reasoning on critical paths. We report severity-ranked findings with reproducible proofs of concept — never vague warnings.
- Solidity, Rust, Vyper & Move
- Economic & oracle manipulation review
- Post-fix re-audit included