Registry / Jupiter Order Engine Program
Report card · Aggregator
Jupiter Order Engine Program
Jupiter's order engine for limit orders and RFQ fills.
61DFfeTKM7trxYcPQCM78bJ794ddZprZpAwAnLiwTpYH
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:23 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:23 PM UTC; the report below may be a newer scan of the same build.
- Certification account
- B274bNC4HPWZ7yVpuebvq4WsmhtQhRhQwjovtsPJ1s8p
- Jury ruling
- 5Yz8kipbBZ4NndLciYqDf4GGmXEWSXwpePryMHgNem1B
- Certify transaction
- 5q9i98Dnxz7SZt5SJwDpGzJedvfCbZ8p…
- Bytecode hash
- 719b9e80d632562f075ba27a8ce474d09a52e603c8c63dec7504ff420c246c29
- Report hash
- 4fd94edb19f47c9f64bd06f977f684448d0471a2fb2a9aca8910bc5906e694c1
What ran
A Sniff run: 102 transactions in 2 seconds, 4 attack classes run, tested on mainnet replay (accounts cloned at slot 467476947). 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 | does not apply | Nothing in this program's interface this class can target. | Solana Foundation course: Owner Checks |
| Account substitution | does not apply | Nothing in this program's interface this class can target. | Sealevel Attacks (Coral, the Anchor team) |
| PDA seed collision | does not apply | Nothing in this program's interface this class can target. | 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 | does not apply | Nothing in this program's interface this class can target. | 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 | held | Tried, and every attack in this class failed. | 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 | does not apply | Nothing in this program's interface this class can target. | Solana Foundation course: Reinitialization Attacks |
| Price manipulation | does not apply | Nothing in this program's interface this class can target. | 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: 53 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 | 13 / 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
- Built attack classes that apply but did not run: Arithmetic overflow.
- Attack classes that apply but are not built yet: Unchecked CPI target.
- 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
- ebcca17c3dedb440edaeba5dbf652cf698f81e64c733d9dd54a6e8b05053f4eb
- Size
- 457 KB
- Upgradeable
- Yes
- Upgrade authority
- CvQZZ23qYDWF2RUpxYJ8y9K4skmuvYEEjH7fK58jtipQ
- Anchor IDL
- Yes, 1 instructions
- Engine
- fuzzy-engine/0.2.0 · Sniff
For agents
GET https://fuzzy.verafy.ai/api/registry?program=61DFfeTKM7trxYcPQCM78bJ794ddZprZpAwAnLiwTpYH GET https://fuzzy.verafy.ai/api/certification?program=61DFfeTKM7trxYcPQCM78bJ794ddZprZpAwAnLiwTpYH
Or use the Fuzzy MCP server. Docs