We Love Formal Methods
Welcome to the Runtime Verification blog. We have been working in the web3 security space since 2018 and we love to share what we have learned. Our blog posts are a great way to learn about our audits and formal verification engagements with web3 protocols for readers that may find the audit reports too long or technical.
Our authors write about progress on our tooling - ERCx, Kontrol and Simbolik, all of which are designed and maintain with the goal of helping developers and users interact with blockchains more securely. Dive in and learn with us, and if you have any questions contact us.
How to get started with Komet - Property Testing and Formal Verification for Soroban
by Runtime Verification
September 19th, 2024Introducing Komet: Smart Contract Testing & Verification Tool for Soroban, Created by Runtime Verification
by Runtime Verification
September 19th, 2024With $33B TVL on the Line, Lido Turns to Runtime Verification for a Design Review
by Runtime Verification
September 4th, 2024External Computation with Kontrol: Leveraging Foundry Execution for Formal Verification
by Juan Conejero
August 28th, 2024Using Kontrol to Tackle Complexities Caused by Dynamically-Sized Constructs
by Petar Maksimović
August 19th, 2024Kontrol Integrated Verification of the Optimism Pausability Mechanism
by Runtime Verification
May 16th, 2024Formal Verification Lore Intuitive Intro to Why We Can Prove Programs Correct
by Juan Conejero
April 2nd, 2024Runtime Verification Audits Band Protocol’s Rust Implementation of the Band StandardReference Soroban Smart Contract
by Runtime Verification
March 29th, 2024Runtime Verification audits MultiversX’s Multi Asynchronous Calls
by Runtime Verification
January 15th, 2024Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023