Código Acompañado de Demostraciones formales para la verificación de Contratos Inteligentes
¿Cómo se verifican actualmente los contratos inteligentes? Por regla general, los contratos inteligentes se almacenan en un blockchain y los interesados en ejecutarlos deben inspeccionar primero su código fuente. Si hay N interesados en ejecutar el código fuente, todos deben…