Claude Fable 5, Anthropic’s Mythos-class model, is becoming part of Denaria’s internal security workflow.
At Denaria, we are using AI-assisted review to stress-test the smart contract codebase and make it more secure and resilient.
The process is structured around 5 phases:
> Phase 1 → Scope and target properties
> Phase 2 → 6 specialist reviews across core protocol domains
> Phase 3 → Hypothesis register for every suspected weakness
> Phase 4 → Independent verification campaign
> Phase 5 → Evidence-based triage for every finding
Given its impressive cybersecurity skills, the goal is to use @claudeai Fable 5 as part of a structured internal review process to explore edge cases faster, generate adversarial hypotheses, and turn them into reproducible tests.
AI is bringing smart contract security checks to a whole new level, and Denaria is working at the forefront of innovation in this field.
TL;DR on How Denaria Is Improving Its Codebase
> Denaria performed AI-assisted security reviews of its codebase.
> During the review, the team identified a mathematical approximation in the codebase.
> This finding is now being addressed through a codebase refactor.
> Meanwhile, Denaria is also working on: accounting improvements, matrix calculation refactoring, invariant testing, more AI-assisted internal reviews, and circuit breakers.
Denaria is going on Arbitrum!
Discover what’s going on behind the scenes in this weekly recap by our co-founder, @TizianoTridico.
He covers everything that’s happening, from the refactoring of the codebase to the Arbitrum expansion and what’s next for Denaria.
Denaria Rises.
The Next Big Step for Denaria
In the latest weekly recap, our co-founder @TizianoTridico announced something special.
Denaria has officially formalized its application for the @arbitrum Open House program.
This means Denaria is now entering a new phase: the Buildathon, the ecosystem track, and the road to London.
PS: A first internal testnet is already running on Arbitrum Sepolia.
We will share more in the coming weeks.
Denaria Rises.
How Denaria is using AI to improve the security of its stack
1. Giving AI models deep context about the protocol.
2. Running intensive invariant testing.
3. Using AI tools to generate tests around those invariants.
4. The final step will be the formal verification of the whole stack.
What’s happening behind the scenes at Denaria:
> We are fixing and improving the smart contracts
> Running a new AI-powered internal audit (article coming soon)
> Evaluating new partners for a new external audit
> Evaluating new deployment strategies for the perp
It’s building mode and soon we will be able to share more with our community.
Denaria Update — Current State of the Work
A lot is happening behind the scenes as we move through the security rebuild phase.
On the technical side:
• The smart contract fix for the vulnerability behind the exploit is almost complete.
• New security processes are being executed to improve the overall resilience of the system. This includes invariant mapping, formal verification research, AI-assisted security reviews, and more.
• We are also in contact with external partners for additional smart contract reviews and auditing. This is a key step before any redeployment of the contracts.
On the growth and communication side:
• New articles will be shared soon to explain in detail the security and R&D work currently happening behind the scenes.
• Chats with potential partners are ongoing, especially around future growth, chain distribution, and ecosystem expansion.
The focus right now is simple: fix deeply, verify properly, and bring Denaria back with stronger foundations.