What Cerify Auditing Solutions does

Cerify Auditing Solutions is a New Delhi-based AI cybersecurity startup building a verification engine for smart contracts deployed on public blockchains. Founded in 2025 and incubated at FITT (Foundation for Innovation and Technology Transfer) within IIT Delhi's Research and Innovation Park, the company applies neuro-symbolic AI — combining deterministic symbolic execution with ML-driven prioritization — to detect, localize, and remediate vulnerabilities in Solidity, Vyper, and Kotlin contracts. Its platform currently covers 14+ vulnerability classes (reentrancy, integer overflow/underflow, access control, unchecked external calls, and others) and includes modules for fault localization with causal reasoning, symbolic exploit generation, and AI-assisted automated patching, compressing audit cycles from weeks to hours.

The product is delivered as a self-serve SaaS platform (account signup, contract upload, or fetch-by-address analysis) with a parallel enterprise sales motion via "Partner With Us" and "Request Early Access" contact routes. Pricing is quote-based and not publicly disclosed; the Early Access posture indicates pre-commercial or limited commercialization rather than scaled recurring revenue. Target customer segments are DeFi protocols requiring continuous monitoring, enterprises needing compliance-ready blockchain assurance, and developer/startup teams building on-chain. Cerify cites 100+ users worldwide and one named reference customer (DropD Network). The roadmap adds an enterprise security dashboard and regulatory compliance mapping (MiCA, FIT21, RBI Sandbox) for Q4 2025, plus a future Specification-to-Contract capability that would extend into natural-language-to-code generation.

The company is privately held by its four co-founders (Subodh Sharma, Deipak HN Turki, Dr. Nilam Kaushik, Debashish Sakunia) with no disclosed external funding, parent company, M&A activity, or institutional investors in the input data. Ownership structure, cap table, and revenue figures are not publicly disclosed, representing material data gaps for diligence.

Name

Cerify Auditing Solutions

Legal name

Cerify Auditing Solutions

Website

https://cerify.ai

Company type

Private

Founded year

2025

Operating status

Operating

Headcount range

11–50 employees

Short description

Cerify Auditing Solutions is a New Delhi-based AI cybersecurity startup building a neuro-symbolic verification engine that detects, localizes, and patches smart contract vulnerabilities for DeFi protocols, enterprises, and Web3 builders.

Ownership category

akta.pro rank

Product category

Smart Contract Security & Verification Software

NAICS

Software Publishers (513210)

SIC

Services-Prepackaged Software (7372)

akta.pro primary industry

Smart Contract Auditing & Formal Verification (FSAPAJAA)

akta.pro secondary industries

Smart Contract Security Tooling (static/dynamic analysis, formal verification) (FSAPABAI), Security Testing Tooling (SAST/DAST for smart contracts, fuzzing) (FSAPAJAK)

Keywords

• Smart contract auditing
• Formal verification
• Web3 security
• Vulnerability detection
• Neuro-symbolic AI

Headquarters

HQ city

New Delhi

HQ country

India

HQ region

Asia

Offices1 record

Markets served

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Infrastructure, Marketing or Sales, Operations

Revenue model

1. SaaS Platform Access: Cloud-based smart contract analysis platform with account creation and authentication. Users can upload Solidity contract files or fetch verified source code by contract address for vulnerability analysis.

Go-to-market motion2 records

Distribution channels2 records

Marketing channels4 records

Core offering

Cerify provides an AI-powered smart contract verification engine that combines formal verification rigor with neuro-symbolic AI adaptability. The cloud-based platform allows users to upload Solidity/Vyper contract files or analyze verified source code by contract address, automatically detecting 14+ vulnerability classes, localizing faults to exact code lines, generating symbolic exploit traces, and producing AI-assisted secure patches. It reduces audit cycles from weeks to hours for DeFi protocols, enterprises, and Web3 builders.

Product overview

