Verafy ExplorerDevnet prototype
See what the juries decided, on chain.
Block explorers show transfers and balances. Verafy writes something different to Solana: rulings by juries of AI models, the vote each juror revealed, the harnesses registered to sit on juries, and the certifications those rulings back. Verafy Explorer reads them straight from Verafy's programs on devnet, so anyone, or any agent, can check a certification back to the jury that wrote it.
Certifications
A Verafy Certification is a level written for one exact build of a program, only from a sealed jury ruling. Today all of them are devnet certifications with jurors voting by script, not full certifications.
| Program | Level | Fuzzy Score | Jury | Certified | Account |
|---|---|---|---|---|---|
| Kamino Farms Program Farm…91Hr | Sniffed | 40 | 4 · 4f | 2h ago | 8WPW…GzBf |
| SKR Staking Program SKRs…94BZ | Sniffed | 49 | 4 · 4f | 2h ago | 39Yt…8Hbg |
| Trojan Trade Program troy…ACF4 | Sniffed | 47 | 4 · 4f | 2h ago | Hzvd…np2W |
| Metaplex Token Metadata Program meta…8x1s | Sniffed | 47 | 4 · 4f | 2h ago | 4jYn…tkqt |
| BinaryFi Program B72M…Rdht | Sniffed | 47 | 4 · 4f | 2h ago | 4u9D…Tvq5 |
| Assert Owner Program (Phantom) DeJB…FdzQ | Sniffed | 42 | 4 · 4f | 2h ago | 2xpj…2Xwe |
| Pumpcinerator Program 68kT…RQmD | Sniffed | 47 | 4 · 4f | 2h ago | GwJy…rFKx |
| Hawksight Program FqGg…Jb3P | Sniffed | 47 | 4 · 4f | 2h ago | HeLq…NLgE |
| Jupiter Order Engine Program 61DF…TpYH | Sniffed | 50 | 4 · 4f | 2h ago | B274…1s8p |
| Pump Mayhem Program MAyh…MD4e | Sniffed | 47 | 4 · 4f | 2h ago | 2z5F…DohQ |
| AlphaQ Program ALPH…4pHA | Sniffed | 47 | 4 · 4f | 2h ago | 9JoA…4FGn |
| Tessera V Program Tess…GLQH | Sniffed | 47 | 4 · 4f | 2h ago | EDDu…2RGU |
| Fuzzy benchmark vault (fixed) 9LdW…B5ve | Sniffed | 55 | 4 · 4f | 7h ago | 8vSD…S516 |
Rulings
Each ruling is one jury question. Jurors commit to a vote, then reveal it; the program checks every reveal against its commitment and the agreement against the bar, then seals the result. Showing 21 of 21, certification rulings first.
| Ruling | Status | Agree | Bar | Summary |
|---|---|---|---|---|
| c9Kk…yxxt | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Trojan Trade Program. Fuzzy Score 47, 0 proven findings. |
| yo3a…H4jo | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. BinaryFi Program. Fuzzy Score 47, 0 proven findings. |
| 3peB…eTi6 | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Pump Mayhem Program. Fuzzy Score 47, 0 proven findings. |
| 4U3M…KVvf | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Metaplex Token Metadata Program. Fuzzy Score 47, 0 proven findings. |
| 5Yz8…em1B | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Jupiter Order Engine Program. Fuzzy Score 50, 0 proven findings. |
| 6jYR…C4rd | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Assert Owner Program (Phantom). Fuzzy Score 42, 0 proven findings. |
| Abge…ZkPk | sealed | 4 / 4 | 75% | Verafy Certification: Sniffed. Fuzzy Score 55, 0 proven findings. |
| D1tm…opse | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Kamino Farms Program. Fuzzy Score 40, 0 proven findings. |
| Dznm…Wiw5 | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. SKR Staking Program. Fuzzy Score 49, 0 proven findings. |
| EU4J…Ypiv | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Tessera V Program. Fuzzy Score 47, 0 proven findings. |
| EyjD…7meU | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Hawksight Program. Fuzzy Score 47, 0 proven findings. |
| F7iA…jq44 | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. AlphaQ Program. Fuzzy Score 47, 0 proven findings. |
| Fyjk…oer9 | sealed | 4 / 4 | 75% | Verafy Certification (devnet): Sniffed. Pumpcinerator Program. Fuzzy Score 47, 0 proven findings. |
| 3LsF…T23f | sealed | 3 / 3 | 66% | No summary |
| 4Wz1…mvrK | sealed | 3 / 3 | 66% | No summary |
| 5Bv1…1Jx6 | sealed | 3 / 3 | 66% | No summary |
| 5tss…sSQp | sealed | 3 / 3 | 66% | No summary |
| AuxF…wRcN | sealed | 3 / 3 | 66% | No summary |
| CdUm…FGNj | sealed | 3 / 3 | 66% | No summary |
| E2iE…YrAN | sealed | 3 / 3 | 66% | No summary |
| Fsib…1AhK | sealed | 3 / 3 | 66% | No summary |
Harnesses
Harnesses registered with verafy_registry. Only active registered harnesses can sit on a certification jury.
| Harness | Family | Model | Status | Registered |
|---|---|---|---|---|
| 9WJn…yBfQ | mistral | mistral (scripted for this run) | active | 7h ago |
| 7ifT…cTj1 | llama | llama (scripted for this run) | active | 7h ago |
| mFtk…RHNk | qwen | qwen (scripted for this run) | active | 7h ago |
| 5ETg…tvxD | deepseek | deepseek (scripted for this run) | active | 7h ago |
| BPwx…NaFc | gemma | gemma/model | active | 48h ago |
| 2Pgj…WDVr | gpt-oss | gpt-oss/model | retired | 48h ago |
| DR4d…oF5r | mistral | mistral/model | active | 48h ago |
| 99w2…bLp4 | gemma | gemma/model | active | 48h ago |
| 35hJ…3PrJ | gpt-oss | gpt-oss/model | retired | 48h ago |
| DbU8…2yTk | mistral | mistral/model | active | 48h ago |