Your central resource for security best practices, tooling, and audit preparation when building smart contracts on Stellar.
1-1 free sessions with Certora. Get feedback on your architecture, threat model, or audit readiness.
A Step-by-Step Security Blueprint for Smart Contracts. Learn to identify attack surfaces and design robust security models for Soroban.
Resources
Practical materials to help you identify risks early and apply proven security patterns.
Certora's formal verification tool purpose-built for WebAssembly smart contracts on Soroban.
Patterns and practices that make your Soroban contracts easier to formally verify.
Deep dive into how formal verification applies to Wasm-based smart contracts.
Watch a live walkthrough of the Sunbeam Prover applied to real Soroban contracts.
Video demonstration of common vulnerability classes in Soroban and how to avoid them.
Hands-on workshop recording: get up to speed with Sunbeam in under two hours.
Soroban Audit Bank
The Stellar Development Foundation funds audits for qualifying teams building smart contracts on Soroban.
Smart contracts are public, immutable once deployed, and often secure significant capital. Vulnerabilities found before launch cost nothing compared to those found after.
Everything you need to understand eligibility and get started.
Office Hours
Direct, no-pitch access to researchers who specialize in Soroban smart contracts. Whether you're at idea stage or post-launch, you'll get actionable feedback.
Track Record
Security work completed across the Stellar ecosystem, from design reviews to formal verification contests.
Access resources, book office hours, or check your eligibility for the Soroban Audit Bank — all from one place.