🇪🇸 Marlowe 11: simulación en el Playground Marlowe

:es: Traducción al español de “Marlowe 11: simulation 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


Bien, veamos cómo hacemos la simulación en Playground Marlowe, así que estamos en la pestaña de simulación, tenemos el contrato de garantía aquí, puedes ver el estado actual del contrato, se muestra en la ventana principal y se nos ofrece la oportunidad de añadir una entrada a la transacción que estamos construyendo y lo que se nos ofrece aquí es que estamos esperando que Alice haga un depósito de 450 ADA. El Playground nos permite tener cualquier tipo de token, funciona con multi-moneda, el token con cuerdas vacías como nombres y la moneda es ADA, así que depositamos 450 Ada en la cuenta de Alice 0, hacemos eso presionando en el botón más aquí. Y si hacemos eso, lo que vemos es un cambio, si miramos el compositor de transacciones vemos que ese depósito se ha convertido en parte de la transacción que estamos construyendo aquí. Y el botón rojo de ahí nos permite retirarlo si decidimos que queremos cambiar de opinión. Hemos construido la transacción que queremos añadir a la cadena y estos son los controles que nos permiten lidiar con eso, en la derecha dice “Aplicar” de manera que pondrá la transacción en la cadena, pero también podemos hacer otras cosas, podemos avanzar el tiempo del bloque haciendo clic en “Siguiente bloque”, podemos restablecer el estado de todo el contrato de vuelta al principio o podemos deshacer el último paso, así que con eso podemos dar un paso adelante y atrás a través de diferentes posibilidades en el contrato.

Pero vamos a aplicar el contrato, apliquemos la transacción y veamos lo que pasa, lo que vemos ahora, mirando este panel de estado en la parte de abajo, es que podemos ver que el estado actual, dice que la cuenta de Alice 0 tiene 450 ADA dentro de ella y si avanzamos las cosas un poco, mirando la transacción, hemos hecho la elección de cero para Alice y uno para Bob, así que no están de acuerdo sobre qué hacer para resolver la disputa, si aplicamos eso, veremos que ahora, en el estado actual, podemos ver que la elección de cero por parte de Alice y uno de Bob ha tenido lugar. Y ahora, si miramos hacia atrás al compositor de entrada, podemos ver que a Carol se le ha pedido que realice una elección de si está de acuerdo en favor de Alice o si está de acuerdo en arbitrar a favor de Bob y esa elección determinará el resultado general del contrato. Así que pueden ver que el patrón aquí es que construyes, seleccionas las entradas del compositor de entrada que en cualquier momento ofrecen las entradas únicas que avanzarán el contrato, podríamos tener una entrada por transacción, eso sería perfectamente posible, pero esto nos permite acumular múltiples entradas en una sola transacción. De modo que ponemos entradas en la transacción hasta que estemos listos para aplicarla, aplicamos, pero luego en cualquier punto podemos deshacer el último paso, eso eliminaría, deshace una transacción, eliminaría entradas de una transacción, etc, podemos dar un paso atrás y adelante a través del estado del contrato. Bien, eso es todo para la simulación y lo que les animo a hacer es probar esto por ustedes mismos, este video sólo les da un breve resumen de cómo operar los controles, bien lo que miraremos a continuación es cómo funcionan las características de análisis.