Scale or Die: Securing Solana with Formal Verification
Join us for a hands-on deep dive into securing Solana smart contracts using the Certora Prover, a formal verification tool trusted by top protocols, including Jito, Squads, and Kamino.
This 3-hour technical workshop will walk you through security challenges in the web3 ecosystem and demonstrate how formal verification can detect and prevent bugs.
We’ll be joined by Evan from Jito, who will introduce the mechanics of Jito’s (Re)Staking and Vaults, providing the foundation for our live case study. Then, Certora’s research team will showcase how the Prover is applied to analyze and secure these systems.
🗓 Agenda
2:00 – 2:20 PM | Introduction to the Certora Prover
Speaker: Mooly Sagiv, Co-Founder & CEO, Certora
2:20 – 2:50 PM | Solana Security Landscape
Speaker: Tomer Ganor, Security Researcher, Certora
2:50 – 3:10 PM | Jito (Re)Staking and Vaults: Protocol Mechanics
Speaker: Evan Bastell, Protocol Engineer at Jito Labs.
3:10 – 3:30 PM | Break
3:30 – 4:45 PM | Live Demo: Securing Jito with the Certora Prover
Speakers: Arie Gurfinkel and Jorge Navas, Senior Researchers, Certora
4:45 – 5:00 PM | Open Q&A
🧑💻 Who Should Attend
Protocol developers, security researchers, auditors, CTOs, and DeFi founders—anyone building or securing smart contracts on Solana.
📍 Location & Access
Workshop Room, right next to the Scale or Die main stage.
Access: Open to all Scale or Die ticket holders.
ABOUT CERTORA
Certora is a blockchain security company that provides industry-leading formal verification tools and smart contract audits. Certora’s flagship security product, Prover, is helping protocols like Uniswap, Aave, Lido, Squads, Kamino, Jito, and other protocols integrate the power of formal verification into their development pipeline to catch even the most rare & hard-to-find bugs. Learn more at
ABOUT JITO LABS
Jito Labs is a core team supporting the development of the Jito ecosystem and technology. They operate under the shared goal of creating advanced blockchain infrastructure to maximize scalability, efficiency, and economic value on Solana. Supported by premier investors like Multicoin Capital, Solana Ventures, and Framework Ventures, Jito Labs delivers transformative infrastructure that drives innovation and secures Solana’s position as a leader in decentralized finance.