Trident Fuzzer
Trident is a fuzzing framework for Solana smart contracts built by Ackee Blockchain, enabling property-based testing of Anchor programs with automatic account generation.
In Depth
Trident brings invariant testing concepts from the EVM world to Solana. Built on honggfuzz, it generates random instruction sequences for Anchor programs, automatically handles account creation and signing, and checks user-defined invariants after each step. Trident understands Anchor's IDL format, so it can generate valid instructions without manual harness writing. This is a significant advantage over raw cargo-fuzz, which requires writing custom harnesses for each instruction. The framework is still younger than EVM fuzzers like Echidna and Medusa, but it's the most practical option for teams that want to fuzz Solana programs with minimal setup. See the Solana fuzzing guide for a hands-on tutorial.
Frequently Asked Questions
What is Trident?
Trident is a fuzzing framework by Ackee Blockchain designed specifically for Solana programs. It generates random instruction sequences, handles account setup automatically, and checks invariants — similar to what Echidna and Medusa do for EVM contracts.
Can you fuzz Solana programs without Trident?
Yes, you can use cargo-fuzz or honggfuzz-rs directly, but you'll need to write custom harnesses for account creation, signing, and instruction building. Trident automates this by reading your Anchor IDL. For non-Anchor programs, cargo-fuzz with proptest is the main alternative.