Transacción simulada
Alice
Balance token: 100
Nonce: 7
Bob
Balance token: 20
Nonce: 2
La lógica simulada exige saldo suficiente. Una llamada inválida revierte el cambio de estado del contrato.
Laboratorio 04 · Estado y ejecución
Seguir una transacción paso a paso
Explorá un modelo educativo del recorrido de una llamada a contrato: firma, validación básica, lectura de estado, ejecución determinista, escritura, evento y estado final. No es una implementación completa de la EVM ni reproduce todos sus opcodes.
Pipeline
1
Firmar transacción
El emisor autoriza un mensaje con destino, datos y nonce.
2
Validar envoltorio
Firma, nonce y capacidad de pagar la ejecución.
3
Leer estado
El contrato consulta balances relevantes.
4
Ejecutar regla
Comprobar saldo y calcular nuevos valores.
5
Escribir storage
Aplicar cambios si la ejecución no revierte.
6
Emitir evento
Registrar evidencia para consumidores externos.
Preparado para ejecutar.