Stellar Security Workshop: Simbolik
🛠️ Calling all Stellar teams and developers 🛠️
If you're building smart contracts on Stellar with security as a priority, Simbolik is for you!
Join the Runtime Verification engineers who built it for a hands-on look at debugging Soroban contracts with formal-methods precision.
Learn how to:
set breakpoints directly in your Soroban Rust source code
replay a transaction against a local Stellar testnet node
step through execution line by line in VS Code or Cursor
inspect the full WebAssembly-level runtime state at any point
We'll answer any questions to help you get the most out of the only formally-grounded debugger available today for the Stellar ecosystem!
What to expect
A technical demo (20 to 30 minutes), followed by a Q&A with Raoul Schaffranek, the lead engineer behind Simbolik, and Aellison Cassimiro, lead Soroban security researcher at Runtime Verification.
Early concept or already live, the goal is to give you clear, practical answers on getting the most out of Simbolik 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!