Category: Audits
With $33B TVL on the Line, Lido Turns to Runtime Verification for a Design Review
By Runtime VerificationSeptember 4th, 2024
Read the full post
External Computation with Kontrol: Leveraging Foundry Execution for Formal Verification
By Juan ConejeroAugust 28th, 2024
Read the full post
Using Kontrol to Tackle Complexities Caused by Dynamically-Sized Constructs
By Runtime VerificationAugust 19th, 2024
Read the full post
Runtime Verification Audits Band Protocol’s Rust Implementation of the Band StandardReference Soroban Smart Contract
By Runtime VerificationMarch 29th, 2024
Read the full post
Runtime Verification audits Synonym Finance
By Runtime VerificationMarch 1st, 2024
Read the full post
Runtime Verification audits MultiversX’s Multi Asynchronous Calls
By Runtime VerificationJanuary 15th, 2024
Read the full post
Runtime Verification audits Zivoe’s Core and Locker Contracts
By Runtime VerificationOctober 17th, 2023
Read the full post
Runtime Verification conducts a design audit on Zorp’s Eden zkVM
By Runtime VerificationJuly 31st, 2023
Read the full post
Runtime Verification audits Blockswap’s dETH Gateway
By Runtime VerificationJune 28th, 2023
Read the full post
Runtime Verification audits Ojo’s Node, Price Feeder and Smart Contract
By Runtime VerificationJune 14th, 2023
Read the full post
Runtime Verification audits Morpho’s AAVE V3
By Runtime VerificationJune 13th, 2023
Read the full post
Runtime Verification audits the Proof of Neutrality Network
By Runtime VerificationMay 29th, 2023
Read the full post
How audits can optimize code base: Term Finance “clearing price” algorithm
By Runtime Verification & Term LabsMay 9th, 2023
Read the full post
Runtime Verification audits Gyroscope Protocol’s Mathematical Model Implementation
By Runtime VerificationMarch 29th, 2023
Read the full post
Runtime Verification Audits World Mobile EarthNode NFT Claiming Contract
By Runtime VerificationFebruary 15th, 2023
Read the full post
Runtime Verification Audits AshSwap Protocol
By Runtime VerificationFebruary 1st, 2023
Read the full post
Runtime Verification Audits Tinyman AMM V2
By Runtime VerificationDecember 12th, 2022
Read the full post
Runtime Verification Audits Hatom Lending Protocol
By Runtime VerificationNovember 1st, 2022
Read the full post
Runtime Verification audits QuipuSwap Stableswap DEX Factory Mode
By Runtime VerificationSeptember 28th, 2022
Read the full post
Runtime Verification Audits xBacked
By Runtime VerificationSeptember 20th, 2022
Read the full post
Runtime Verification audits Hone’s Liquid Staking protocol
By Runtime VerificationSeptember 1st, 2022
Read the full post
Runtime Verification audits Algofi Lending v2
By Runtime VerificationAugust 30th, 2022
Read the full post
Runtime Verification audits Pact’s Router smart contract
By Runtime VerificationAugust 29th, 2022
Read the full post
Runtime Verification audits Pact’s Stableswap AMM smart contract
By Runtime VerificationAugust 23rd, 2022
Read the full post
Alchemix v2 audit and reviewed code fixes
By Runtime VerificationAugust 11th, 2022
Read the full post
Runtime Verification audits Blockswap’s Stakehouse code changes
By Runtime VerificationAugust 4th, 2022
Read the full post
Runtime Verification audits Swaap's Pool smart contracts
By Runtime VerificationJuly 28th, 2022
Read the full post
Runtime Verification audits Swell Network
By Runtime VerificationJuly 19th, 2022
Read the full post
Runtime Verification audits EXA Finance’s Baskets smart contract
By Runtime VerificationMay 31st, 2022
Read the full post
Runtime Verification audits Blockswap’s Stakehouse protocol
By Runtime VerificationMay 2nd, 2022
Read the full post
Runtime Verification audits Atlendis Protocol
By Runtime VerificationMarch 15th, 2022
Read the full post
Runtime Verification audits Folks Finance
By Runtime VerificationFebruary 23rd, 2022
Read the full post
Runtime Verification audits QuipuSwap's token-to-token distributed exchange
By Runtime VerificationFebruary 11th, 2022
Read the full post
Runtime Verification audits Yieldly's Multi-token Staking Pool
By Runtime VerificationFebruary 3rd, 2022
Read the full post
Runtime Verification audits Pact
By Runtime VerificationFebruary 2nd, 2022
Read the full post
Runtime Verification audits stakefish Ethereum staking 2.0
By Runtime VerificationJanuary 28th, 2022
Read the full post
Runtime Verification audits Element’s Finance Governance Protocol
By Runtime VerificationNovember 4th, 2021
Read the full post
Runtime Verification audits the Rewards Contracts of Algorand's Community Governance
By Runtime VerificationOctober 11th, 2021
Read the full post
Runtime Verification Audits Tinyman
By Runtime VerificationSeptember 22nd, 2021
Read the full post
Runtime Verification audits XET token and its deployment script
By Runtime VerificationJuly 19th, 2021
Read the full post
