Visita
https://archive.devcon.org/ para acceder a toda la biblioteca de charlas de Devcon con la facilidad de filtrar, listas de reproducción, sugerencias personalizadas, acceso descentralizado en IPFS y más.
En este taller práctico, pasaremos por el proceso de verificar formalmente contratos inteligentes. Los asistentes aprenderán (1) cómo especificar formalmente los requisitos funcionales relevantes de los contratos de Ethereum, como "la suma de los depósitos nunca excede el saldo del contrato", y (2) cómo verificar esto utilizando herramientas de análisis existentes para Ethereum.
Primero, mostraremos cómo especificar formalmente el comportamiento previsto de los contratos inteligentes. Examinaremos más de cerca las propiedades temporales de seguridad, una clase expresiva de propiedades para capturar qué secuencias de estados del contrato se consideran correctas. Presentaremos modismos comunes de requisitos, incluyendo control de acceso, propiedades basadas en el estado, invariantes de múltiples contratos, y otros.
A continuación, proporcionaremos una visión general de las herramientas de prueba existentes, como herramientas basadas en ejecución simbólica y fuzzers. El objetivo es entender cómo pueden ser utilizadas para identificar violaciones de las propiedades formalizadas, así como sus limitaciones para proporcionar garantías formales ilimitadas.
Finalmente, aprenderemos cómo los verificadores formales van más allá de las pruebas y pueden proporcionar garantías formales ilimitadas (para cualquier secuencia de transacciones). Examinaremos más de cerca el lenguaje de especificación utilizado por VerX y su método de verificación automatizada, que es fácil de usar y no requiere conocimientos profundos en verificación formal.
Ponente(s): Dimitar Dimitrov, Anton Permenev, Hubert Ritzdorf, Petar Tsankov
Nivel de habilidad: intermedio
Ruta: Seguridad
Palabras clave: técnico
Devcon es la conferencia de Ethereum para desarrolladores, investigadores, pensadores y creadores.
Devcon 5 se llevó a cabo en Osaka, Japón del 8 al 11 de octubre de 2019.
Devcon es organizado y presentado por la Fundación Ethereum, con el apoyo de nuestros patrocinadores. Para saber más, visita
https://ethereum.foundation/