zksecurity
zkSecurity provides audits, cryptographic development, research, formal verification, and AI-assisted continuous security tools for blockchain and cryptocurrency protocol teams building zero-knowledge and other advanced cryptographic systems globally with high-assurance requirements.
- Company typePrivate
- Founded2023
- HeadquartersNew York, United States
- Headcount11–50
- GTM typeB2B
- OfferingServices
What zksecurity does
zkSecurity is a private, New York-based cryptography security company founded in 2023 with 11-50 employees. It serves blockchain and cryptocurrency protocol teams by auditing zero-knowledge circuits, cryptographic protocols, and security-critical code and by supplying cryptographic development, research, and formal-verification work. Its stated technology scope includes zero-knowledge proofs, multi-party computation, fully homomorphic encryption, trusted execution environments, and post-quantum cryptography; it cites more than 100 published audit reports and a customer base concentrated in protocol, L2, zkVM, privacy-chain, and blockchain-infrastructure organizations.\n\nThe business model combines quote-based professional services with product-led security automation. Security audits and production-grade development are sold through direct enterprise engagement, while zkao provides self-serve, pay-as-you-go continuous analysis of cryptographic code and drafts proof-of-concept exploits. zkSecurity also distributes open-source and educational assets, including the clean Lean 4 zkEVM, ZK Bug Tracker, MPC Security Hub, and tutorials covering PLONK, Sumcheck, and Halo2. Public pricing, revenue, funding, and contract-value data are not available.
zksecurity firmographics
Firmographics- Name
- zksecurity
- Website
- https://zksecurity.xyz
- Company type
- Private
- Founded year
- 2023
- Operating status
- Operating
- Headcount range
- 11–50 employees
- Short description
- zkSecurity provides audits, cryptographic development, research, formal verification, and AI-assisted continuous security tools for blockchain and cryptocurrency protocol teams building zero-knowledge and other advanced cryptographic systems globally with high-assurance requirements.
- Ownership category
- akta.pro rank
zksecurity industry classification
Industry- Product category
- Cryptographic Security Services
- akta.pro primary industry
- Security Testing Tooling (SAST/DAST for smart contracts, fuzzing) (FSAPAJAK)
Keywords
Where zksecurity is headquartered
LocationHeadquarters
- HQ city
- New York
- HQ country
- United States
- HQ region
- North America
Markets served
zksecurity business model
Business model- GTM type
- B2B
- Offering type
- Services
- Cost components
- Personnel, Technology or R&D, Operations, Marketing or Sales
Revenue model
- Security Audits: Best-effort security assessments for ZK circuits, cryptographic protocols, and security-critical code. Core revenue stream for the company.
- Development Services: Production-grade cryptographic implementations including proof systems and protocol libraries for clients.
- zkao Continuous Security: AI-powered continuous security scanning tool for cryptography code, offered as pay-as-you-go model.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Other | Multi-year contract | Enterprise Security Audits |
Go-to-market motion2 records
Distribution channels2 records
Marketing channels5 records
zksecurity product offering
Product offeringCore offering
zkSecurity is a cryptographic security firm that conducts security audits of zero-knowledge (ZK) circuits and cryptographic protocols, develops production-grade cryptographic implementations, publishes research on advanced cryptographic systems, and provides zkao, an AI-powered continuous vulnerability-scanning platform for cryptography code. Its work spans zero-knowledge proofs, multi-party computation, fully homomorphic encryption, trusted execution environments, and post-quantum cryptography, with formal verification delivered through its Lean 4-based 'clean' zkEVM framework.
Product overview
zkSecurity is a cryptographic security firm offering a portfolio of security auditing services, research, and AI-powered tools for advanced cryptographic systems. The core offering combines traditional security audits for ZK circuits and cryptographic protocols with zkao, an AI-powered continuous vulnerability scanning platform. Educational resources include the PLONK Tutorial, Sumcheck Protocol Tutorial, Halo2 Course (Halo Hero), ZK Bug Tracker, and MPC Security Hub. Development services provide production-grade cryptographic implementations via GitHub repositories. The clean project offers formal verification for zkEVMs in Lean 4.
Differentiator
Problem solved
Functional benefit
Brands
- zkao: AI agents that exhaustively hunt for vulnerabilities in cryptography code
- clean
- zk.skills
- ZK Bug Tracker
- MPC Security Hub
- zkNews
- PLONK Tutorial
- Sumcheck Protocol
- Halo Hero
Products and services
- zkao AI-powered continuous security scanning platform that autonomously hunts for vulnerabilities in cryptography code using AI agents that get smarter over time. Targets blockchain protocols and cryptography developers.
- Security Audits Best-effort security assessments for ZK circuits, cryptographic protocols, and security-critical code, identifying vulnerabilities before attackers can exploit them. Sold to enterprise blockchain protocol teams.
- Development Services
Quantifiable outcome
- Over 100 published audit reports
- +2 more outcomes
Companies that use zksecurity
Customer profileNamed customers17 records
Segments1 record
Ideal customer profiles2 records
zksecurity technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
AI capability4 records
Feature3 records
zksecurity partnerships and signals
Strategic signalPartnerships
One partnership is on record.
- ZircuitminorCollaboration between ZKSecurity and Zircuit development team to create the Halo Hero book - a comprehensive course on Halo2 development and PlonKish arithmetization for Rust developers.
Scale indicators2 records
Recent moves5 records
Expansion highlights6 records
zksecurity competitors and assessment
Company assessmentDirect peers
- Trail of Bits: Leading independent security firm that performs cryptographic and smart contract audits, including ZK systems. Directly comparable to zkSecurity in offering audits, research, and tooling for advanced crypto protocols, with a broader portfolio across non-crypto security as well.
- OpenZeppelin: Premier smart contract and protocol security firm offering audits, formal verification, and security tooling. Directly competes with zkSecurity for blockchain protocol audit engagements and shares the same enterprise sales motion to foundations and L1/L2 teams.
- Spearbit: Distributed network of senior security researchers offering audits for smart contracts and cryptographic protocols. Closely comparable to zkSecurity’s expert-led boutique audit model, with particular overlap on ZK and rollup engagements.
- ChainSecurity: Smart contract and cryptographic security firm (acquired by PwC) specializing in formal verification and audits for blockchain protocols. Direct overlap with zkSecurity on formal verification of ZK systems and protocol audit work.
- Cantina: Security platform combining expert audits with audit competitions for DeFi and ZK protocols. Competes with zkSecurity for the same protocol security budgets and has launched comparable productized offerings around continuous security.
- Least Authority: Boutique security firm focused on cryptographic and decentralized system audits. Closely comparable to zkSecurity in mission, size, and emphasis on rigorous cryptographic review for privacy-preserving and ZK projects.
- Sigma Prime: Independent blockchain security and research firm known for Ethereum 2.0 client audits and ZK/security research. Direct peer in providing deep cryptographic audits for foundation-tier and protocol clients.
- Veridise: Security firm specializing in audits and formal verification for blockchain and ZK systems. Highly comparable to zkSecurity’s positioning around formal verification, auditing, and tooling for ZK circuits.
Broad incumbents
- CertiK: Large, well-capitalized blockchain security firm offering audits, formal verification, monitoring, and SKALE scoring. While broader and less specialized in cutting-edge ZK than zkSecurity, it competes directly on enterprise protocol audit deals.
- Nethermind Security: Ethereum engineering firm with a dedicated security audit arm serving L1/L2 and ZK protocol clients. Overlaps with zkSecurity on ZK rollup and protocol audits, though it operates a broader engineering and infrastructure portfolio.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat4 records
Key risks5 records
Key highlights6 records
Customer concentration
zksecurity social profiles
Digital presencezksecurity financial estimates
Financial estimateRevenue estimate
Valuation estimate
zksecurity leadership team
Management profileNumber of profiles
zksecurity funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
zksecurity M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about zksecurity
What does zksecurity do?
zkSecurity is a cryptographic security firm that conducts security audits of zero-knowledge (ZK) circuits and cryptographic protocols, develops production-grade cryptographic implementations, publishes research on advanced cryptographic systems, and provides zkao, an AI-powered continuous vulnerability-scanning platform for cryptography code. Its work spans zero-knowledge proofs, multi-party computation, fully homomorphic encryption, trusted execution environments, and post-quantum cryptography, with formal verification delivered through its Lean 4-based 'clean' zkEVM framework.
Is zksecurity a public or private company?
zksecurity is a private company. It is classified as founder individual operated bootstrapped and is currently operating.
When was zksecurity founded?
zksecurity was founded in 2023. It employs 11 to 50 people.
Where is zksecurity based?
zksecurity is headquartered in New York, United States, in the North America region.
How does zksecurity make money?
Three revenue lines are on record. Security Audits are the primary driver. The others are development Services and zkao Continuous Security.
Who are zksecurity's main competitors?
Direct peers on record are Trail of Bits, OpenZeppelin, Spearbit, ChainSecurity, Cantina, Least Authority, Sigma Prime and Veridise. Broad incumbents are CertiK and Nethermind Security.
Does zksecurity have an API?
No public API is recorded for zksecurity.
What industry is zksecurity in?
zksecurity's product category is Cryptographic Security Services. Its primary akta.pro industry code is FSAPAJAK, Security Testing Tooling (SAST/DAST for smart contracts, fuzzing).