Horizen Labs logo

Horizen Labs

Horizen Labs is a cryptographic engineering firm that builds and operates privacy, verification, and quantum-security systems. It serves enterprises, governments, defense organizations, and other institutions operating in high-stakes environments.
New York, USA

Verified Camera Image SDK


Project Links


Description

Verified Camera Image SDK embeds a secure live-camera workflow into customer applications. It cryptographically signs and verifies photos with capture-time and location information to help claims teams distinguish authentic evidence from AI-generated or edited submissions, supporting rapid review and SIU escalation. It is positioned primarily for P&C insurance claims, with adaptable applications for delivery proof and ecommerce return-fraud prevention.

Category: Developer Tooling

Zircle


Project Links


Description

Zircle lets members of a group submit anonymous messages backed by cryptographic membership proofs generated on their devices. It verifies and records proofs on the zkVerify chain, and offers an API for developers to embed customizable anonymous feedback, reporting, voting, and discussion interactions in their own applications.

Category: Messaging Protocol

Kurier


Project Links


Description

Kurier is a developer-facing REST API built by Horizen Labs that handles zero-knowledge proof submission, optimistic verification, job-status tracking, and on-chain finalization, avoiding the need to operate verification infrastructure. It supports multiple proof systems, including groth16, fflonk, plonky2, risc0, sp1, ultrahonk, ultraplonk, and proof of SQL, and is available on mainnet and testnet.

Category: Developer Tooling

ZkVerify


Project Links


Description

zkVerify provides a developer-friendly layer for verifying zero-knowledge proofs at scale. It emphasizes sub-second verification, lower costs at volume, compatibility with multiple ecosystems and proving schemes, and integration with existing systems.

Category: Developer Tooling

Horizen


Project Links


Description

Horizen provides privacy-first infrastructure for onchain activity, emphasizing confidential transactions, private DeFi strategies, compliance, and auditability. Built on Base, it supports builders, traders, and businesses seeking practical onchain privacy.

Category: L3

Vela


Project Links


Description

Vela is a confidential coprocessor for open blockchain markets. It runs applications in hardware-isolated trusted execution environments, generating cryptographic attestations and encrypted state roots so assets, orders, client data, strategies, and execution logic remain private, including from Vela’s operators. It offers opt-in compliance primitives such as MiCA and Travel Rule verification, and is designed for chain-agnostic integration with liquidity venues, DeFi protocols, and cross-chain settlement.

Category: Compute Network

AI Agent Registry


Project Links


Description

AI Agent Registry is an MCP-native marketplace and verification layer for AI agents powered by zkVerify. It lets agent builders list services whose audits, predictions, analyses, and operational claims are accompanied by zero-knowledge proofs verified and recorded on-chain, so users can independently inspect what an agent proved without exposing its private data or source code.

Category: AI Agent Platform