Quels services propose Sec3 ?

D'après ses informations publiques, Sec3 propose : Audit.

Sur quelles blockchains travaille Sec3 ?

Sec3 travaille sur Solana et TON.

Quels langages de smart contracts utilise Sec3 ?

Sec3 travaille en Rust et Solidity.

Sec3 est-elle vérifiée sur smart-contract.com ?

Pas encore. Cette fiche a été établie à partir d'informations publiques et Sec3 ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.

Comment obtenir un devis de Sec3 ?

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.

Prestataire

Sec3

Société de sécurité Solana : audits, vérification formelle et suivi après déploiement

Informations publiques

Présentation

Sec3 est une société de sécurité blockchain consacrée à la protection des protocoles Solana, qui associe recherche académique et expérience de la sécurité offensive en compétition. Elle propose des audits de sécurité fondés sur une revue manuelle du code avec suivi après déploiement, de la vérification formelle pour démontrer mathématiquement les invariants d'un protocole, et SecLaunch, une offre qui accompagne un projet de la conception et du développement jusqu'au suivi en production. L'équipe réalise aussi des revues de sécurité et assure le support de ses outils gratuits. Sec3 maintient des outils open source pour Solana, dont l'analyseur statique X-Ray et IDL Guesser, qui reconstitue la structure des instructions de programmes Solana au code fermé, et propose un service gratuit de surveillance des nonces et des multisigs. Elle publie une revue annuelle de l'écosystème Solana. Ses rapports publics sont listés sur son site et hébergés sur GitHub une fois leur diffusion autorisée ; les plus récents portent sur des programmes Solana en Rust, avec quelques revues Solidity et des travaux plus anciens sur TON et d'autres écosystèmes. Les demandes passent par un formulaire et une adresse email.

En bref

Audits de programmes Solana par revue manuelle du code
Vérification formelle des invariants de protocole
Outils open source X-Ray (analyse statique) et IDL Guesser
Service gratuit de surveillance des nonces et des multisigs
Rapports autorisés hébergés dans un dépôt GitHub public

Services: Audit
Blockchains: Solana
TON
Langages: Rust, Solidity
Site web: sec3.dev(s'ouvre dans un nouvel onglet)
Rapports d'audit publics: github.com(s'ouvre dans un nouvel onglet)

Sec3 : questions fréquentes

Quels services propose Sec3 ?: D'après ses informations publiques, Sec3 propose : Audit.
Sur quelles blockchains travaille Sec3 ?: Sec3 travaille sur Solana et TON.
Quels langages de smart contracts utilise Sec3 ?: Sec3 travaille en Rust et Solidity.
Sec3 est-elle vérifiée sur smart-contract.com ?: Pas encore. Cette fiche a été établie à partir d'informations publiques et Sec3 ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.
Comment obtenir un devis de Sec3 ?: 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.

Recevoir des devis

Gratuit pour les clients. Sans engagement.