Stellar Security Workshop: Komet (Fuzzing/Formal Verification)
🛠️ Calling all Stellar teams and developers 🛠️
If you're building smart contracts on Stellar with security as a priority, Komet is for you!
Join us for a hands-on session with the engineers behind the the most cutting-edge fuzzing and formal verification framework for Soroban contracts.
Learn how to:
write property tests in Rust, right inside your Soroban contract
fuzz your contracts to quickly surface edge cases
use symbolic execution to formally prove your properties hold for all possible inputs
use Komet's cheat functions to set up advanced test scenarios
GitHub Repo: runtimeverification/komet
We'll answer any questions to help you get the most out of Komet and bring mathematical guarantees to your Stellar contracts before deployment!
What to expect
A technical demo (20 to 30 minutes), followed by a Q&A with Burak Yalçınkaya, the lead engineer behind Komet and other Soroban security researchers at Runtime Verification.
Early concept or already live, the goal is to give you clear, practical answers on getting the most out of Komet for your own smart contract development practices!
About Runtime Verification
RV's work runs deep in the Stellar ecosystem, from auditing the protocol, optimizing core SDKs, developing tooling and serving as a leading Stellar Audit Bank partner for teams across the network.
As Stellar's official auditing partner, we bring that same formal-methods rigor to every conversation in these office hours!