Cerify is a unified AI-powered smart contract verification platform built on neuro-symbolic AI architecture. The core Cerify engine combines formal verification principles with machine learning, integrating three core layers: (1) Parsing & Intermediate Representation for multi-language support, (2) Symbolic Execution & Constraint Solving for exhaustive path exploration, and (3) AI-Powered Fault Analysis for intelligent prioritization. The platform offers multiple specialized modules including Fault Detection Engine (14+ vulnerability classes), Exploit Generation (symbolic test case creation), Automated Repair/Patching (AI-assisted secure fixes), Fault Localization & Causal Reasoning (root cause pinpointing), and Specification-to-Contract (natural language to code translation, future capability). Cerify's platform targets DeFi protocols, enterprises, and builders/startups, cutting audit times from weeks to hours.

Differentiator

Problem solved

Functional benefit

Products and services

• Cerify AI-Powered Verification Engine Neuro-symbolic AI-powered smart contract verification platform that combines formal verification rigor with AI adaptability. Delivers line-by-line vulnerability detection across 14+ classes, fault localization with causal reasoning, symbolic exploit generation, and AI-assisted secure patch generation for DeFi protocols, enterprises, and Web3 builders/startups.

Quantifiable outcome

• Audit times reduced from weeks to hours
• +2 more outcomes

Named customers1 record

Segments3 records

Ideal customer profiles3 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

AI capability9 records

Feature8 records

Scale indicators3 records

Recent moves4 records

Expansion highlights5 records

Direct peers

• OpenZeppelin: Provides smart contract security audits plus Defender monitoring and remediation tooling. Overlaps Cerify's detect-to-repair platform and targets the same developer and enterprise customer base.
• Trail of Bits: Well-established smart contract security firm combining manual audits with automated tooling (Slither, Echidna, Manticore). Competes head-to-head with Cerify for DeFi and enterprise Web3 audit engagements.
• Runtime Verification: Formal verification company building tools (including symbolic execution engines) for smart contracts and mission-critical software. Closely aligned with Cerify's academic/formal-verification heritage and use of SMT solvers.
• Certora: Direct competitor offering formal verification tooling for smart contracts (Certora Prover). Targets the same DeFi protocols and security-conscious developers with mathematical verification and is the closest analog to Cerify's formal-verification-first positioning.

Broad incumbents

• ChainSecurity (PwC): Formal verification-based smart contract auditing firm acquired by PwC, now embedded in a Big Four assurance practice. Competes for the same high-ACV enterprise and protocol audits with brand and regulatory credibility Cerify lacks.
• CertiK: Largest Web3 security firm with formal verification heritage (Yale founders) plus audits, bug bounties, and Skynet monitoring. A scaled incumbent competing across nearly every segment Cerify targets.
• Quantstamp: Established smart contract security company offering manual audits and automated EVM scanning services. Competes broadly with Cerify's continuous monitoring and vulnerability detection capabilities.
• Consensys Diligence: Smart contract audit arm of Consensys (MetaMask parent), offering MythX automated analysis alongside manual audits. Overlaps Cerify's automated analysis plus advisory positioning for Ethereum-native teams.

Regional players

• SlowMist: Asia-based blockchain security firm offering smart contract audits and on-chain threat monitoring. Comparable in offering and a regional competitor whose Asian footprint overlaps with Cerify's primary market.

Emerging players

• Hacken: Web3 cybersecurity firm providing smart contract audits, bug bounties, and ongoing monitoring via the Hacken Extractor platform. Comparable emerging competitor with PLG-style monitoring services similar to Cerify's roadmap.

Market position

Strengths4 records

Weaknesses4 records

Competitive moat4 records

Key risks6 records

Key highlights7 records

Customer concentration

• LinkedInlinkedin.com/company/cerifyai
• Xx.com/CerifyAI

Revenue estimate

Valuation estimate

Number of profiles

Profiles4 records

Funding overview

Funding rounds1 record

Investors1 record

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Cerify Auditing Solutions