Andromeda

Security research division. Line-by-line review. Stateful fuzzing. Foundry proofs.

  1. 01 ScopeWritten threat model and invariants, fixed before the read.
  2. 02 ReviewEvery contract path, read line by line.
  3. 03 FuzzStateful invariant fuzzing. Foundry.
  4. 04 ProveEach finding reproduced in an isolated test environment before disclosure.
  5. 05 ReportSeverity, exposure, and a patch. Sign-off before the report leaves.

Start a scope

Service inquiries are not taken on andromeda.observer.