Prestataire
ABDK Consulting
Audits de smart contracts, circuits ZK et schémas cryptographiques, avec recherche et conseil
Présentation
ABDK Consulting est une société de sécurité Web3 et de cryptographie qui audite des smart contracts, des circuits zero knowledge, des schémas et des protocoles cryptographiques. L'audit de smart contracts est présenté comme son produit principal, et ses audits publiés portent sur des contrats Solidity sur Ethereum et du code Cairo dans l'écosystème Starknet. La société écrit et audite aussi des circuits ZK dans plusieurs langages, dont Circom, Rust, C++ et Zokrates, et examine la cryptographie, y compris le choix des paramètres, les hypothèses sur les entrées et la gestion des clés. Autour de l'audit, elle propose de la recherche pour éclairer les choix d'architecture et de sécurité, du conseil pour concevoir des schémas sûrs et l'évaluation d'approches existantes sous l'angle de la sécurité et des performances. Un service plus récent couvre l'audit de sécurité d'applications d'IA et de LLM, fondé sur l'OWASP LLM Top 10 et le cadre MITRE ATLAS. Sa démarche affichée comprend un plan de travail transparent, des jalons et livrables clairs, une relecture croisée interne, un accompagnement après la mission et une confidentialité totale. Son historique mentionne les bibliothèques mathématiques Solidity d'ABDK et des travaux sur la fonction de hachage Poseidon, et l'équipe indique avoir conçu et optimisé des protocoles DeFi. Son portfolio d'audits est publié dans un dépôt GitHub, et son site n'indique pas d'adresse de siège.
En bref
- Audits de smart contracts, de circuits ZK et de protocoles cryptographiques
- Audits publiés de code Solidity et Cairo
- Écrit et audite des circuits ZK en Circom, Rust, C++ et Zokrates
- Bibliothèques mathématiques Solidity d'ABDK
- Audite aussi des applications d'IA et de LLM
- Portfolio d'audits publié sur GitHub
- Services
- Audit
- Langages
- Solidity, Cairo, Rust
- Rapports d'audit publics
- github.com(s'ouvre dans un nouvel onglet)
ABDK Consulting : questions fréquentes
- Quels services propose ABDK Consulting ?
- D'après ses informations publiques, ABDK Consulting propose : Audit.
- Sur quelles blockchains travaille ABDK Consulting ?
- ABDK Consulting travaille sur Ethereum et Starknet.
- Quels langages de smart contracts utilise ABDK Consulting ?
- ABDK Consulting travaille en Solidity, Cairo et Rust.
- ABDK Consulting est-elle vérifiée sur smart-contract.com ?
- Pas encore. Cette fiche a été établie à partir d'informations publiques et ABDK Consulting ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.
- Comment obtenir un devis de ABDK Consulting ?
- Décrivez votre projet une fois sur smart-contract.com : vous recevez des devis comparables, au même format, des prestataires qui correspondent. Le développement et l'audit sont toujours confiés à deux sociétés indépendantes.
D'où viennent ces informations
Cette fiche a été établie à partir des pages publiques ci-dessous et relue pour la dernière fois le 24 septembre 2026. La société ne l'a pas encore revendiquée, n'est pas partenaire de smart-contract.com et n'a pas été vérifiée.
Décrivez votre projet une fois. Comparez en toute confiance.
Recevez des devis comparables de développeurs vérifiés, puis sécurisez votre code avec un auditeur indépendant.
Gratuit pour les clients. Sans engagement.