## Property-based Testing Ampleforth2022-12-29

In this article, we are going to property-based test Ampleforth’s rebasing AMPL token.

Using foundry’s fuzzing capabilities we first apply a set of pseudo-random input to the AMPL token, and afterwards, check whether a set of properties still hold.

## Rugging ERC20 Allowances via Permit22022-11-21

On November 17th Uniswap released a new generation token approval contract - Permit2.

Permit2 is an exciting new piece of infrastructure enabling token approval management independent of the ERC20 token implementation itself.

However, it also enables a new rug vector to steal allowances via sandwich selfdestruct-ing and redeploying the token.

## Introduction to solmate2022-11-08

The solmate contracts from t11s are “not designed with user safety in mind”. Implicit invariants are expected to be followed, and it’s easy to shoot yourself in the foot.

Therefore, I thought it’s a good idea to introduce some of the contracts, their footguns, and cross-check them with the OpenZeppelin library.

## Entering the Huff Ecosystem2022-07-04

This article introduces the evolving Huff language and ecosystem by developing a non-trivial contract, an Ownable contract with a Two-Step Transfer pattern, called TSOwnable.

## Ampleforth is Hayek Money2022-05-30

This article introduces Ferdinando M. Ametrano’s concept of Hayek Money as defined in his paper Hayek Money: The Cryptocurrency Price Stability Solution and a follow-up argument that, following this definition, Ampleforth is Hayek Money.