From c2d0866191e390965eb11593c072f84b56c6f2d5 Mon Sep 17 00:00:00 2001 From: "steinkirch.eth" <1130416+mvonsteinkirch@users.noreply.github.com> Date: Wed, 8 Mar 2023 10:35:04 -0800 Subject: [PATCH] reusable properties for ethereum contracts, by trailofbits --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 7e74aa8..b6d2408 100644 --- a/README.md +++ b/README.md @@ -59,3 +59,8 @@ * [another solidity vscode plugin](https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity) +
+ +##### advanced readings + +* [reusable properties for ethereum contracts, by trailofbits](https://blog.trailofbits.com/2023/02/27/reusable-properties-ethereum-contracts-echidna/)