what's Kurier?

Kurier is a high-performance REST API built by Horizen Labs to streamline zero-knowledge proof submission and verification. It supports diverse proof types like Groth16, Plonk, STARKs, and domain-specific protocols, using optimistic verification before on-chain submission to the zkVerify blockchain or Base network. This enables developers to integrate verifiable computations easily without managing verifiers or infrastructure, focusing on production-ready scalability at low cost. Available on mainnet and testnet, Kurier powers ZK applications across ecosystems by providing a unified API endpoint, reducing complexity and enabling interoperability. Powered by zkVerify's modular verification layer, it turns proof handling into reliable background infrastructure.