Christopher Allen, de Blockstream, a pris la parole lors de la conférence “Blockchain Protocol Analysis and Security Engineering 2018 conference (BPASE ‘18)”. Son intervention portait sur les smart signatures et il a mis l’accent sur les expériences croissantes en matière d'autorisation qui se sont déroulées au cours des dernières années.
Les signatures intelligentes sont une extension des signatures électroniques classiques et tendent vers un but similaire : l'autorisation. Toutefois, alors que les signatures classiques dépendent de tiers pour définir leur stratégie de confiance, les smart signatures intelligentes intègrent cette stratégie dans la signature elle-même. Cette fonctionnalité est prise en charge par les langages de script de prédicats, qui peuvent être utilisés pour renforcer les expressions multifactorielles, la délégation de signature et le support transactionnel.
Dans son discours, Allen a présenté six prérequis pour ces nouvelles signatures plus intelligentes. Il a proposé que tout langage de smart signature soit composable, auditable et vérifiable, pour optimiser la sécurité et s’assurer qu’elles sont à la fois facilement et formellement analysables.
Il a également précisé qu'elles devaient faire partie de systèmes déterministes, délimités et efficaces pour pouvoir être utilisées n'importe où, avec les mêmes résultats.
Bitcoin Script est, bien sûr, le précurseur des smart signatures. Les tests sont concluants, c’est un langage très fiable, mais aussi très limité (bien que de nouvelles extensions telles que les signatures Schnorr et MAST vont bientôt résoudre le problème). Allen a également détaillé de nombreuses utilisations innovantes de ces signatures. Le langage Simplicity de Blockstream pour les blockchains répond au plus près aux exigences d’Allen en matière de signatures intelligentes, la prouvabilité étant l’une de ses caractéristiques les plus notables. Allen a également discuté d'autres expériences en cours telles que Ivy, Dex, Σ-State, Crypto Conditions et Michelson
La présentation d’Allen s’est terminée par plusieurs questions ouvertes sur les signatures intelligentes, notamment sur la manière de s’assurer qu’elles peuvent prendre en charge le contexte, les oracles et la révocation - des questions vastes inhérentes à la jeunesse relative du domaine.
La vidéo complète des signatures intelligentes BPASE est en ligne. Des informations supplémentaires sur le sujet sont disponibles dans l’article « Smarter: Signatures: Experiments in Verification », de Christopher Allen et Shannon Appelcline.