Update zu den Validierungen, die ich von @pashov's AI solidity-auditor erhalten und eingereicht habe: ALLE 3 waren Duplikate. Das bedeutet, die 3 Bugs waren echt, nur dass andere Forscher zuerst dort waren. Ich werde den Ansatz verfolgen, nach protokollspezifischen Logikfehlern zu suchen, anstatt nach generischen Mustern. Spannende Zeiten!