DONNÉES & TRANSPARENCE

Audits

Les audits de sécurité indépendants permettent d'identifier les risques liés aux contrats intelligents. Un rapport constitue une preuve utile uniquement lorsque son périmètre, la version du code et le contrat déployé peuvent être vérifiés.

Un audit réduit l'incertitude. Il ne garantit pas le profit, la liquidité, le fonctionnement ininterrompu ou l'absence de toute vulnérabilité.

Registre d'audit officiel d'Atlas

Deux rapports indépendants sont actuellement reliés depuis le site officiel d'Atlas. La publication confirme qu'un examen existe ; cela ne signifie pas que chaque conclusion a été résolue ou que les contrats sont sans risque.

Audit de sécurité Beosin

Revue de sécurité de smart-contract · ID de rapport 202606171520

RAPPORT PUBLIÉ

Dates d'examen15–17 juin 2026

RéseauBNB Smart Chain

Périmètre auditéDailyFlow, LockupFlow, Distrib, Transport et PositionHandler

Résultat signalé : 1 anomalie mineure — reconnue.Le rapport identifie un risque de centralisation et recommande l'utilisation d'un compte multisignature pour le contrôle privilégié.

Ouvrir le rapport Beosin →Registre des contrats comparatifs

Audit de contrat intelligent Cyberscope

Examen initial 15 juin 2026 · deuxième phase d'examen 30 juin 2026

RAPPORT PUBLIÉ

AuditeurCyberscope

Phases d'examenles 15 et 30 juin 2026

PortéeContrats et composants annexes d'Atlas Smart Cycle répertoriés dans le rapport

Rapport d'inventaire : 1 critique, 2 moyens et 17 résultats mineurs / informatifs.Le rapport publié répertorie ces constatations comme non résolues. Lisez les détails des constatations et l'explication officielle de l'audit Atlas avant de tirer une conclusion.

Ouvrir le rapport Cyberscope →Explication d'Open Atlas

Ce que vérifie un audit de contrat intelligent

Contrôle d'accès

Qui peut appeler des fonctions privilégiées et modifier un état sensible.

Réentrance

Si les appels externes peuvent réentrer dans l'exécution de manière inattendue.

Gestion des jetons

Approbations, transferts, décimales et gestion des valeurs de retour.

Mathématiques et État

Arrondissement, limites, comptabilité et transitions d'états.

Contrôles administrateur

Propriété, suspension, possibilité de mise à niveau et permissions d'urgence.

Logique métier

Si l'implémentation respecte les règles documentées du Smart Cycle.

Comment lire la criticité des résultats

CCritiquePeut menacer les fonds ou le contrôle central.

HHautExploitation matérielle ou défaillance du protocole.

MMoyenProblème significatif avec des contraintes.

LFaibleImpact limité ou cas difficile à atteindre.

IInformatifNote sur la qualité, la clarté ou les meilleures pratiques.

Lisez toujours les définitions de gravité de l'auditeur lui-même : les libellés peuvent différer d'un cabinet à l'autre.

Vérifiez le rapport avant de faire confiance au badge

01Source de l'auditeurOuvrez le rapport provenant du domaine officiel de l'auditeur.

02Adresse du contratAssociez-le au registre officiel d'Atlas.

03Version du codeConfirmer le commit, le bytecode ou la version du code source audité.

04PortéeVérifiez quels contrats et fonctions ont été examinés.

05RésultatsLisez tous les problèmes non résolus et reconnus.

06RetesterConfirmer que les conclusions corrigées ont été examinées à nouveau.

Ce que le rapport couvre – et ce qu'il peut omettre

Couramment couvert

Code source audité et contrats répertoriés
Modèles de vulnérabilités connus
Logique de gestion des accès et des jetons
Version de code spécifique dans le rapport

Non couvert automatiquement

Futurs déploiements ou code mis à jour
Sécurité du site web, du portefeuille ou de l'appareil de l'utilisateur
Luminosité et comportement des participants
Résultats commerciaux, économiques ou opérationnels

Gestion du cycle de vie de la remédiation

01TrouvéL'auditeur documente le problème

→

02RéparéLes développeurs modifient le code

→

03RetestéL'auditeur vérifie la correction

→

04RésoluLe statut final entre dans le rapport

Ce qu'un audit ne garantit pas

“ Audité ” ne signifie pas sans risque.Un audit est limité par son périmètre, sa date, la version du code, sa méthodologie et le temps d'examen disponible. Il ne peut garantir la liquidité future, les résultats économiques, la disponibilité du site Web ou le comportement sûr de chaque participant.

Signaux d'alerte en audit

!Badge sans lien de signalement

!Rapport hébergé uniquement par le projet

!Autre adresse de contrat

!Ancienne version de code ou version non spécifiée

!Ouvrir les résultats critiques ou élevés masqués

!“Allégations ” 100% sans risque “ ou ” garanti »