S006 / Industries/ 011 Crypto et Web3

011 / 011

Crypto et Web3

Lancez-vous sur la chaîne avec une équipe qui l'a déjà fait.

Webisoft aide les équipes crypto à mettre leurs protocoles en marché en toute sécurité : systèmes layer-1 et layer-2, protocoles DeFi, contrats de jetons et de NFT, portefeuilles et dApps, et audits qui trouvent les problèmes avant les utilisateurs.

Une équipe interne et chevronnée depuis 2016. SOC 2 Type II, AWS Partner.

Fondée en 2016AICPA SOC 2 Type II Conforme HIPAAAWS PartnerGreat Place To Work Certified, Sep 2026 to Sep 2027, Canada
001/

Web3

Crypto et Web3

Le Web3 évolue vite, et un seul contrat non audité ou une architecture fragile peut défaire tout le projet. Un code qui détient des fonds n'a pas de bouton d'annulation, l'indexeur qui alimente l'application prend du retard, le pont ou l'oracle auquel vous faisiez confiance est exploité, et la feuille de route s'arrête pendant que l'équipe colmate. La vitesse n'est un avantage que si les fondations tiennent.

Nos réalisations dans ce secteur comprennent des systèmes en production pour des protocoles layer-1 et layer-2 et des équipes DeFi.

Allée de serveurs dans un centre de données
002/

Comment

Des systèmes sur la chaîne qui tiennent face à une valeur réelle

  1. Des contrats prêts pour l'audit

    Des pratiques de sécurité appliquées pendant le développement, pas au moment de l'audit : tests unitaires et sur fourche (fork), fuzzing, invariants et rôles privilégiés réduits au minimum. Les auditeurs externes trouvent moins de problèmes, et leurs constats portent sur la conception, pas sur des catégories de bogues connues.

  2. Une infrastructure qui suit le rythme

    Nœuds RPC, indexeurs, relais et API exploités et surveillés pour que la couche applicative reflète la chaîne en temps réel et reste disponible pendant un lancement ou un événement de marché.

  3. Un lancement que vous pouvez répéter

    Déploiements scriptés, contrats vérifiés, propriété confiée à un multisig derrière un timelock, et procédure d'intervention en cas d'incident. Le jour du mainnet est une liste de vérification, pas une improvisation.

003/

Comment nous menons les protocoles jusqu'au mainnet

Nous aidons les équipes layer-1 et layer-2, les protocoles DeFi et les produits Web3 à concevoir, livrer et auditer des protocoles, des contrats intelligents et les systèmes hors chaîne qui les entourent.

Nous travaillons en Solidity, Rust et CosmWasm sur les chaînes EVM, Solana et Cosmos, et nous livrons les indexeurs, les portefeuilles et les interfaces qui rendent un protocole utilisable.

  1. 01

    Protocoles et contrats intelligents

    Protocoles DeFi, contrats de jetons et de NFT, staking, coffres (vaults), gouvernance et composants layer-1 et layer-2 sur mesure.

  2. 02

    Des problèmes trouvés avant le lancement

    Revue manuelle appuyée par l'analyse statique, le fuzzing et les tests d'invariants, avec rapport écrit, cotes de gravité et soutien à la correction.

  3. 03

    Des produits que les gens peuvent utiliser

    Interfaces web et mobiles, connexion de portefeuilles, abstraction de compte, simulation de transactions et expérience de signature.

  4. 04

    Une infrastructure qui reste disponible

    Exploitation de nœuds, indexeurs et subgraphs, relais, intégration d'oracles et surveillance des événements critiques des contrats.

  5. 05

    Des systèmes connectés

    API de garde et de plateformes d'échange, passerelles vers la monnaie fiduciaire, fournisseurs KYC, ponts et analytique de chaîne.

004/

Services

Nos services pour les équipes crypto

  1. /001

    Services-conseils

    Un CTO à temps partiel ou une revue d'architecture et de sécurité pour les protocoles et les produits Web3 avant un lancement, une levée de fonds ou une mise à niveau majeure. Nous examinons la conception et le code, puis laissons à vos fondateurs une feuille de route qui leur appartient.

  2. /002

    Protocoles et contrats

    Contrats intelligents, composants de protocole et systèmes layer-1 et layer-2 en Solidity, Rust et CosmWasm, avec tests et documentation livrés en même temps que le code.

  3. /003

    Produit et infrastructure

    dApps, portefeuilles, indexeurs et API livrés et exploités pour que le protocole dispose d'un produit utilisable et d'une couche d'infrastructure qui reste disponible.

  4. /004

    Audits et outils d'IA

    Audits de sécurité des contrats et des systèmes, ainsi que surveillance et analyse assistées par l'IA sur vos propres données sur la chaîne, chaque constat étant revu par un spécialiste chevronné.

