Audits de sécurité pour
les contrats votre le protocole fonctionne
Gizmolab audite les contrats intelligents sur chaque chaîne EVM et Solana — examen manuel par des auditeurs principaux, soutenu par une analyse fuzzing et automatisée, et un premier passage en libre-service avec Audit.new.
Audité sur toutes les chaînes sur lesquelles vous déployez
Quoi que vous expédiiez, nous l’examinons là-bas. Couverture complète EVM et expertise approfondie Solana, avec la même norme appliquée à chaque cible.
Les programmes natifs Rust et Anchor ont été examinés pour la sécurité des comptes, le risque CPI et l'exactitude du PDA – les modes de défaillance EVM manquent aux auditeurs.
Les langues dans lesquelles nous auditons
De Solidity de haut niveau à l'assemblage en ligne, en passant par Rust sur Solana, nous examinons le code dans le langage dans lequel il a été écrit.
Solidité
La majeure partie de EVM DeFi. Nous examinons ligne par ligne l’agencement du stockage, les appels externes, le contrôle d’accès et les chemins de mise à niveau.
Vyper
Contrats pythoniques avec leurs propres armes à pied. Nous vérifions les décorateurs, les verrous de réentrée et les pièges des versions du compilateur.
Yul et assemblage en ligne
Optimisations de bas niveau où se cachent les bugs les plus subtils. Sécurité de la mémoire, gestion des données d'appel et décodage ABI manuel.
Rouille
Programmes natifs Solana. Validation de compte, contrôles de signataire/propriétaire, sécurité CPI et arithmétique sur les lamports.
Ancre
Contraintes d'ancrage, dérivation PDA, discriminateurs de compte et lacunes qu'Anchor ne couvre pas pour vous.
Le Caire et déménagement
Avis Starknet (Le Caire) et Aptos / Sui (Move) disponibles pour les équipes expédiant en dehors du courant dominant EVM et SVM.
Les bugs qui drainent les protocoles
Nous testons les classes de vulnérabilité derrière les exploits du monde réel, ainsi que les invariants spécifiques à la conception de votre protocole.
Réentrée
Réentrée interfonctionnelle et en lecture seule sur les appels externes, les rappels et les hooks de jetons.
Contrôle d'accès
Autorisation manquante ou rompue, utilisation abusive du rôle privilégié et lacunes d’initialisation/propriété.
Oracle et manipulation des prix
Dépendance aux prix au comptant, jeux TWAP, manipulation basée sur les prêts flash et flux obsolètes.
Arithmétique et arrondi
Débordement, perte de précision, direction d'arrondi et attaques par inflation d'actions sur les coffres-forts.
Signature et rediffusion
EIP-712/gestion des permis, réutilisation occasionnelle, liaison d'identifiant de chaîne et relecture inter-domaines.
MEV et avant-gardiste
Flux sandwichables, glissements non protégés et transitions d'état dépendant de l'ordre.
Évolutivité et proxys
Collisions de stockage, implémentations non initialisées et modèles d'appel de délégué dangereux.
Solana Sécurité du compte
Confusion de compte, vérifications de propriétaire/signataire manquantes, usurpation d'identité de PDA et CPI non vérifiés.
Comment se déroule un audit
Un engagement clair et reproductible – du modèle de menace à un rapport publié auquel votre communauté peut faire confiance.
Portée et modèle de menace
Nous cartographions votre architecture, vos limites de confiance et les invariants qui ne doivent jamais se briser, avant de lire une seule ligne.
Révision manuelle
Les auditeurs principaux lisent le code ligne par ligne. Les découvertes les plus critiques proviennent d’humains qui comprennent l’intention, et pas seulement les outils.
Analyse automatisée
L'analyse statique, le fuzzing et l'exécution symbolique des invariants de contrainte et des cas de bord de surface échappent à l'œil.
Résultats classés en termes de gravité
Chaque problème reçoit une gravité, un impact, une reproduction et une solution concrète – et non un vague signalement.
Assistance à la remédiation
Nous travaillons avec vos ingénieurs pour résoudre les correctifs, répondre aux questions et revérifier les correctifs que vous envoyez.
Ré-audit et rapport
Un dernier passage sur les mesures correctives, puis un rapport propre que vous pouvez publier auprès de votre communauté et de vos partenaires.
Ce avec quoi tu repars
Pas seulement une liste de bugs : tout ce dont votre équipe a besoin pour résoudre les problèmes et prouver que le code est sûr.
Rapport d'audit complet
Un rapport structuré avec les résultats, la gravité, les étapes de reproduction et les conseils de remédiation.
Cotes de gravité
Critique → Élevé → Moyen → Faible → Informationnel, noté en fonction de l'impact et de la probabilité dans le monde réel.
Conseils de remédiation
Des correctifs et des modèles concrets, ainsi qu'une assistance directe pendant que votre équipe les met en œuvre.
Ré-audit et rapport public
Vérification des correctifs et rapport publié facultatif que vous pouvez partager pour renforcer la confiance.
Audit.new — un premier passage instantané
Audit.new est l'outil d'audit en libre-service de Gizmolab. Souscrivez un contrat ou connectez un dépôt et obtenez un premier examen assisté par l'IA en quelques minutes, mettant en évidence les classes de vulnérabilité courantes, les modèles à risque et un tri pour savoir où chercher en premier.
C'est le moyen rapide de vérifier l'intégrité du code avant un engagement complet. Pour tout ce qui se dirige vers le réseau principal avec une valeur réelle en jeu, cela passe proprement par un audit manuel dirigé par des responsables.