Announced details
DeFi (decentralized finance), on-chain finance, smart contracts, and security assessment of operations, configurations and governance
The expected maximum loss is calculated as an expected loss based on the probability and amount of occurrence (specific figures: Not disclosed)
The parties are jointly conducting this proof-of-concept. Allied Architects is responsible for providing audit and governance expertise, sales, promotion and coordination with the target DeFi protocols, while Nyx Foundation is responsible for conducting the verification and preparing reports.
Location: Bunkyo-ku, Tokyo. A Japanese private research institute specializing in the Ethereum blockchain. Its areas of expertise are formal verification and security, and its activities are funded by donations, research grants and sponsorships.
The company is considering linking the results of this proof-of-concept to new business opportunities, but the specific impact on financial results is Not disclosed
The company does not address Contract Value / Offering price.
| Item | Details |
|---|---|
| Names of Products / Services Covered | AI bug-finding system, SPECA (Specification-to-Checklist Agentic Auditing), Formal verification agent, AI agent-based security resilience checks for DeFi protocols |
| Counterparty | Nyx Foundation, a general incorporated association |
| Counterparty overview | Location: Bunkyo-ku, Tokyo. A Japanese private research institute specializing in the Ethereum blockchain. Its areas of expertise are formal verification and security, and its activities are funded by donations, research grants and sponsorships. |
| Relationship with the Company | The parties are jointly conducting this proof-of-concept. Allied Architects is responsible for providing audit and governance expertise, sales, promotion and coordination with the target DeFi protocols, while Nyx Foundation is responsible for conducting the verification and preparing reports. |
| Launch date | 10 June 2026 (proof-of-concept commenced; actual) |
| Applicable area | DeFi (decentralized finance), on-chain finance, smart contracts, and security assessment of operations, configurations and governance |
| Quantitative Effects | The expected maximum loss is calculated as an expected loss based on the probability and amount of occurrence (specific figures: Not disclosed) |
| Impact on Business Performance | The company is considering linking the results of this proof-of-concept to new business opportunities, but the specific impact on financial results is Not disclosed |
Items this document does not state (10)
These are items the company does not state in this document. We do not leave them blank, nor fill them in from other sources or by inference.
The reasons the company gives
The company's own explanation, not something inferred from the numbers.The aim is to establish a method for evaluating security objectively and in an explainable manner, in anticipation of the expansion of on-chain finance and the entry of listed companies and institutional investors. The parties also cited the difficulty of identifying risks arising from operations and configurations through existing code-centric, person-dependent audits.