Condiciones posteriores
La imagen general
Las post-condiciones son restricciones que adjuntas a una transacción que definen exactamente qué activos (STX, tokens SIP-010, NFT) pueden moverse y en qué cantidad.
Si la ejecución del contrato inteligente subyacente violaría tus límites declarados, toda la transacción se aborta.
Incluso si un contrato inteligente contiene lógica inesperada, no puede mover activos más allá de lo que permiten tus post-condiciones.
Las post-condiciones se construyen del lado del cliente, por lo general por el desarrollador del lado del cliente. Son parte de la transacción firmada. Los contratos no pueden modificarlas.
Las billeteras analizarán la transacción firmada y mostrarán las post-condiciones declaradas al usuario antes de transmitirla.
¿Qué son las post-condiciones?
Las post-condiciones son afirmaciones sobre una transacción en cadena que deben cumplirse; de lo contrario, la transacción se abortará durante la ejecución. En otras palabras, las post-condiciones actúan como una red de seguridad, permitiéndote especificar qué cambios de estado pueden ocurrir en una transacción.
A veces, el desarrollador del lado del cliente no es la misma persona que escribió el contrato inteligente subyacente y puede no estar familiarizado en profundidad con su lógica interna, llamadas externas anidadas a otros contratos o casos límite. Esta lógica ayuda a limitar la cantidad de daño que se le puede hacer a un usuario y a sus activos, ya sea por un error o por comportamiento malintencionado.
En pocas palabras, las post-condiciones son un conjunto de condiciones que deben cumplirse antes de que se ejecute la transacción de un usuario. El objetivo principal de las post-condiciones es limitar la cantidad de daño que se le puede causar a los activos de un usuario debido a un error, intencional o no.
Las post-condiciones son una característica de seguridad adicional incorporada en el propio protocolo Stacks que ayuda a proteger a los usuarios finales. En lugar de ser una característica de los contratos inteligentes Clarity, se implementan en el lado del cliente y están pensadas como una salvaguarda adicional contra contratos maliciosos.
Se envían como parte de la transacción cuando el usuario la inicia, por lo que debemos implementar las post-condiciones en el frontend. Siempre que transfieras un activo (fungible o no fungible) de una dirección a otra, deberías aprovechar las post-condiciones.
Las post-condiciones actúan como una red de seguridad, permitiéndote especificar qué cambios de estado pueden y deben ocurrir durante la ejecución de una transacción.
Última actualización
¿Te fue útil?