Enhancing On-Chain Financial Security: Joint Proof of Concept for DeFi Protocol 'Security Resilience Checks' Using AI Agents

Allied Architects, Inc. is launching a Proof of Concept (PoC) in partnership with the Nyx Foundation to verify the security resilience of DeFi (Decentralized Finance) protocols using AI agents.

As the on-chain finance market expands, ensuring safety is a critical issue. This PoC will utilize the 'SPECA' (Specification-to-Checklist Agentic Auditing) AI bug detection system and formal verification agents to conduct security evaluations covering everything from code logic to operations and governance. The goal is to establish an objective and accountable assessment method that enables publicly traded companies and institutional investors to enter the market with confidence.

[Background] The total value locked (TVL) in DeFi and the market cap of stablecoins are growing rapidly, with traditional capital flowing into the on-chain ecosystem. However, code-centric verification is insufficient, as operational and configuration-based risks remain a significant challenge. For instance, the approximately $290 million exploit on LayerZero in April 2026 stemmed from configuration and operational errors, not code defects.

[Structural Challenges] Traditional audits face the following issues: - Often ad-hoc and subjective, making it difficult to guarantee quality across versions. - Limited to evaluating protocols in isolation, failing to assess cross-protocol trading reality. - Lack of quantification of maximum losses and accountability.

[Overview of the PoC] This PoC will demonstrate the effectiveness of new approaches regarding 'predictability' (quantification of maximum losses) and 'accountability' (verifiable assessment basis). Selected representative DeFi protocols will be evaluated.