From 001f4c6f1828e11edde0177696916c4eafce0583 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 25 Mar 2024 10:17:45 +0100 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index fad4928..c0581e7 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ +**This work is pending a "Double-Anonymous" submission. Do not read the following to maintain the submission rules** + # Diffusc: Differential Fuzzing of Upgradeable Smart Contract Implementations `diffusc` is a tool for automatically generating differential fuzz testing contracts for comparing two smart contract implementations. It takes a generalized approach to detect discrepancies (hopefully unexpected) between any two implementation contracts, so as to prevent the introduction of bugs and vulnerabilities during a smart contract upgrade.