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.
Per chi ha depositato i propri token ethereum:0x1789e0043623282d5dcc7f213d703c6d8bafbb04 nel vault di @StatusL2 è ora attivo il checker per le rewards.
Maggiore è il numero di token @LineaBuild che abbiamo depositato e maggiori saranno le rewards.
Link per il check nel primo commento👇
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.
Denaria’s comeback is happening in 3 steps:
> Protect users (completed) → affected traders have already been fully refunded.
> Rebuild security (currently underway) → smart contract fixes, audits, and additional security layers.
> Mainnet relaunch (next) → after the audits, Denaria’s trading front ends will go back online.
The path forward.
Here are the next steps: what is being built right now, the focus on security, and how Denaria will return stronger.
Read the full roadmap 👇
Denaria Weekly Update
1. TL;DR This week was all about damage control, accountability, and charting the path forward.
> Quick wins: The initial hit has been absorbed. Relentless repair work and protocol refactoring have already kicked off without missing a beat.
> Challenges: The codebase is down for a deep refactor. Trading is paused.
> What’s next: Execution of Phase 2 of the Recovery Roadmap: Extreme Security & Architectural Upgrades.
2. Highlights (Control & Transparency)
> Retail Protected: 100% of affected retail user positions have been refunded. Not a single retail user lost a cent.
> Recovery Roadmap Drafted: A strict 3-Phase Recovery Plan has been mapped internally (Triage -> Architectural Upgrades -> Mainnet Relaunch). Full public release coming soon.
> Security Syncs: Deep-dive post-mortem calls were held with external auditors and the Linea security team to extract every possible lesson from the exploit.
> Assertions Engine: A collaboration with Phylax has been kicked off to organize a comprehensive invariant mapping and deploy robust on-chain assertions for the next release.
3. Lowlights (Owning the reality)
> Mainnet is halted: Trading interfaces are restricted during the rebuild phase.
> Shortened Runway: Absorbing the financial impact of the exploit and fully covering retail refunds has critically compressed the operational runway.
> The Attacker: The 48h white-hat deadline expired. The attacker routed funds to a mixer. Formal legal actions have been initiated, and active tracking of the funds is underway for enforcement.
4. Core Metrics (Crisis Mode)
Retail user losses: $0
Refund completion rate: 100%
Trading Volume: $0 (Paused)
5. This Week’s Focus (The Rebuild)
→ Code Refactoring: Patching the core contracts, rewriting test suites, and updating the dynAMM simulator and whitepaper.
→ Security Architecture Eval: Evaluating the introduction of circuit breakers and exploring the math behind a safe "Pause" mechanism (specifically handling Funding Fees during halts).
→ Formal Verification R&D: Testing Verity (verity.thomas.md) for potential mathematical proofs of the new codebase.
→ Audit Evaluation: Assessing options and planning the timeline for the next rigorous codebase audit.
6. Asks
Security Researchers: Advanced AI models (max reasoning) are being utilized for invariant mapping, but human eyes are essential. White-hats interested in the math behind perp DEXs are encouraged to reach out.
7. Shoutouts Massive credit to the @DenariaFinance core team for working around the clock this week. To Consensys Diligence, the Linea security team, and Phylax for their immediate support in post-mortem analysis. And most importantly, to the Denaria community for the patience and trust shown while the foundation is being rebuilt.
Denaria Weekly Update
This week tested Denaria, and me personally in the hard way, but the commitment to the community remains the absolute first priority.
Instead of my usual weekly recap, here is exactly how the recent security incident was handled:
> Immediate UIs block: The interfaces were halted to prevent further damage. The smart contracts could not be stopped.
> Investigation & Legal: Full on-chain tracking completed. After the attacker rejected the proposed white-hat bounty and used a mixer, the Foundation initiated formal legal action.
> 100% Refunded: The DeFi Foundation stepped in and fully reimbursed all affected users. Not a single user lost a cent. (Note: Only open positions were involved).
> Withdrawals Open: Infrastructure continuity was secured to ensure users can safely withdraw their assets with the mobile UI sponsoring the transactions. On the desktop with EOA, funds were always withdrawable.
> Full Transparency: A detailed technical post-mortem has been published (see below).
The DeFi Foundation absorbed the financial impact so users wouldn’t have to. The road ahead requires structural fixes and new audits, but the recovery work has already begun.
Thank you for the incredible support. Denaria will come back stronger.
Recap of our @ETHCC 2026 Edition
About perps
> We received a lot of interest from teams building funding rate strategies. This could make Denaria more efficient and increase the volumes.
> Perps keep being one of the best ways to onboard users into DeFi, especially TradFi and institutional players looking for 24/7 RWA trading.
> AI agents are interested in fully transparent, onchain projects, especially perps. Since we are fully onchain, we had conversations with different teams about this.
About DeFi
> @LineaBuild is ready for ETH native yield. This could boost both TVL and chain usage.
> Even if it is still under the radar, AMMs keep improving and pushing DeFi to new levels. Denaria is part of this progress thanks to dynAMM.
> DeFi is becoming more mobile-friendly every day, and this trend was confirmed by DeFi leaders such as @aave and @gnosis_.