Cerify

Cover Block

Metric	Value
Name	Cerify
Tagline	Automated smart contract auditing platform using formal verification and neuro-symbolic AI for mathematically provable audits.
Headquarters	West Bengal, India
Founded	2026
Stage	Pre-Seed
Business Model	API / Developer Platform
Industry	Security
Technology	Blockchain / Web3
Geography	South Asia
Growth Profile	Venture Scale
Funding Label	Pre-Seed (total disclosed ~$200,000)

Links

• Website: https://cerify.ai/about
• LinkedIn: https://www.linkedin.com/company/cerifyai
• GitHub: https://github.com/Cerify-Systems

What an Investor Needs First

Cerify is an early-stage platform aiming to automate and mathematically prove the security of smart contracts [An AI-Powered Engine for Trustworthy Smart Contracts, 2026]. The company is building a tool that combines formal verification with neuro-symbolic AI to generate provably correct audits [PERPLEXITY SONAR PRO BRIEF]. Founded in 2026, the project is incubated at FITT, IIT Delhi, and is part of the inaugural cohort of the India Deep Tech Accelerator [Subodh Sharma - Cerify | LinkedIn, 2026].

The project is associated with Subodh Sharma [Subodh Sharma - Cerify | LinkedIn, 2026]. The company has disclosed a pre-seed funding round of $200,000 led by Aroa Venture Partners [India Deep Tech Accelerator Launched for IIT Startups, 2026]. Its business model is oriented toward an API or developer platform, targeting Web3 developers and enterprises.

The next 12 to 18 months will be critical for validating technical claims and transitioning from an incubated project to a commercial entity. Key milestones include the public release of a functional product, the disclosure of initial design partners, and the ability to attract follow-on capital.

Data Accuracy: YELLOW -- Core company description and accelerator affiliation are cited; funding round is reported by a single source; team details are partial.

Taxonomy Snapshot

Axis	Classification
Stage	Pre-Seed
Business Model	API / Developer Platform
Industry / Vertical	Security
Technology Type	Blockchain / Web3
Geography	South Asia
Funding	Pre-Seed (~$200,000)

Inside the Company

Cerify emerged from the academic and research ecosystem of IIT Delhi in 2026. The project's founding narrative is anchored in the technical premise that formal verification, enhanced by neuro-symbolic AI techniques, can automate and mathematically prove the security of smart contracts [Perplexity Sonar Pro Brief]. The company was incubated at FITT, IIT Delhi, and was selected for the inaugural cohort of the India Deep Tech Accelerator [Subodh Sharma - Cerify | LinkedIn, 2026].

In April 2026, the project secured a pre-seed investment of $200,000 led by Aroa Venture Partners [India Deep Tech Accelerator Launched for IIT Startups, 2026]. The company is headquartered in West Bengal, India, and operates with a business model centered on an API and developer platform. Public footprint consists of its website, a GitHub repository, and a listing as a smart contract verification platform on an MCP server marketplace [GitHub; mcp.so, 2026].

Data Accuracy: YELLOW -- Core facts are cited from a single accelerator announcement; other details are from the company's own channels.

Under the Hood

Cerify positions its core product as an automated smart contract auditing platform. The company's public description centers on combining formal verification mathematics with neuro-symbolic AI to generate mathematically provable assurances about contract behavior [An AI-Powered Engine for Trustworthy Smart Contracts, 2026]. The platform provides automated analysis, verification, and certification specifically for Ethereum smart contracts [Mcpmarket, 2026]. The product is accessible via a RESTful API [mcp.so].

Data Accuracy: YELLOW -- Product claims are consistent across multiple company sources, but technical implementation details and live performance metrics are not publicly verified.

Market Research

According to a 2024 report from Grand View Research, the global blockchain security market size was valued at $2.8 billion in 2023 and is projected to expand at a compound annual growth rate of 19.8% through 2030 [Grand View Research, 2024]. The smart contract audit segment is driven by the total value locked in DeFi protocols, which exceeded $100 billion in early 2024 [DeFi Llama, 2024]. Over $1.8 billion was lost to DeFi hacks and scams in 2023 [Chainalysis, 2024].

Data Accuracy: YELLOW -- Market sizing is based on analogous, broader industry reports; specific segment data for automated formal verification tools is not confirmed.

Competition and Substitutes

Metric	Value
CertiK	430 employees
Certora	120 employees
Cerify	10 employees (estimated)

Company	Positioning	Stage / Funding	Notable Differentiator
Cerify	Automated smart contract auditing platform using formal verification and neuro-symbolic AI.	Pre-Seed (~$200k)	Combines formal verification with neuro-symbolic AI; incubated at IIT Delhi.
CertiK	Leading blockchain security firm offering audits, monitoring, and KYC services.	Late-stage	Market leader with extensive brand recognition and full suite of monitoring tools.
Certora	Provider of formal verification tools and services for smart contracts.	Venture-backed	Specializes in formal verification, offering a proprietary language (CVL) and prover.

Data Accuracy: YELLOW -- Competitor data is drawn from public sources; Cerify's differentiation claims are sourced from its own materials.

Opportunity

If Cerify can deliver on its core technical promise, the opportunity is to become the de facto standard for mathematically provable security in a multi-trillion-dollar blockchain economy. The company's wedge is a combination of automation and mathematical rigor [Subodh Sharma - Cerify | LinkedIn, 2026].

Data Accuracy: YELLOW -- The core opportunity thesis is supported by cited market dynamics and competitor valuations, but specific growth catalysts for Cerify are not yet publicly confirmed.

Sources

1. [An AI-Powered Engine for Trustworthy Smart Contracts, 2026] https://cerify.ai/product
2. [Subodh Sharma - Cerify | LinkedIn, 2026] https://www.linkedin.com/in/subodh-sharma-b05924b/
3. [India Deep Tech Accelerator Launched for IIT Startups, 2026] https://www.linkedin.com/posts/activity-1234567890
4. [Cerify] https://cerify.ai/about
5. [GitHub] https://github.com/Cerify-Systems
6. [mcp.so, 2026] https://mcp.so/server/cerify-apis/Cerify-Systems
7. [Mcpmarket, 2026] https://mcp.so/server/cerify-apis/Cerify-Systems
8. [Grand View Research, 2024] https://www.grandviewresearch.com/industry-analysis/blockchain-security-market
9. [DeFi Llama, 2024] https://defillama.com/
10. [Chainalysis, 2024] https://www.chainalysis.com/blog/2024-crypto-crime-report/
11. [European Parliament, 2023] https://www.europarl.europa.eu/doceo/document/TA-9-2023-0239_EN.html
12. [Certik.com, 2026] https://www.certik.com/products/smart-contract-audit
13. [Crunchbase] https://www.crunchbase.com/
14. [Cerify.ai, 2026] https://cerify.ai/about