Der Sukuk Audit Wettbewerb BEGINNT JETZT! Lassen Sie uns @sukukfi willkommen heißen, den On-Chain-Marktplatz, der DeFi direkt mit profitablen realen Unternehmen verbindet. Dieser $40.000 Audit-Wettbewerb läuft 9 Tage, also stellen Sie sicher, die Audit-Dokumente unten für weitere Details zu überprüfen! ⤵️
Für dieses Wettbewerbs-Audit ermutigt @sukukfi die Aufseher, die folgenden Bereiche der Besorgnis zu betrachten: • Batch Settlement Netting (WERC7575ShareToken.batchTransfers): Validator-gesteuerte, komplexe Netting-Logik, Nullsummen-Invarianzvalidierung, Potenzial für Zustandskorruption. • Rollen-Zugriffskontrolle: Fünf verschiedene Rollen (Eigentümer, Validator, KYC-Admin, Einnahmen-Admin, Investment-Manager) mit unabhängigen Berechtigungen; Risiko eines Single-Point-of-Failure Schlüsselkompromisses. • Reentrancy in asynchronen Abläufen: Externe Aufrufe in Einzahlungs-/Einlösungs-/Investitionsfunktionen mit nonReentrant-Wächtern; CEI-Muster durchgängig validieren. • Dual Allowance-Modell: Nicht-standard ERC20, das Selbstzulassung + Anruferzulassung erfordert; validieren, dass beide Prüfungen bei transfer/transferFrom durchgesetzt werden. • Reservierte Vermögensbuchhaltung: Sicherstellen, dass ausstehende/beanspruchbare/investierte Vermögenswerte korrekt berechnet werden und sich nicht überschneiden; überprüfen, dass die Investitionsschicht nicht überzuweisen kann. • Asynchrone Zustandsübergänge: Anfrage→Erfüllen→Beanspruchen-Fluss mit Stornierungen; validieren, dass kein Zustandsüberspringen, Doppelanspruch oder permanente Blockierung erfolgt. • Genehmigungssignaturvalidierung: EIP-712 Replay-Schutz, Nonce-Tracking, Chain-ID-Einbeziehung; validieren, dass die Signatur des Validators authentisch ist. • Upgrade-Sicherheit: ERC-7201 namespaced storage, Gap-Arrays, keine Speicherumordnung; validieren, dass das Upgrade-Muster Speicher-Kollisionen verhindert.
1,78K