NewsCryptoDeFi Projects Turn to Audits, Formal Verification and Continuous Controls to Build Trust

DeFi Projects Turn to Audits, Formal Verification and Continuous Controls to Build Trust

Author: Blocktelegraph·

Key Takeaways

  • •Euler lost approximately $197 million in a March 2023 exploit caused by a missing account-health check in an audited patch, prompting a V2 rebuild backed by more than $4 million in security work, including 29 audits from 12 firms and a $1.25 million public competition with over 600 researchers.
  • •Uniswap V4 launched on January 31, 2025 after nine independent audits across six firms, a $2.35 million security competition involving more than 500 researchers, and an ongoing bug bounty offering up to $15.5 million for critical vulnerabilities.
  • •Aave V3 pairs audits by multiple independent firms, including Trail of Bits, SigmaPrime and ABDK, with formal verification and a continuous Immunefi bug bounty paying as much as $250,000.
  • •Morpho reduces the amount of code that must be secured, with Morpho Blue's immutable core lending contract containing roughly 650 lines of Solidity, while Morpho Midnight was designed around approximately 1,100 lines and is covered by a documented $2.5 million bug bounty program.
  • •Experts emphasize that audits demonstrate accountability rather than guarantee safety, and that lasting trust rests on published audit histories, evidence that findings were addressed, bounties scaled to the value at risk, and collateral and oracle listings treated as security decisions.
DeFi Projects Turn to Audits, Formal Verification and Continuous Controls to Build Trust

Security is becoming a defining test for decentralized finance (DeFi) projects as protocols face growing risks and closer scrutiny. Industry experts say independent audits, formal verification, real-time controls, transparent governance and responsible vulnerability disclosure can help protect user funds and demonstrate accountability.

The examples discussed below also illustrate why identifying and disclosing weaknesses early can build more durable trust than promising perfect security. Because blockchain transactions are generally irreversible, security must extend beyond a pre-launch audit and remain part of a protocol’s development and operational lifecycle. The figures cited across these examples — from nine-figure exploit losses to million-dollar audit competitions and bounty ceilings — indicate how much value now rides on the reliability of this code.

Aave V3 Makes Security Foundational

Aave, particularly its V3 protocol, is cited as an example of a project that has made security part of its development process. Aave V3 underwent audits by multiple independent firms, including Trail of Bits, SigmaPrime and ABDK, before deployment. The protocol also operates a continuous bug bounty program through Immunefi, with payouts of up to $250,000.

A further measure is formal verification of its smart contracts. Formal verification uses mathematical proofs to test whether code behaves as specified, going beyond conventional code review.

“From my perspective as a software engineer who builds data pipelines and has developed open-source security auditing tools (promptfirewall, ai-project-audit), I see a direct parallel with how we handle data integrity in enterprise systems,” said Timur Rakhmatullin, senior software engineer at Softline Solutions. “At Softline Solutions, where I work on data platforms serving 1,500+ client accounts, we apply the same principle: trust nothing, verify everything, and make verification automated and continuous rather than a one-time checkbox.”

Rakhmatullin said this approach is particularly important because DeFi does not have the same safety net as traditional financial intermediaries. When a bank makes an error, customers may have access to a claims process. When a smart contract contains a vulnerability, funds may disappear permanently. The irreversibility of blockchain transactions can therefore affect both users and a project’s credibility.

In his view, projects that remain viable over the long term will treat security as ongoing infrastructure rather than as a pre-launch formality. He said a combination of multiple independent audits, formal verification, continuous bug bounties and transparent disclosure indicates a genuine commitment rather than “security theater.”

Morpho Reduces Its Attack Surface

Ace Zhuo, CEO and sales and marketing executive at TradingFXVPS, pointed to Morpho as an example of a protocol designed to reduce the amount of code that must be secured. Morpho Blue’s core lending contract contains about 650 lines of Solidity code and is immutable after deployment. It has been reviewed by several independent audit firms, formally verified and opened to public audit competitions in which researchers are paid to identify weaknesses.

“What is impressive to me is that Morpho have attempted to shrink the attack surface prior to audit,” Zhuo said. He contrasted that approach with 20,000 lines of upgradeable code controlled by a multisignature arrangement that can change the rules, which he argued cannot be audited to safety in the same way.

Zhuo said many DeFi teams treat audits as badges. They obtain a report and display the auditor’s name on their website, but later failures can occur in code written after the review, in an administrative key that has not been rotated or in an unaudited oracle that returns inaccurate values during periods of high volatility.

He said the recurring causes of DeFi hacks include bad price feeds, compromised keys and unaudited smart-contract upgrades. In his view, trust can be earned by writing less code, limiting the number of people who can change that code and continuing to test against adversarial scenarios after deployment.

“Users can’t read Solidity, but they can read a team’s code and tell whether or not said team treats 1 bug == entire treasury with the seriousness it deserves,” Zhuo said. “When money moves at the speed of machines, there’s no rollback and no support ticket to troubleshoot issues with. What matters is product = security.”