Méthode

Notre méthode de transformation

Nous menons les projets Web3 en cycles courts : un contrat fonctionnel sur testnet tôt dans le projet, testé selon des scénarios réels, puis une progression régulière vers l'audit et le mainnet. Vous voyez l'avancement sur testnet, pas dans une présentation. Voici le déroulement type d'un projet.

  1. 1

    Échanger

    Discutez, sous entente de confidentialité, avec une équipe qui a déjà mené des protocoles jusqu'au mainnet.

  2. 2

    Estimer

    Nous rédigeons une spécification avec les invariants, la chaîne recommandée et le plan d'audit, puis vous remettons une estimation détaillée de l'échéancier et des coûts.

  3. 3

    Livrer

    Une fois la portée approuvée, nous livrons en courtes itérations, avec des tests qui grandissent en même temps que le code et chaque jalon déployé sur testnet.

  4. 4

    Lancer

    Après la revue interne, l'audit externe et les corrections accompagnées de tests de régression, nous exécutons le déploiement répété et vérifions les contrats sur le mainnet.

  5. 5

    Soutenir

    Nous surveillons les contrats et l'infrastructure, répondons aux incidents selon la procédure établie et soutenons les mises à niveau à mesure que les normes évoluent.

Modèles d'embauche

Façons de travailler avec notre équipe Web3

(3)
  1. H/001

    Équipe dédiée

    Une équipe blockchain dédiée à votre protocole ou à votre produit, coordonnée par un consultant qui aligne la livraison sur vos objectifs de lancement et de tokenomique.

  2. H/002

    Renfort d'équipe

    Ajoutez directement à votre équipe des spécialistes chevronnés en Solidity, en Rust ou en infrastructure, qui travaillent selon vos processus et vos outils.

  3. H/003

    Au projet

    Nous prenons en charge le projet de bout en bout : spécification, livraison, coordination de l'audit, lancement et soutien, avec un seul gestionnaire de projet comme interlocuteur.

007/

Compétences Web3

Notre valeur ajoutée en Web3

Des contrats qui détiennent de l'argent sans bouton d'annulation exigent une rigueur plus proche de l'avionique que d'un produit web ordinaire. Voici les domaines où notre travail en Web3 va bien au-delà d'une démo qui fonctionne dans le scénario idéal.
  1. Conception de protocoles et de mécanismes

    Nous transformons un livre blanc ou un chiffrier en spécification comprenant l'état, les acteurs, les fonctions privilégiées, les invariants et les hypothèses économiques que les attaquants mettront à l'épreuve. Les décisions de conception sur la chaîne, les normes et l'évolutivité sont prises explicitement et documentées avant l'écriture du code.
  2. Des contrats sur la bonne chaîne

    Solidity et Vyper sur l'EVM et ses layer-2, Rust sur Solana et CosmWasm, et Move lorsque c'est pertinent, en comprenant les modes de défaillance de chaque machine virtuelle : réentrance et delegatecall sur l'EVM, contraintes de comptes et de CPI sur Solana, sémantique des ressources sur les chaînes Move.
  3. Audits de sécurité

    Revue manuelle ligne par ligne appuyée par l'analyse statique, le fuzzing et les tests d'invariants, pour votre propre code ou pour un protocole que vous prévoyez d'intégrer. Vous recevez un rapport écrit avec la gravité, une preuve de concept au besoin et des recommandations de correction, ainsi qu'une nouvelle revue des correctifs.
  4. Indexation et infrastructure

    Exploitation de nœuds, subgraphs et indexeurs sur mesure, relais et API qui gardent la couche applicative synchronisée avec la chaîne, avec gestion des réorganisations, surveillance et capacité pour les pointes de trafic lors des lancements et des événements de marché.
  5. Portefeuilles et expérience de transaction

    Interfaces de dApps avec connexion de portefeuilles, abstraction de compte et comptes intelligents, parrainage des frais de gaz, simulation de transactions et gestion claire des erreurs, pour que les utilisateurs comprennent ce qu'ils signent et pourquoi une transaction a échoué.
  6. Opérations de lancement et gestion des incidents

    Scripts de déploiement déterministes, vérification des contrats, transfert de la propriété à un multisig, timelocks, listes de vérification des paramètres, surveillance des événements critiques et procédure d'intervention avec mesures de pause et rôles nommés, répétée avant le mainnet.

