🇪🇸 Marlowe 12: análisis en el Playground Marlowe

:es: Traducción al español de “Marlowe 12: analysis in the Marlowe Playground”

Publicado en el canal de Youtube de Simon Thompson el 16 de Abril de 2020

Enlace a la versión doblada al español


Pasemos al aspecto final del Playground Marlowe y eso es lo que nos permite realizar análisis estáticos en contratos, así que aquí estamos en la pestaña de simulación, tenemos el contrato actual cargado, es el contrato de garantía y en la parte inferior del panel, si hacemos clic en análisis estático, vemos un botón que dice “analizar” si hacemos clic en eso obtenemos resultados del análisis y en este caso el resultado es que el análisis estático no pudo encontrar ninguna ejecución que resulte en cualquier advertencia. Así que eso está diciendo muy claramente que ninguna de las cosas que buscamos pueden suceder, sin embargo ejecutamos el contrato.

Ahora verás inicialmente que a Alice se le requirió hacer un depósito de 450 ada, cambiemos para que ahora se le pida que deposite 40 ada y volvamos a analizar. Lo que encontramos aquí es que el análisis estático encontró el siguiente contra ejemplo y si nos desplazamos hacia abajo vemos una lista de las transacciones en infracción y desplazándonos hacia abajo hasta el fondo vemos el problema, ves que lo que tenemos es un pago parcial, se supone que el contrato haga un pago de 450 ada, pero sólo 40 están disponibles, así que tenemos un claro diagnóstico de cuál es el problema y, subiendo nuevamente, tenemos la lista de transacciones que nos llevan a esto que será el depósito de Alice y luego cuando el gato es transferido con éxito, el pago a Bob, pero Bob no es capaz de recibir 450 ada, sólo es capaz de recibir 40, así que tenemos lo que se llama pago parcial, le pagamos 40 pero no consigue los 450 completos. Como dije, cuando introduje el análisis estático, esto se hace en la nube, así que podemos utilizar recursos sustanciales pero no son utilizados en tu propia computadora, es funcionalidad basada en el navegador, soporta el editor, etc, pero usamos recursos de la nube para hacer el análisis. Bien, eso redondea mi introducción del Playground, así que vamos a tratar de envolver todo.