Nyx Foundation Launches Nyx Enterprise Technical Support Program
Nyx Enterprise sells verification rather than code, on the bet that AI-generated software makes continuous correctness checking the scarce part of enterprise development, starting with cryptography and onchain finance.
Reporting from 1 source: ASCII.jp.
Nyx Foundation has launched Nyx Enterprise, a technical support program for companies. It covers security audits and formal verification of critical software, migration to post-quantum cryptography, and market and risk design for onchain finance, with each engagement shaped to a company's own problems. The foundation frames the program around verification: as generative AI drives down the cost of writing code, it says checking correctness is harder to do by hand.
The program is organized around three areas: audits and formal verification, migration to post-quantum cryptography, and market and risk design for onchain finance. Audits run from identifying vulnerabilities and attack risks to setting countermeasure policy through design reviews and implementation audits, and cover existing systems as well as new builds. The foundation points to security audit contest results, audit work on cryptographic libraries and DeFi protocols, and Ethereum Foundation funded research on automating vulnerability discovery and remediation. It also offers formal verification based on mathematical models and specifications, and describes semantic and refinement auditing for the gaps between natural language requirements, formal specifications, and implementations. Lean Atlas and Atlas Prover are named as tools for re-verification when specifications change.
Synthesized by Yomimono from the 1 cited source below, including Japanese-language reporting where cited, then editorially reviewed before publishing.