Notre façon de travailler

Déroulement d'un mandat Web3

(4)
  1. 1

    Spécification et modélisation des menaces

    Nous transformons votre intention en spécification écrite : architecture des contrats, invariants, hypothèses de confiance sur chaque dépendance externe, recommandations de chaîne et de normes, et plan d'audit avec des firmes réservées tôt. Le résultat : un document autonome et un plan de livraison tarifé par jalons qui appartient à votre équipe.
  2. 2

    Une livraison prouvée par les tests

    Les contrats sont construits avec des tests unitaires, de fuzzing et d'invariants qui grandissent en même temps qu'eux, et des tests sur fourche de l'état du mainnet pour tout ce qui touche des protocoles en production. Les composants hors chaîne progressent en parallèle. Vous suivez l'avancement à chaque jalon, déployé sur un testnet que vous pouvez utiliser.
  3. 3

    Audit, renforcement et répétition

    Nous gelons le code, effectuons la revue interne et la batterie d'analyses statiques, soutenons l'audit externe au quotidien, appliquons les correctifs avec des tests de régression et répétons le déploiement sur une fourche jusqu'à ce que la liste de vérification soit sans faute.
  4. 4

    Lancer et exploiter

    Le déploiement sur le mainnet s'exécute à partir du script répété, avec les contrats vérifiés, la propriété transférée à votre multisig et les timelocks actifs. Après le lancement, nous surveillons les événements critiques et l'infrastructure, intervenons selon la procédure établie et soutenons les mises à niveau. Votre équipe détient les dépôts de code des contrats, l'outillage de déploiement et les clés de signature.

Preuves

Nous avons livré des systèmes en production pour des protocoles de couche 1 et de couche 2 et des équipes DeFi.

SOC 2 Type II / HIPAA / AWS Partner / Clutch 4.9/5

FAQ (012)

Crypto et Web3 : les questions de nos clients

001Que couvre un audit de contrats intelligents, et que ne couvre-t-il pas?

Un audit est une revue d'une durée limitée portant sur un commit précis, menée par des personnes qui combinent la lecture manuelle, l'analyse statique, le fuzzing et les tests d'invariants, et qui produisent des constats classés par gravité avec des recommandations de correction, habituellement suivis d'une nouvelle revue des correctifs. Il ne prouve pas l'absence de bogues, couvre rarement en profondeur la conception économique et ne dit rien de la configuration de déploiement, des clés d'administration ou des systèmes hors chaîne, à moins que ceux-ci soient dans la portée. Un projet bien mené réserve l'audit tôt, gèle le code avant son début et traite l'audit comme une couche parmi d'autres, avec la revue interne, un programme de primes aux bogues et la surveillance.

002Les contrats devraient-ils être évolutifs, et comment fonctionnent les patrons de proxy?

Les contrats évolutifs font passer les appels par un proxy qui délègue à un contrat d'implémentation remplaçable, le stockage résidant dans le proxy; c'est pourquoi les erreurs de disposition du stockage et les implémentations non initialisées sont une source récurrente d'exploits. L'évolutivité permet à une équipe de corriger des bogues et de faire évoluer le protocole, mais elle demande aux utilisateurs de faire confiance au détenteur de la clé de mise à niveau; des contrats immuables aux paramètres ajustables inspirent donc souvent plus de confiance. Lorsqu'elle se justifie, un système bien conçu place le droit de mise à niveau derrière un multisig et un timelock, et vérifie la disposition du stockage dans l'intégration continue à chaque changement.

003Quelles sont les options de garde, et quel effet ont-elles sur l'architecture?