Morpho Midnight Builds Defenses Early

Brett Smith, founder and CEO of 7aSavvy, also highlighted Morpho, particularly its newer Morpho Midnight lending protocol. He said the protocol emphasizes independent smart-contract audits, formal verification and public security reviews. Morpho Midnight has undergone assessments by Spearbit, Trust Security and Blackthorn, as well as a public audit competition.

Smith said the significance of the approach is that security is incorporated into development from the beginning rather than treated as a final checklist. DeFi platforms manage real financial assets through automated smart contracts, so a single vulnerability can put user funds at risk.

Publishing audit results, encouraging independent testing and maintaining bug bounty programs can give users more visibility into how risks are managed, Smith said. He also stressed that an audit does not guarantee complete security. Instead, it demonstrates accountability, while trust develops through consistent evidence that security is taken seriously.

Audit Results Matter Only When Teams Act on Them

Cache Merrill, founder of Zibtek, said his company’s work auditing DeFi platforms for Wantoo has shown that an audit is valuable only if a project responds to the findings.

A smart-contract flaw can put real funds at risk, and users may have little recourse once a transaction is completed. Merrill said he would not assess an emerging project by its audit badge alone. He would examine who conducted the audit, whether the findings were addressed and whether the team disclosed its remaining risks.

Security reviews must also continue when contracts change or new features are added. An audit of an earlier version does not automatically cover subsequent code. For users, evidence of how a team tests its code, responds to vulnerabilities and takes responsibility for fixes is more meaningful than a general claim that a platform is secure.

Showing Risks Before Upsides

Larry Jones, founder and host of STOCK UP! with Larry Jones, said he could not recommend a specific DeFi project or identify one worth watching. He runs a stock-market and investing-education channel rather than a blockchain research operation and said he would not direct readers toward a particular token or platform.

Jones said the broader principle of explaining security risks before discussing potential benefits applies directly to financial education. In his experience teaching beginners about options, credibility is built by showing people where they can be hurt before discussing what a product might do for them.

“The projects and the educators that last are the ones willing to slow down and say ‘here’s what can go wrong’ before they ever get to ‘here’s what this could do for you,’” Jones said. He compared a properly conducted audit with that same principle expressed in code: a project identifies where weaknesses may exist rather than concealing them.

Jones said financial audiences have been exposed to enough promotional claims to recognize unsupported assurances. In his view, showing the downside first is not optional; it is the foundation on which trust is built.

Continuous Monitoring and Real-Time Controls

Ankit Sarawagi, curator at CFO Matrix, pointed to an emerging DeFi protocol whose security program centers on continuous monitoring, proactive identity and access management and continuous API observability.

Sarawagi said green checkmarks are only a starting point and that policies must be enforced in real time. By continuously testing configurations and identity boundaries, a team can detect anomalies and misconfigurations before they become incidents. This ongoing process can provide users and partners with evidence that controls continue to work as intended.

Euler V2 Responds to Exploit Lessons

Lizaveta Piaskova, PR manager at Innowise, cited Euler V2 as an example of a protocol rebuilt after an exploit. Euler launched in 2021, but V2 was effectively rebuilt from zero following a 2023 incident.

In March 2023, the original protocol lost approximately $197 million through a function introduced in an earlier patch that had itself been audited. The flaw was a missing account-health check on a donation path and became dangerous in combination with the liquidation logic. The review had focused on the change, but the change broke an invariant located elsewhere in the protocol.

For the V2 relaunch in 2024, the team committed more than $4 million to security work. That program included 29 audits from 12 firms, followed by a public competition with a $1.25 million prize pool. More than 600 researchers participated, and no high- or medium-severity issues were found. A bug bounty program went live with the launch.

The architecture was also changed. V2 divides the system into separate modules, allowing each review to cover a narrower surface and making changes within individual modules easier to assess.

Piaskova said the key difference between the two versions was not simply the number of auditors. V2 was designed so that review covered the entire system and continued after launch. A single audit examines one snapshot of code within a defined scope. Independent audits, a public competition and a standing bounty indicate that a protocol expects weaknesses to be found and is willing to pay researchers to identify them before attackers do.

The approach also has limits. In November 2025, an external fund manager overseeing Stream Finance’s money disclosed a loss of approximately $93 million, while roughly $285 million of exposure surfaced across lending protocols including Euler, Silo, Morpho and Gearbox. No Euler contract was exploited. The risk came through collateral that vault curators had chosen to accept.

For new teams, Piaskova said the lesson is to assess system boundaries as seriously as the code itself. That includes reviewing every upgrade against the full system, holding a public competition after paid audits, setting the bounty according to the value at risk and treating each collateral or oracle listing as a security decision.

Uniswap V4 Uses Independent Challenges

Uniswap V4 launched on January 31, 2025, after commissioning nine independent security audits of its core and supporting contracts across six established auditing organizations.

To identify issues that the initial reviews might have missed, the project also conducted a $2.35 million security competition involving more than 500 security researchers. It launched an ongoing bug bounty program offering rewards of up to $15.5 million for critical vulnerabilities.

