De nos jours, les ordinateurs portables “trafiqués” par l’IA sont carrément trop chers. Avant, j’avais un vieux PC qui était tellement bloqué qu’il fallait que je le remplace, mais c’était trop cher. Alors j’ai demandé à quelqu’un d’enquêter sur la cause. En cherchant, on a trouvé une tonne de logiciels qui appellent chacun des fonctions bas niveau du système, se disputant les ressources les uns avec les autres. Le “maître” a eu une autre idée : transformer directement certaines des opérations les plus gourmandes en ressources en accélération matérielle, sans passer par l’émulation logicielle. Résultat : la vitesse a changé du tout au tout.
Le projet Dusk et sa machine virtuelle Piecrust font exactement une chose du même genre. Les smart contracts eux-mêmes s’exécutent dans un bac à sable WASM. L’objectif est la sécurité et la portabilité, mais le prix à payer, c’est la lenteur — en particulier pour les calculs cryptographiques comme le hachage, la vérification de signatures et les preuves à divulgation nulle de connaissance (zero-knowledge proofs), dont le coût en sandbox est élevé. La démarche de Dusk consiste à sortir séparément ces opérations très fréquentes et à les transformer en “host function”, qui appellent directement du code natif en bas niveau, sans faire de calcul lourd directement dans le WASM.
Concrètement, les quelques éléments sortis du lot sont : le hachage avec Blake2b et Poseidon, la vérification avec verify_plonk (preuve PlonK), verify_groth16_bn254, ainsi que deux variantes de vérification de signatures : verify_schnorr et verify_bls. Ces fonctions couvrent quasiment l’ensemble des opérations cryptographiques dont Dusk a besoin pour son système complet de confidentialité et de consensus. En gros, on ouvre une sorte de “porte dérobée” pour les tâches les plus pénibles, en évitant le chemin standard du sandbox.
Ce design améliore l’efficacité d’exécution, mais il implique aussi que la correction de l’implémentation de ces host function est extrêmement critique : si ces fonctions natives comportent des failles, l’impact est plus direct que dans le cas de problèmes au niveau logiciel, car tous les contrats partagent le même canal d’accélération en bas niveau.
$DUSK
#dusk @Dusk