Otro de los oradores de Blockstream en la conferencia “Análisis de protocolos blockchain e ingeniería de seguridad 2018” (“BPASE‘18”, por sus siglas en inglés) fue Christopher Allen. Habló de las firmas inteligentes y, en particular, se ocupó de los experimentos sobre autorización que se vienen multiplicando en los últimos años.
Las firmas inteligentes son una extensión de las firmas digitales clásicas y tienen un objetivo similar: la autorización. No obstante, a diferencia de las firmas digitales clásicas, que dependen de terceros que definen la política de confianza de las firmas, las firmas inteligentes insertan sus políticas de confianza en las propias firmas. Esta capacidad se fundamenta en los lenguajes de programación basados en predicados, que pueden utilizarse para posibilitar las expresiones multifactoriales, la delegación de firmas y la compatibilidad transaccional.
En su charla, Allen propuso seis requisitos distintos para estas nuevas firmas inteligentes. Sugirió que cualquier lenguaje de firma inteligente debe ser componible, inspeccionable y comprobable, en pos de maximizar la seguridad y garantizar que las firmas sean analizables tanto de manera casual como formal. Además, señaló que deben formar parte de sistemas deterministas, limitados y eficientes, a fin de poder ejecutarlos en cualquier lugar con los mismos resultados.
Por supuesto, el antecesor de las firmas inteligentes es Bitcoin Script. Este ha sido sometido a numerosas pruebas y es muy confiable, pero también tiene limitaciones, aunque hay extensiones nuevas, como las firmas Schnorr y los MAST, que pronto van a cambiar este aspecto. Allen también describió en detalle muchos experimentos nuevos con firmas inteligentes que están generando innovaciones en este espacio a paso veloz. El lenguaje Simplicity para blockchains de Blockstream es el que más se acerca a los requisitos de Allen para las firmas inteligentes, y una de sus características más notables es la comprobabilidad. Allen también comentó otros experimentos en curso, como Ivy, Dex, Σ-State, Crypto Conditions y Michelson.
La charla finalizó con varias preguntas abiertas de amplio alcance sobre las firmas inteligentes –por ejemplo, cómo asegurar que resulten compatibles con el contexto, los oráculos y la revocación–, que revelan la relativa juventud del campo.
El video de la charla completa sobre firmas inteligentes en la BPASE ya está disponible en línea para quienes deseen verlo. Para conocer más detalles del tema, consulte el trabajo de investigación “Firmas más inteligentes: experimentos sobre verificación”, de Christopher Allen y Shannon Appelcline.