From de14ed7e5173b95b455b53bbae1a2e75e8bde774 Mon Sep 17 00:00:00 2001 From: Elliot Date: Thu, 7 Nov 2024 09:03:50 +0700 Subject: [PATCH] update readme Signed-off-by: Elliot --- README.md | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/README.md b/README.md index 979639a..62f706a 100644 --- a/README.md +++ b/README.md @@ -6,14 +6,6 @@ This workshop will walk you through the basics of securing smart contracts by te In this workshop we will be protecting a governance heavy application from the consequences of malicious upgrades and or deployment scripts. -## Bug Types -- **Deployment** - Incorrect parameters, caught with a validation -- **Deployment** - Incorrect parameters, caught with an integration test ✓ -**** -- **Upgrade** - Storage offset changes, caught with an integration test, also caught with a validation -- **Upgrade** - Logic error, caught with an integration test -**** - ### Further Reading For governance safety assistance, refer to our [forge proposal simulator](https://github.com/solidity-labs-io/forge-proposal-simulator) tool. See the [security checklist](https://github.com/solidity-labs-io/code-review-checklist) and [security](https://medium.com/@elliotfriedman3/a-security-stack-4aedd8617e8b) [stack](https://medium.com/@elliotfriedman3/a-security-stack-part-2-aaacbbf77346) for a list of items to consider when building a smart contract system. @@ -31,11 +23,3 @@ Make sure the latest version of foundry is installed. If not, run: ```bash foundryup ``` - -Later exercises will use the certora prover. If you need to install, first check the system prerequisites from the Certora documentation. https://docs.certora.com/en/latest/docs/user-guide/install.html - -To install the prover run: - -```bash -pip3 install certora-cli -```