Horizen Labs
Cryptographic engineering company building privacy and verification infrastructure for defense, government, financial institutions, and Web3 developers using zero-knowledge proofs and Trusted Execution Environments, with products including zkVerify, Horizen, Vela, and Kurier.
- Company typePrivate
- Founded2019
- HeadquartersAustin, United States
- Headcount51–100
- GTM typeB2B
- OfferingSoftware
What Horizen Labs does
Horizen Labs is a cryptographic engineering company founded in April 2019 and headquartered in the United States (New York), with additional offices in Milan, San Juan, and a Singapore presence. The company designs and operates privacy and verification infrastructure for high-stakes environments, combining zero-knowledge proofs (ZKP) with Trusted Execution Environments (TEE) to deliver confidential transactions, selective disclosure for regulatory compliance, and verifiable computation. Its core product portfolio includes zkVerify (a modular blockchain for ZK proof verification with reported 90% cost reduction versus on-chain Ethereum verification), Horizen (a regulatory-compliant privacy layer relaunched as a Layer 3 on Base), Vela (a TEE-based chain-agnostic confidential compute layer), Kurier (a REST API and relayer for ZK proof submission), and Horizen Defense (a defense/government-tailored offering). The company also publishes applied cryptographic research, including the Griffin and Monolith hash function families developed in collaboration with the Ethereum Foundation and Graz University of Technology, and operates an MCP-native AI Agent Registry where autonomous agents prove the correctness of their work via zero-knowledge proofs.
The company's go-to-market combines enterprise direct sales into defense, government, and institutional financial services (with phased engagements from Prototype Sprint to Production Delivery), self-serve API distribution via Kurier, and product-led growth for consumer-facing ZK applications (zkLottery, Zircle, Verified Camera SDK, ZK-Able, Multipass Sandbox). Revenue streams include professional services, usage-based API access, subscription/recurring protocol infrastructure, and dedicated quantum security consulting (including a 10-day Quantum Threat Assessment and CBOM scanning). Customer segments span defense and government, financial institutions (banks, exchanges, custodians), Web3 developers and protocols, and cryptography-centric startups, with named customers and partners including Yuga Labs (ApeCoin, ApeChain), Base, Animoca Brands, Offchain Labs, Phala, Fermah, and Darewise. The company is backed by Kenetic Capital, Digital Currency Group, Liberty City Ventures, LionTree, SOUND, and Deribit, and reports $10B+ in total value locked and 100M+ proofs verified across deployed systems.
Horizen Labs firmographics
Firmographics- Name
- Horizen Labs
- Legal name
- Horizen Labs, Inc.
- Website
- https://horizenlabs.io/
- Company type
- Private
- Founded year
- 2019
- Operating status
- Operating
- Headcount range
- 51–100 employees
- Short description
- Cryptographic engineering company building privacy and verification infrastructure for defense, government, financial institutions, and Web3 developers using zero-knowledge proofs and Trusted Execution Environments, with products including zkVerify, Horizen, Vela, and Kurier.
- Ownership category
- akta.pro rank
Horizen Labs industry classification
Industry- Product category
- Cryptographic Infrastructure
- NAICS
- Testing Laboratories and Services (54138)
- SIC
- Security & Commodity Brokers, Dealers, Exchanges & Services (6200), Services-Computer Programming Services (7371)
- akta.pro primary industry
- Confidential Computing & Hardware-backed Protection (TEE/HSM) (HDADAFAJ)
- akta.pro secondary industries
- Quantum-Safe PKI, Key Management & HSMs (HDAGAGAE), Key Management, Encryption & Secrets Management (KMS/HSM/Vault) (HDABAHAG), Regulatory Reporting, Tax & Audit Trails (reconciliation, provenance) (FSAPAJAI)
Keywords
Where Horizen Labs is headquartered
LocationHeadquarters
- HQ city
- Austin
- HQ country
- United States
- HQ region
- North America
Offices3 records
Markets served
Horizen Labs business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Personnel, Technology or R&D, Marketing or Sales, Infrastructure, Operations
Revenue model
- Professional Services: End-to-end cryptographic engineering services from architecture design through production deployment. Engagements structured in phases: Prototype Sprint, Pilot Build, and Production Delivery.
- Quantum Security Consulting: Quantum readiness assessment and migration planning services including Quantum Threat Assessment (10-day engagement) and CBOM scanning for enterprise clients.
- API Usage (Kurier): Usage-based API access for ZK proof verification through Kurier, with rate limits and throughput constraints. Custom service tiers available for enterprise clients.
- Protocol Infrastructure: Operating blockchain infrastructure (zkVerify, Horizen) with associated token economics and verification fees.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Subscription | Multi-year contract | Enterprise Consulting Engagements |
| Other | Multi-year contract | Quantum Threat Assessment |
| Usage-based | Pay-as-you-go | Kurier API Access |
Go-to-market motion3 records
Distribution channels4 records
Marketing channels6 records
Horizen Labs product offering
Product offeringCore offering
Horizen Labs is a cryptographic engineering company that builds privacy and verification infrastructure for high-stakes environments. It develops zero-knowledge proof (ZKP) and Trusted Execution Environment (TEE) based products including zkVerify (a universal ZK proof verification blockchain), Horizen (a regulatory-compliant privacy layer), Kurier (ZK proof verification APIs), and Vela (a confidential compute layer), alongside quantum security consulting and end-to-end professional services for defense, government, and institutional financial clients.
Product overview
Horizen Labs is a cryptographic engineering company offering a platform-plus-products architecture centered on privacy and verification infrastructure. The core portfolio includes: Horizen (regulatory-compliant privacy Layer 1), zkVerify (#1 universal ZK proof verification blockchain), Kurier (REST API for ZK proof submission), Vela (confidential compute layer using TEEs), and Horizen Defense (defense-sector privacy solutions). Supporting these are quantum security consulting services, an AI Agent Registry marketplace for ZK-verified autonomous agents, and multiple product features including zkLottery, Verified Camera, Zircle, ZK-Able, and Multipass Sandbox. The company also produces cryptographic research including the Monolith and Griffin hash function families optimized for ZK settings. Founded in 2019, backed by DCG, Kenetic Capital, and Liberty City Ventures, with operations in New York, Milan, and San Juan.
Differentiator
Problem solved
Functional benefit
Brands
- Horizen: A production-grade Layer 1 protocol with privacy-preserving features, a large validator network, and a proven multi-year mainnet track record. Foundation for Horizen Labs' developer ecosystem.
- zkVerify
- Kurier
- Vela
Products and services
- zkVerify A modular blockchain dedicated to zero-knowledge proof verification. Reduces verification costs by up to 90% compared to on-chain Ethereum verification. Supports Groth16, Fflonk, Risc0, and other proof systems.
- Horizen A regulatory-compliant privacy layer enabling confidential transactions and workflows on public rails with selective disclosure for compliance and oversight. Production-grade Layer 1 protocol with privacy-preserving features and a large validator network.
- Vela A chain-agnostic confidential compute layer and coprocessor utilizing Trusted Execution Environments (TEEs) to execute computations securely inside hardware-isolated enclaves with an operator-blind design.
- Kurier
Quantifiable outcome
- 90% cost savings on ZK proof verification vs on-chain Ethereum verification
- +4 more outcomes
Companies that use Horizen Labs
Customer profileNamed customers7 records
Segments5 records
Ideal customer profiles4 records
Horizen Labs technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- Yes
- API docs
- API detail
Core technology
AI maturity
App detail
Integration3 records
AI capability7 records
Feature7 records
Horizen Labs partnerships and signals
Strategic signalPartnerships
Three partnerships are on record, tiered core.
- OraclizercorePartnership to advance regulatory compliance standards for tokenized assets. Joint work includes the release of draft EIP-RCP, an informational framework for cross-chain, cross-jurisdiction compliance.
- Ethereum FoundationcoreCollaborated on Griffin hash function research - a result of collaboration between Horizen Labs and various universities and companies including Ethereum Foundation.
- Graz University of TechnologycoreAcademic research collaboration on ZK hash functions (Griffin, Monolith). Contributed to cryptographic research publications including Griffin paper (IACR ePrint 2022/403) and Monolith paper (IACR ePrint 2023/1025).
Scale indicators8 records
Recent moves8 records
Expansion highlights6 records
Horizen Labs competitors and assessment
Company assessmentDirect peers
- Polygon Labs: Polygon operates zkEVM, Polygon Miden, and other ZK scaling systems with native proof verification. It competes with zkVerify for protocol-level verification workloads and with Horizen's privacy stack for L2 deployments.
- RISC Zero: RISC Zero provides a general-purpose ZK proof system (Risc0) that is explicitly listed as supported by Horizen Labs' zkVerify. Both target verifiable compute and ZK proof verification with overlapping developer ecosystems.
- Aztec Network: Aztec builds a ZK-rollup with privacy-preserving smart contracts and a programmable privacy layer. It is the closest analog to Horizen's combination of a privacy L1/L2 plus ZK proof verification, competing for the same developer mindshare.
- Phala Network: Phala builds TEE-based confidential compute infrastructure for Web3 and AI agents. It is a direct competitor to Horizen Labs' Vela product and is also listed as an existing Horizen Labs collaborator/customer.
- Matter Labs (zkSync): Matter Labs operates zkSync, a ZK rollup with its own proof verification pipeline. It competes with zkVerify on cost-efficient verification and shares the same developer tools for ZK circuits.
- Aleo: Aleo is a ZK-focused L1 that uses zero-knowledge proofs to enable private, verifiable computation. It overlaps directly with Horizen Labs' ZK proof verification infrastructure and confidential compute ambitions.
- StarkWare: StarkWare builds ZK proof verification infrastructure (STARKs) for StarkNet and other L2s. It is a direct competitor to zkVerify in the ZK proof verification market and overlaps in serving developer-facing ZK tooling.
Emerging players
- TACEO: TACEO is a confidential compute and MPC research company that co-authored the Griffin hash function paper with Horizen Labs, Ethereum Foundation, and Graz University. It is a research-level peer in ZK and confidential compute.
- Oasis Network: Oasis is a confidential computing-enabled L1 combining TEEs with EVM compatibility. It targets similar privacy-preserving use cases for enterprise and Web3, partially overlapping with Horizen + Vela.
Broad incumbents
- Fireblocks: Fireblocks is an institutional crypto custody and security platform serving banks, exchanges, and asset managers. It is a broad incumbent competing for the same institutional finance security budgets that Horizen Labs targets with quantum and privacy offerings.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat6 records
Key risks6 records
Key highlights7 records
Customer concentration
Horizen Labs social profiles
Digital presenceHorizen Labs compliance and trust
Trust signalCompliance1 record
Horizen Labs financial estimates
Financial estimateRevenue estimate
Valuation estimate
Horizen Labs leadership team
Management profileNumber of profiles
Profiles8 records
Horizen Labs funding detail
Funding detailFunding overview
Funding rounds2 records
Investors8 records
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Horizen Labs M&A and investment
M&A and investmentM&A
Investments3 records
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Horizen Labs
What does Horizen Labs do?
Horizen Labs is a cryptographic engineering company that builds privacy and verification infrastructure for high-stakes environments. It develops zero-knowledge proof (ZKP) and Trusted Execution Environment (TEE) based products including zkVerify (a universal ZK proof verification blockchain), Horizen (a regulatory-compliant privacy layer), Kurier (ZK proof verification APIs), and Vela (a confidential compute layer), alongside quantum security consulting and end-to-end professional services for defense, government, and institutional financial clients.
Is Horizen Labs a public or private company?
Horizen Labs is a private company. It is classified as venture growth investor backed and is currently operating.
When was Horizen Labs founded?
Horizen Labs was founded in 2019. It employs 51 to 100 people.
Where is Horizen Labs based?
Horizen Labs is headquartered in Austin, United States, in the North America region.
How does Horizen Labs make money?
Four revenue lines are on record. Professional Services are the primary driver. The others are quantum Security Consulting, API Usage (Kurier) and protocol Infrastructure.
Who are Horizen Labs's main competitors?
Direct peers on record are Polygon Labs, RISC Zero, Aztec Network, Phala Network, Matter Labs (zkSync), Aleo and StarkWare. Emerging players are TACEO and Oasis Network. Fireblocks is listed as a broad incumbent.
Does Horizen Labs have an API?
Yes. Kurier is a specialized REST API and transaction relayer service designed to facilitate the packaging, submission, and verification of Zero-Knowledge proofs to the zkVerify network. Kurier acts as an API-driven abstraction layer over the underlying blockchain network. Users must generate a unique API Key through the Kurier dashboard at kurier.xyz. The service enforces strict programmatic constraints on throughput with rate limiting. A testnet API is available at api-testnet.kurier.xyz for sandboxed prototyping. The Agentic Services Marketplace is MCP-native (Model Context Protocol), enabling AI agents to interact with the verification system. Developer documentation is at kurier.xyz.
What industry is Horizen Labs in?
Horizen Labs's product category is Cryptographic Infrastructure. Its primary akta.pro industry code is HDADAFAJ, Confidential Computing & Hardware-backed Protection (TEE/HSM), with a secondary code of HDAGAGAE, Quantum-Safe PKI, Key Management & HSMs. Its NAICS code is 54138 and its SIC code is 6200.