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?
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!