Registry / AlphaQ Program
Report card · Swap
AlphaQ Program
Orb lists it as a swap program. Fuzzy has no further description for it yet.
ALPHAQmeA7bjrVuccPsYPiCvsi428SNwte66Srvs4pHA
CertificationDevnet certification only: a jury of registered Verafy harnesses ruled on the report on Solana devnet. Its jurors voted by script, and only the Sniffed level is possible today. Not a full certification.
Devnet certification only: Sniffed
A jury of 4 registered Verafy harnesses from 4 model families ruled on this report on Solana devnet, and verafy_certification wrote the level for this exact build on November 9, 2026 at 9:22 PM UTC. This is not a full certification: the jurors voted by script in this run, it lives on devnet, and a Sniff run can earn Sniffed at most. The jury ruled on the scan from November 9, 2026 at 9:22 PM UTC; the report below may be a newer scan of the same build.
- Certification account
- 9JoAuosjAkjUsWXRiMsfxDfvUtrkWKt9C1NSTFQA4FGn
- Jury ruling
- F7iAB2MTsyN8DoQsieWhNsk7uJ9UKdq4qkQ6UnHBjq44
- Certify transaction
- 4wuJP3X7RqhdPQSxCYqg694ph93VuLUM…
- Bytecode hash
- 3192a190b0aa4ade360844924118cebd47a5479b26658764ae285362f2ede6d0
- Report hash
- 30e933c56c3cde29153b212a027258406342ad9d94c237f524575c73436376f7
What ran
A Sniff run: 24 transactions in 21 seconds, 4 attack classes run, tested on mainnet replay (accounts cloned at slot 467476958). Nothing was sent to mainnet or devnet. How a run works
| Assessment | Result | What it means here | Based on |
|---|---|---|---|
| Missing signer check | held | Tried, and every attack in this class failed. | Sealevel Attacks (Coral, the Anchor team) |
| Missing owner check | not tried | Applies to this program, but did not run in this pass: none of the calls that completed gave this class something to target. | Solana Foundation course: Owner Checks |
| Account substitution | held | Tried, and every attack in this class failed. | Sealevel Attacks (Coral, the Anchor team) |
| PDA seed collision | not built yet | This class applies, but this engine version does not run it yet. | Sealevel Attacks (Coral, the Anchor team) |
| Arithmetic overflow | not tried | Applies to this program, but did not run in this pass: none of the calls that completed gave this class something to target. | Helius: A Hitchhiker's Guide to Solana Program Security |
| Close, then reuse | not built yet | This class applies, but this engine version does not run it yet. | Sealevel Attacks (Coral, the Anchor team) |
| Unchecked CPI target | not built yet | This class applies, but this engine version does not run it yet. | Solana Foundation course: Arbitrary CPI |
| Unchecked mint or authority | not tried | Applies to this program, but did not run in this pass: none of the calls that completed gave this class something to target. | Helius: A Hitchhiker's Guide to Solana Program Security |
| Lamport draining | held | Tried, and every attack in this class failed. | Helius: A Hitchhiker's Guide to Solana Program Security |
| Reinitialization | not tried | Applies to this program, but did not run in this pass: none of the calls that completed gave this class something to target. | Solana Foundation course: Reinitialization Attacks |
| Price manipulation | not built yet | This class applies, but this engine version does not run it yet. | Helius: A Hitchhiker's Guide to Solana Program Security |
| Compute exhaustion | held | Tried, and every attack in this class failed. | Solana docs: fees and compute budget |
Depth: 47 of 100
| Part | Points | Measured as |
|---|---|---|
| Branch coverage | 0 / 40 | Share of the program's branches executed. Not measured yet. |
| Instructions driven | 20 / 20 | Share of instructions driven to both success and failure. |
| Attack classes tried | 7 / 20 | Share of the classes that apply to this program that actually ran. |
| Real state | 10 / 10 | 10 for cloned mainnet accounts, 5 for accounts built from the IDL, 0 for none. |
| Effort | 10 / 10 | Share of the planned run completed within the time limit. |
Instructions
Fuzzy first calls each instruction the way an honest user would. Only instructions that complete an honest call can be attacked.
Findings and leads
No proven findings. No leads.
Source and dependencies
Source: OtterSec verification service.
Dependency advisories did not run: No verified source to read dependencies from.
Gaps in this run
- The program publishes no Anchor IDL on chain, so Fuzzy could not read its instruction names, accounts or arguments.
- Built attack classes that apply but did not run: Missing owner check, Arithmetic overflow, Unchecked mint or authority, Reinitialization.
- Attack classes that apply but are not built yet: PDA seed collision, Close, then reuse, Unchecked CPI target, Price manipulation.
- Branch coverage is not measured in this engine version (0 of 40 Depth points).
- The program is upgradeable, so this report and any certification cover only the build hashed below.
Planned add-ons not run on this program yet: rebuild from source, static lints, deep fuzz, property fuzzing, ai design review, kitchen sink.
The build
- Bytecode SHA-256
- 3d7bc173c67ba1858eacc69b5c504af8e160dbd38aea93779c3c65b6b011d877
- Size
- 488 KB
- Upgradeable
- Yes
- Upgrade authority
- H2mDaMYkYAkZxZy8ByTjU13yputt7ScyGQwVtCyj8TMA
- Anchor IDL
- Not published on chain
- Engine
- fuzzy-engine/0.2.0 · Sniff
For agents
GET https://fuzzy.verafy.ai/api/registry?program=ALPHAQmeA7bjrVuccPsYPiCvsi428SNwte66Srvs4pHA GET https://fuzzy.verafy.ai/api/certification?program=ALPHAQmeA7bjrVuccPsYPiCvsi428SNwte66Srvs4pHA
Or use the Fuzzy MCP server. Docs