Aaron Whittaker, an AI engineer and web-development professional at Thrive Internet Marketing Agency, said significant bounty rewards encourage independent researchers to investigate newly discovered weaknesses and report them responsibly. He said users want documented evidence that outside specialists examined the contracts rather than relying solely on marketing claims.

Uniswap reported no critical vulnerabilities in its security competition or bug bounty program before launch. Whittaker said staged deployment protocols are important both in enterprise software and on-chain systems. In his company’s Demand Gen DevOps workflows, tools supporting client operations undergo permission audits and integration testing before release.

While software defects in marketing tools may cause downtime, smart-contract vulnerabilities can result in irreversible financial losses, requiring stricter security standards in DeFi. Whittaker said published audit reports and continuing bug bounties give users security findings they can examine before committing funds.

Lean Code and Layered Testing

Omer Malik, CEO of ORM Systems, described security audits as an important trust signal because DeFi users place financial assets into systems governed by smart contracts. He also cited Morpho Midnight, whose security program includes independent code reviews, formal verification and continuous vulnerability testing.

The program has included reviews by Spearbit, Trust Security, Blackthorn and StErMi, alongside a public audit competition. Malik said this layered approach can identify weaknesses that a single assessment might miss.

He also highlighted Morpho’s effort to reduce technical complexity. Morpho Midnight was designed around approximately 1,100 lines of code, making its core system easier to examine and verify. Morpho documents a $2.5 million bug bounty program covering several of its protocols.

From an enterprise technology and risk-management perspective, Malik said he would evaluate a DeFi project using three criteria: independent audit reports, transparent vulnerability-disclosure procedures and evidence that identified issues have been resolved. An audit certificate alone is insufficient because vulnerabilities can emerge through upgrades, integrations or changes in operating conditions.

Publishing audit findings and maintaining continuous security testing can reduce uncertainty for investors, developers and users, Malik said. He added that even extensively audited protocols retain smart-contract, liquidity and operational risks.

Centrifuge Connects Security With Governance

Penny Sommerfeld, director at RecruitBlock, identified Centrifuge as an example of a DeFi business placing security and institutional standards at the center of its growth strategy. The company’s work connecting traditional asset management with decentralized finance is supported by independent security audits, formal verification and ongoing protocol reviews.

Sommerfeld said institutional participation requires more than strong technology. Companies also need experienced leadership across finance, risk, compliance and governance, along with the ability to meet the standards expected by institutional partners.

Audits provide technical assurance, but lasting trust also depends on accountability, effective controls and the quality of the people overseeing them. In her view, businesses that invest in both security and experienced leadership will be better positioned to develop sustainable institutional relationships.

Kamino Finance Uses Ongoing Safeguards

Cédric Rose, founder and property manager at Management 305, said his more than 14 years of managing high-stakes operations and integrated management platforms have led him to assess technology ecosystems through proactive risk management.

He cited Kamino Finance as an emerging DeFi example that places strict audit procedures and real-time risk monitoring at the center of its automated vaults. According to Rose, the project continuously subjects its smart contracts to independent third-party audits and maintains active bug bounty programs before scaling liquidity.

Rose compared the approach with the preventive maintenance and vendor vetting used to protect high-value physical assets. He said transparent oversight can replace uncertainty with verifiable reliability, allowing users to see that active safeguards are being maintained around their capital.

Formal Verification and Long-Term Credibility

Sudhanshu Dubey, delivery manager and enterprise solutions architect at Errna, said security audits connect blockchain’s transparency with the practical need for financial safety. Drawing on two decades of experience designing enterprise-grade distributed systems, Dubey said the idea that “code is law” becomes a liability rather than a benefit unless code is tested rigorously and adversarially.

In his view, DeFi projects that gain long-term trust will treat security as an ongoing architectural requirement rather than a one-time obligation. He identified formal verification and continuous security processes as distinguishing features of projects seeking to demonstrate long-term viability.

Rather than relying on a single audit snapshot, formal verification uses mathematical proofs to assess whether smart contracts will behave properly under specified conditions. Dubey said highly trusted protocols proactively publish their complete audit history, including critical and high-severity findings from initial reviews. That level of disclosure indicates that a team is focused on correcting defects rather than obtaining a marketing badge.

The issue is especially relevant to real-world-asset (RWA) and institutional DeFi projects because traditional capital and compliance requirements may be involved. Dubey said decentralized systems have no undo function: a vulnerability in a liquidity pool or cross-chain bridge can allow funds to be stolen before a team develops a response.

He added that projects should not simply claim they cannot be hacked. They should demonstrate the ability to respond intelligently when vulnerabilities appear. In his view, enterprise-grade participation requires audits by multiple companies and an effective bug bounty program. For readers evaluating any protocol, the recurring signals across these examples are concrete: published audit histories, evidence that findings were addressed, bounties scaled to the value at risk, and collateral and oracle listings treated as security decisions in their own right.