Les actifs peuvent être détenus dans des portefeuilles contrôlés par l'utilisateur, dans des comptes intelligents dotés de règles de récupération, dans des portefeuilles multisig, dans des portefeuilles MPC où aucune partie ne détient une clé complète, ou chez un dépositaire qualifié qui en assume la responsabilité juridique, chaque option présentant des compromis différents entre contrôle, risque opérationnel et responsabilité. Le fait que votre produit détienne ou non des actifs d'utilisateurs est aussi la question qui détermine le plus souvent la façon dont les organismes de réglementation le classent. Une architecture bien conçue choisit d'abord le modèle de garde, puis conçoit la gestion des clés, les flux de signature et les procédures d'incident autour de ce choix.

004Comment choisir entre un layer-1 et un layer-2?

Un layer-1 comme Ethereum offre les garanties de règlement les plus solides et la liquidité la plus profonde, avec les frais les plus élevés, tandis que les rollups layer-2 héritent d'une grande partie de cette sécurité à moindre coût, avec des différences dans le fonctionnement des retraits : les optimistic rollups imposent une période de contestation et les ZK rollups reposent sur des preuves de validité. Chacun diffère aussi par la décentralisation du séquenceur, le risque lié aux ponts, l'outillage et l'endroit où se trouvent déjà les utilisateurs et la liquidité dont vous avez besoin. Un choix réfléchi part des utilisateurs et de l'économie unitaire, lance sur une seule chaîne et garde le code portable plutôt que de devenir multichaîne dès le premier jour.

005Comment les organismes de réglementation pourraient-ils classer un jeton, et quelles en sont les conséquences pour le produit?

Aux États-Unis, un jeton peut être traité comme une valeur mobilière selon le critère Howey, comme une marchandise, ou comme un élément qui déclenche les règles de transmission de fonds du FinCEN et des États, selon la façon dont il est vendu et utilisé. Au Canada, les autorités en valeurs mobilières ont publié des indications sur les cas où les cryptoactifs et les plateformes de négociation de cryptoactifs relèvent du droit des valeurs mobilières, les plateformes doivent généralement s'inscrire ou exercer leurs activités en vertu d'engagements, et le commerce de monnaie virtuelle fait d'une entreprise une entreprise de services monétaires inscrite auprès du CANAFE. La classification dépend des faits et évolue avec l'application de la loi; c'est donc une question pour vos conseillers juridiques. Un système bien conçu soutient les contrôles qu'ils précisent, comme l'accès conditionné au KYC, le géorepérage, les restrictions de transfert et la tenue de registres.

006Comment les protocoles DeFi sont-ils réellement exploités?

Les causes récurrentes sont la réentrance, la manipulation des oracles de prix souvent financée par des prêts éclair (flash loans), les erreurs de contrôle d'accès sur les fonctions privilégiées, la compromission des clés de mise à niveau ou d'administration, les erreurs d'arrondi et de précision dans les calculs, les vulnérabilités des ponts et les attaques de gouvernance au moyen de droits de vote empruntés. La plupart sont des catégories connues aux défenses connues, et les pertes découlent généralement d'un déploiement précipité ou d'un changement non audité. Un protocole bien conçu teste les invariants que viseraient les attaquants, limite ce que peut faire une seule clé et surveille les événements critiques pour qu'une pause puisse intervenir avant que les fonds ne soient entièrement drainés.

007Qu'est-ce qu'un indexeur ou un subgraph, et pourquoi l'application en a-t-elle besoin?

Un nœud de blockchain répond aux questions sur l'état courant et sur des transactions individuelles, mais il ne peut pas répondre efficacement aux questions que pose une application, comme toutes les positions détenues par un utilisateur ou l'historique d'un pool. Un indexeur écoute les événements et les blocs, les inscrit dans une base de données interrogeable et doit gérer honnêtement les réorganisations de chaîne et le retard, les subgraphs hébergés ou les indexeurs sur mesure étant les options habituelles. Un indexeur bien conçu indique son retard, retraite les données après une réorganisation et ne montre jamais à l'utilisateur un état que la chaîne a depuis annulé.

008Comment fonctionnent les oracles, et quelles hypothèses de confiance impliquent-ils?

