background

Secure Soroban Smart Contracts

Komet is a pioneering formal verification tool specifically designed for the Soroban smart contract language on the Stellar blockchain, built by the formal verification experts at Runtime Verification.

INTRODUCING KOMET

Develop with Confidence

Komet is more than just a tool—it's your companion in building secure, reliable Soroban smart contracts. Whether you’re a seasoned developer or new to Soroban, Komet integrates seamlessly into your workflow, enabling you to verify the correctness of your contracts on your local machine using the languages and tools you already know.

Built by Runtime Verification
Runtime Verification is blockchain security start-up with extensive experience building formal verification tools.
Funded by the Stellar Community Fund
Part of the SCF Activation Award Round #28, Komet relies on community support to improve into a tool that will become an easy-to-use verification standard on Soroban.
BENEFITS

Why Choose Komet?

background
background
Precise Assurance at the Core Level
Komet ensures a high level of assurance by verifying at the WebAssembly level—the exact code that will be committed to the blockchain.
Community-Driven
Your support helps us continue developing Komet, ensuring the Stellar network remains a safe place for all.
Developer-Friendly
Write secure Soroban smart contracts using the language you’re familiar with. Save your progress and verify incrementally, all from your local machine.
Save progress
Inspectable symbolic execution, not a black box, progress can be saved and viewed to help the user make more progress.
BLOG

Read more about Komet

CONTACT

Get in touch

Are you interested in beta testing Komet, want to learn more, or have a question? Reach out!

SUPPORTED BY
MultiversX
Stellar