{"rewrite":{"id":"r_4c77251fd2d10b843475d13e","clusterId":"c_c26ee418820197204770282d","slug":"nyx-foundation-launches-nyx-enterprise-technical-support-program","model":"deepseek-v4-1-flash","headline":"Nyx Foundation Launches Nyx Enterprise Technical Support Program","summary":"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.","whyItMatters":"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.","webCardHtml":"\u003cp\u003eThe 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.\u003c/p\u003e","blueskyPost":"Nyx Foundation has launched Nyx Enterprise, a technical support program covering security audits and formal verification, migration to post-quantum cryptography, and market and risk design for onchain finance. It pitches verification as the hard part once AI writes the code.","twitterPost":"Nyx Foundation launches Nyx Enterprise: audits and formal verification, post-quantum cryptography migration, and onchain finance design. The pitch is that as AI cheapens code, continuously verifying correctness becomes the real constraint.","threadsPost":null,"newsletterBlurb":"Nyx Foundation launched Nyx Enterprise, a technical support program for enterprise software work. The scope covers security audits and formal verification, migration to post-quantum cryptography, and market and risk design for onchain finance. The foundation argues that as generative AI lowers the cost of writing code and specifications, checking correctness and safety grows harder to handle by human effort alone.","attributionJson":"[{\"source\":\"ASCII.jp\",\"url\":\"https://ascii.jp/elem/000/004/442/4442660/?rss\",\"title\":\"Nyx Foundation Launches Enterprise Technical Support Program \\\"Nyx Enterprise\\\"\"}]","lintFlagsJson":null,"lintHits":0,"costUsd":0,"inputTokens":4489,"outputTokens":571,"status":"published","repairAttempts":0,"nextRepairAt":null,"factsAttemptedAt":1791978730,"createdAt":"2026-10-14T11:46:57.000Z","publishedAt":"2026-10-14T11:51:06.000Z","updatedAt":"2026-10-14T11:51:06.000Z"},"cluster":{"id":"c_c26ee418820197204770282d","canonicalTitle":"Nyx Foundation、企業向け技術支援プログラム「Nyx Enterprise」を始動","representativeArticleId":"a_3376bddd4fe0ed559b9ad37b","sourceCount":1,"writtenSourceCount":1,"writeAttempts":0,"isSolo":true,"entitiesJson":"{\"anime_titles\":[],\"manga_titles\":[],\"work_titles\":[\"Nyx Enterprise\"],\"studios\":[\"Nyx Foundation\"],\"people\":[],\"type\":\"business\",\"domain\":\"industry\",\"is_roundup\":false}","contentType":"news","status":"published","firstSeenAt":"2026-10-14T09:35:50.000Z","lastSeenAt":"2026-10-14T09:35:50.000Z","updatedAt":"2026-10-14T11:51:06.000Z"},"attribution":[{"source":"ASCII.jp","url":"https://ascii.jp/elem/000/004/442/4442660/?rss","title":"Nyx Foundation、企業向け技術支援プログラム「Nyx Enterprise」を始動"}],"entities":{"anime_titles":[],"manga_titles":[],"work_titles":["Nyx Enterprise"],"studios":["Nyx Foundation"],"people":[],"type":"business","domain":"industry","is_roundup":false},"keyFacts":null}