Un oracle amène sur la chaîne des informations hors chaîne comme le prix des actifs, soit poussées par un réseau d'exploitants de nœuds, soit tirées à la demande avec des mises à jour signées, soit calculées à partir de sources sur la chaîne comme un prix moyen pondéré dans le temps sur une plateforme d'échange décentralisée. Chacun a ses modes de défaillance : mises à jour périmées, seuils d'écart qui tardent lors d'un krach, faible liquidité qui rend un prix sur la chaîne manipulable, et collusion entre exploitants. Un protocole bien conçu documente ses hypothèses sur les oracles, vérifie la fraîcheur et l'écart avant d'agir sur un prix, et prévoit un disjoncteur pour les cas où le flux semble erroné.

009Qu'est-ce que l'abstraction de compte, et que change-t-elle pour les utilisateurs?

L'abstraction de compte, normalisée sur l'EVM par ERC-4337, permet au compte d'un utilisateur d'être un contrat intelligent plutôt qu'une paire de clés, de sorte que le compte peut définir ses propres règles : qui paie le gaz, quelles signatures sont valides, des clés de session pour un jeu ou une application, des limites de dépenses et la récupération sociale. Les bundlers et les paymasters sont les nouveaux éléments d'infrastructure qui relaient ces opérations et parrainent les frais. Un produit bien conçu s'en sert pour éliminer les phrases de récupération et le gaz de la première expérience, tout en gardant explicites les hypothèses de confiance envers le paymaster et le bundler.

010Que suppose un lancement sur le mainnet sur le plan opérationnel?

Un lancement est une séquence scriptée : déploiement déterministe, vérification des contrats sur les explorateurs, contrôle des paramètres par rapport à la spécification, transfert de la propriété à un multisig derrière un timelock, activation de la surveillance des événements critiques et programme public de primes aux bogues, avec un plan de communication pour les premiers jours. La procédure d'intervention en cas d'incident doit préciser qui peut mettre quoi en pause, et à quelle vitesse. Une équipe bien préparée répète toute la séquence sur une fourche jusqu'à ce que la liste de vérification se déroule sans surprise.

011Quelles obligations KYC, de sanctions et de règle de voyage (Travel Rule) s'appliquent aux entreprises crypto?

Les entreprises qui échangent, transfèrent ou détiennent de la monnaie virtuelle pour leurs clients sont généralement des entreprises de services monétaires au sens des lois canadiennes et américaines sur la lutte contre le blanchiment d'argent, avec des obligations d'identification des clients, de tenue de registres et de déclaration, et les deux pays appliquent des versions de la règle de voyage du GAFI, qui exige que les renseignements sur le donneur d'ordre et le bénéficiaire accompagnent les transferts au-delà d'un seuil. Le filtrage des sanctions s'applique quel que soit le modèle d'affaires, et des organismes de réglementation ont sanctionné des adresses et des protocoles précis. La portée dépend de votre rôle dans la transaction, alors validez-la avec vos conseillers juridiques; une plateforme bien conçue intègre l'analytique de chaîne pour le filtrage des portefeuilles et conserve les registres qu'un organisme de réglementation demandera à voir.

012Qu'est-ce que le MEV, et quel effet a-t-il sur la conception d'un protocole?

La valeur maximale extractible (MEV) est le profit que les constructeurs de blocs et les chercheurs (searchers) captent en ordonnant, en insérant ou en censurant des transactions, et les utilisateurs la ressentent sous forme de front-running, d'attaques sandwich sur les échanges et de liquidations déclenchées au pire moment. C'est une caractéristique structurelle des mempools publics plutôt qu'un bogue, et les séquenceurs layer-2 en changent la dynamique sans l'éliminer. Un protocole bien conçu limite les dégâts avec des contrôles de glissement, des mécanismes par lots ou d'engagement-révélation (commit-reveal) et un flux d'ordres privé au besoin, et teste son économie face à un ordonnancement adverse plutôt que dans le scénario idéal.

Crypto et Web3

Que voudriez-vous améliorer en premier?

Coûts, rapidité, revenus ou heures de travail manuel. Dites-nous ce qui compte le plus et nous vous montrerons comment nous l'aborderions.

  1. 001

    Nous lisons chaque demande

    Quelqu'un qui a travaillé dans votre secteur, pas une file de vente.

  2. 002

    Nous répondons avec un premier avis

    Notre approche, et un moment pour en discuter.

  3. 003

    Portée sous confidentialité

    Nous examinons ce que vous utilisez aujourd'hui et revenons avec la portée, l'échéancier et le coût.

Entente de confidentialité sur demande