Pay for compute, not trust.
Scale your cryptographic proofs seamlessly.
For individuals experimenting with verifiable compute locally.
- Local proving engine
- Up to 1M constraints
- Community support
- Open source CLI
- Local CA key management
- Receipt JSON validation
For startups generating verifiable compute receipts in cloud.
- Managed Prover Network
- Unlimited Constraints
- GPU Acceleration
- Hosted registry + dashboard
- Webhook API + badges
- Up to 10K certs/month
- Email support (24h)
For massive ML workloads and customized infrastructure.
- Dedicated Provers
- On-premise deployment
- Custom circuit design
- Unlimited certifications
- Multi-CA with trust domains
- SSO / SAML authentication
- 99.99% SLA guarantee
- Dedicated account manager
Frequently Asked Questions
What counts as a certification?
Each time a receipt is verified and registered in the hosted registry via the webhook API, that counts as one certification. Local CLI verifications are unlimited and free on all plans.
Can I switch plans later?
Yes. Upgrade or downgrade at any time. Upgrades are immediate; downgrades take effect at the end of your billing cycle.
Is the open source version really free?
Yes, forever. The Rust CLI, local verification, local CA, and local registry are fully open source under MIT license.
Do you offer academic discounts?
Yes. Academic institutions and non-profit research organizations get 50% off Production and custom Enterprise pricing.