Menu

All things fuzzy

We talk about fuzz testing, invariant testing, symbolic testing, and formal verification.

Introducing Recon: Invariant Testing Within Minutes

Published by Antonio Viggiano on
Recon is a tool created to speed up the process of writing invariant tests. It connects to any open-source Solidity project and automatically generates the boilerplate code to create invariant tests for Echidna, Medusa, and Foundry, all in a few clicks.
What is Recon?Recon is a tool created to speed up the process of writing invariant tests. It connects to any open-source Solidity project and automatically generates the boilerplate code to create invariant tests for Echi... Read More

Uniswap v3: A Fuzzing Review

Published by nican0r on
In this article, we explore a vulnerability found by Echidna during a security review of the Uniswap v3 protocol
Uniswap v3Uniswap, one of the most popular DEXes in the Ethereum ecosystem, introduced the innovative idea of concentrated liquidity via ticks ranges in their third version, allowing for greater capital efficiency. This efficiency however came at the cost of increased complexity in their... Read More

Formal Verification of Aave v3: A Review

Published by nican0r on
In this case study we look at how the Certora formal verification Prover can be used for discovering high-severity vulnerabilities in the Aave lending protocol.
IntroductionIn this case study we look at how the Certora formal verification Prover can be used for discovering high-severity vulnerabilities in the Aave lending protocol. Certora uses symbolic execution to evaluate all possible inputs to functions being tested, allowing us to uncover v... Read More

Quick tips to start your next invariant test campaign

Published by Antonio Viggiano on
Quick tips to start your next invariant test campaignThis post is a written version of the Invariant Testing Workshop presentation given at OpenSense. It aims to share tips and best practices for invariant testing.1. Defin... Read More

Certora vs Echidna: a case study on invariant testing in eBTC

Published by nican0r on
Certora vs Echidna: a case study on invariant testing in eBTC
IntroductionIn this post, we'll be comparing the proving of properties in a smart contract system using fuzzing and formal verification tools. We'll be using the eBTC protocol by Badger DAO as a real-world case study in performing this analysis.The eBTC project recently underwent ... Read More
Older Posts
By using this website you agree to our Cookie Policy.

Cookie Settings

We use cookies to improve user experience. Choose what cookie categories you allow us to use. You can read more about our Cookie Policy by clicking on Cookie Policy below.

These cookies enable strictly necessary cookies for security, language support and verification of identity. These cookies can’t be disabled.

These cookies collect data to remember choices users make to improve and give a better user experience. Disabling can cause some parts of the site to not work properly.

These cookies help us to understand how visitors interact with our website, help us measure and analyze traffic to improve our service.

These cookies help us to better deliver marketing content and customized ads.