The output is not a list of potential vulnerabilities, ranked by confidence. It is a proof. A mathematical assertion about the code’s behavior, or its failure. This is the core interaction of Cerify, an early-stage project incubated at IIT Delhi that is trying to turn the slow, expensive, and often subjective process of smart contract auditing into an automated, provable computation.
The wedge of mathematical proof
Cerify’s pitch rests on a technical distinction. Traditional security audits rely on human experts manually reviewing code and running automated scanners. Cerify combines formal verification, a mathematical discipline for proving software correctness, with what it calls neuro-symbolic AI. The goal is to generate audits that are not just reports, but mathematical proofs about the contract’s behavior [An AI-Powered Engine for Trustworthy Smart Contracts, 2026]. The promise is speed and a higher standard of rigor, moving from heuristic checking to formal assurance [PERPLEXITY SONAR PRO BRIEF].
An inaugural bet from India’s deep tech push
In April 2026, the project secured a pre-seed round of $200,000 led by Aroa Venture Partners [India Deep Tech Accelerator Launched for IIT Startups, 2026]. Cerify is incubated at FITT, IIT Delhi’s technology transfer foundation [Cerify]. The team appears anchored by Subodh Sharma, who has a background in formal methods research [Subodh Sharma - Cerify | LinkedIn, 2026].
The competitive landscape and the execution gap
Cerify enters a field with established, well-funded players like CertiK and Certora.
- Technical differentiation. Cerify’s claimed blend of formal verification and neuro-symbolic AI is its unique selling proposition.
- Commercial obscurity. As an early project, there is no public record of customer deployments, pricing, or live contract volume.
- Market timing. High-profile smart contract exploits continue to drain millions from DeFi protocols, intensifying demand for more reliable security.
The project’s current status is that of a prototype with credible backing. It has an API listed on developer platforms like MCP Market [Cerify - Smart Contract Verification Platform MCP Server, 2026]. The next twelve months will be about moving from that descriptor to a demonstrable service with named users.
Cerify’s ambition points to a deeper cultural shift in software. It is not just selling a better audit, but advocating for a different kind of trust. The product implicitly asks: in a world of automated, high-stakes financial logic, should our final reassurance be a human consultant’s signature, or a machine’s unforgiving mathematical proof?