Name: Ponente invitado del Bloque IV: Leo Alt - verificación formal en la pila de Solidity
Uploaded: 2023-01-03T04:48:37+00:00
Duration: 1 h 5 s
Description: Leo Alt (@leonardoalt) ofrece una demostración muy especial guiada utilizando herramientas de verificación formal en la pila de Solidity. Aquí hay muchos consejos: pónganse sus sombreros de investigador de seguridad y disfruten!

Crea una cuenta para usar la IA

Crea una cuenta gratuita para desbloquear todas las funciones:

Haz preguntas sobre los vídeos con IA
Usa la búsqueda inteligente (IA)
Guarda tus vídeos favoritos
Marca tus categorías preferidas
Organiza tus subcategorías favoritas
Accede a tu página de favoritos personalizada
Accede al historial de tus conversaciones
Personaliza tu página de inicio con tus favoritos

Crear una cuenta

¿Ya tienes una cuenta? Iniciar sesión