Contexte de la mission

Nous recherchons une expertise avancée en ingénierie des smart contracts afin de concevoir et développer le socle on-chain de notre plateforme institutionnelle dédiée aux actifs numériques.

Nous souhaitons développer des smart contracts sécurisés, réutilisables et conformes, capables de prendre en charge les processus allant de l’émission des tokens jusqu’au règlement-livraison, pour plusieurs types d’instruments financiers.

Nous attendons une expertise en Solidity et dans les architectures basées sur l’EVM, ainsi que la capacité à évaluer et à mettre en œuvre des modèles de registres distribués permissionnés tels que Canton et Hyperledger Besu.

Une mise en œuvre rigoureuse de tokens ERC-20 et de leurs extensions pertinentes est requise, avec des contrôles robustes concernant l’offre, la propriété, les permissions et la gestion du cycle de vie. Des tests complets fondés sur les propriétés, les invariants et le fuzzing seront nécessaires, ainsi que le profilage de la consommation de gas et des analyses de sécurité, afin de garantir la fiabilité de chaque composant des smart contracts.

Nous recherchons également une expertise dans la préparation des smart contracts à des audits externes indépendants, la remédiation des constats et le maintien d’un processus d’ingénierie donnant la priorité à la sécurité.

Nous sommes favorables à une utilisation rigoureuse de l’IA pour le scaffolding, la refactorisation, la génération de tests et le triage des vulnérabilités, sous réserve que chaque ligne générée soit revue par des experts qualifiés et qu’aucune information sensible, clé, adresse ou logique non auditée ne soit exposée à des services d’IA externes.

Nous recherchons une expertise analytique, collaborative et orientée communication, capable de travailler avec les équipes produit et les parties prenantes transverses dans un environnement réglementé de marché financier.

Objectifs et livrables

Nous mettons en place une fondation on-chain sécurisée et évolutive pour des produits institutionnels de tokenisation et de registres distribués. L’expertise recherchée devra contribuer à une construction initiale complète, depuis la conception jusqu’à la mise en œuvre, tout en respectant les exigences de fiabilité, de conformité et de sécurité d’un groupe boursier réglementé.

• Concevoir l’architecture des smart contracts pour l’émission des actifs numériques, la gestion de leur cycle de vie, la propriété, les transferts et le règlement-livraison.

• Développer des smart contracts Solidity prêts pour la production, compatibles avec les environnements basés sur l’EVM et les modèles applicables de blockchains permissionnées.

• Développer des composants de tokenisation réutilisables, capables de prendre en charge plusieurs types d’instruments financiers ainsi que de futures extensions produit.

• Implémenter des contrats ERC-20 et leurs extensions pertinentes, avec un contrôle robuste des accès, une gestion maîtrisée de l’offre et des invariants de propriété.

• Créer des suites complètes de tests fondés sur les propriétés, de tests d’invariants et de tests par fuzzing, couvrant la conformité fonctionnelle, les cas limites et les scénarios adverses.

• Réaliser le profilage de la consommation de gas, les analyses de performance et les revues de sécurité des smart contracts, en documentant les risques identifiés et les mesures de mitigation associées.

• Préparer le code des contrats, la documentation, les preuves de tests et les éléments associés en vue d’audits de sécurité externes indépendants.

• Remédier aux constats d’audit, valider les corrections et maintenir des éléments de traçabilité relatifs à la sécurité et à l’assurance qualité.

• Appliquer l’IA au scaffolding des contrats, à la refactorisation, à la génération de tests et au triage des vulnérabilités, dans le respect de contrôles stricts de revue et de vérification humaine.

• Définir et faire respecter des pratiques rigoureuses d’hygiène des prompts, afin d’empêcher l’exposition de clés privées, d’adresses de portefeuilles, de logiques métier confidentielles ou de code non audité à des services d’IA externes.

• Fournir une documentation technique couvrant l’architecture, les interfaces, les procédures de déploiement, les hypothèses de sécurité, les invariants et les aspects opérationnels.

• Collaborer avec les parties prenantes des équipes produit, juridique, conformité, sécurité et ingénierie afin de garantir que la solution soit robuste, maintenable et conforme aux exigences des marchés financiers institutionnels.