CI Integrated
Cloud-Based
Symbolic Execution

KaaS is the delivery platform for Kontrol, accessible via an API

FEATURES

Key Features

Secure Proof Storage Management
Efficient proof upload, download, and archiving, with advanced version management and performance optimization.
Seamless CI Integration
Easily integrate with existing CI workflows to automatically validate deployments.
Isolated Project Environments
Maintain strict separation between projects with dedicated environments, providing enhanced security.
Enhanced Remote Compute
High performance computing, optimizing concrete and symbolic execution for contract security evaluation and auditing.
PRICING

Pick The Right Plan

Free
Start using KaaS for free. Archieve and access K Control Flow Graph (KCFG) results with your team.
$0/ free
Archieve project KCFGs
Support via Runtime Verification Discord
Access history through an easy to use interface
TRY FOR FREE
Professional
Most Popular
The best value to get started with KaaS. Includes a remote runner to offload your compute needs and access to a senior verification engineer.
$4,000/ month
1 remote compute runner
Unlimited KCFG storage
4 hrs/week of verification support
24x5 tech support via Runtime Verification Discord
REQUEST A DEMO
Premium
Half-time formal verification engineer dedicated to your project.
$20,000/ month
1 remote compute runner
Unlimited KCFG storage
20 hrs/week of verification support
24x5 tech support via Runtime Verification Discord
REQUEST A DEMO
BENEFITS

Why KaaS?

Verify Code Changes as They Happen
Ensure each CI cycle is verified before integrating new changes into the Master branch.
Archive Projects and Proofs Over Time
Monitor your project’s evolution and adapt to market changes seamlessly.
Remote Compute Eliminates Resource Limitations
Leverage optimized resources and elastic scaling for consistent, timely results.
Enterprise Service Support
Rely on our monitoring and support to swiftly address and resolve any issues.
BACKED BY

Meet our friends and collaborators

We work with strong teams and advanced companies providing the best possible service to all.

Lido
Optimism
Ethereum Foundation
Gnosis Chain
CONTACT

Get in touch

If you want to learn more about how KaaS can help secure your Project, please complete the form below and we will contact you: