Joran Honig

Many smart contracts implement game-theoretic elements. Most also implement some form of automation, e.g. users deposit liquidity which gets used according to a given strategy. This strategy can be vulnerable when it provides too much of an advantage to a malicious user. Let's look at the difference between acceptable

There are quite a few fuzzing related tools. However, it's not always clear how they fit together in the fuzzing picture. Do you write properties with Scribble, or do you fuzz using foundry? An option that you should consider for your next fuzz test is using both! Here is an