solana-fuzz

Use when fuzzing a Solana program or writing a Trident fuzz test: property and invariant testing of a program's state transitions, finding runtime logic bugs that happy-path and example-based tests (LiteSVM, Mollusk, Surfpool) miss, hardening an Anchor or native program before a mainnet deploy, or adding regression fuzzing across program versions. Trident is the Solana Foundation supported fuzzer by Ackee Blockchain. Dynamic, dev-loop property testing, not a static security auditor.