Cómo funcionan las transacciones

Introducción

Las transacciones son la unidad fundamental de ejecución en Stacks. Cada transacción se origina en una cuenta de Stacks y se conserva en el historial de la red Stacks por la eternidad. Esta guía te ayuda a entender las transacciones de Stacks.

Ciclo de vida

Las transacciones pasan por fases antes de ser finalmente confirmadas.

1

Generar

Las transacciones se ensamblan de acuerdo con la especificación de codificación.

2

Validar y firmar

Se validan las transacciones para confirmar que están bien formadas. Se rellenan las firmas requeridas.

3

Transmitir

Las transacciones se envían a un nodo.

4

Registrar

Un minero recibe transacciones, las verifica y las añade al mempool, un área de retención para todas las transacciones pendientes.

5

Procesar

Los mineros revisan el mempool y seleccionan transacciones para el siguiente bloque que se va a minar. Dependiendo del tipo de transacción, pueden ocurrir diferentes acciones durante este paso. Por ejemplo, se podrían verificar condiciones posteriores para una transferencia de tokens, podrían acuñarse tokens definidos por contratos inteligentes o podría intentarse llamar a un método existente de un contrato inteligente.

6

Confirmar

Los mineros proponen con éxito bloques con un conjunto de transacciones. Las transacciones dentro se propagan correctamente a la red cuando los stackers las aprueban.

Una transacción puede tener uno de tres estados una vez que está registrada: pendiente, éxito, o fallida.

Tipos

Stacks admite un conjunto de diferentes tipos de transacción:

Tipo	Valor	Descripción
Cambio de tenencia	TenureChange	Un cambio de tenencia es un evento en la blockchain existente de Stacks cuando un minero asume la responsabilidad de crear nuevos bloques de Stacks de otro minero. Un cambio de tenencia ocurre cuando se descubre un bloque de Stacks mediante una sortición criptográfica. Realizado por stackers.
Bloque de cambio de tenencia encontrado	TenureChange-BlockFound	Una TenureChange-BlockFound transacción es inducida por una sortición ganadora. Esto hace que el nuevo minero comience a producir bloques y detiene al minero actual de producir más bloques.
Extensión de cambio de tenencia	TenureChange-Extend	Una TenureChange-Extend, inducida por los Stackers, restablece el presupuesto de ejecución en curso de la tenencia actual, permitiendo así que el minero continúe produciendo bloques.
Transferencia de tokens	token_transfer	Transferencia de activos de un remitente a un destinatario
Despliegue de contrato	smart_contract	Instanciación de contrato
Llamada a contrato	contract_call	Llamada a contrato para una función pública no de solo lectura

Comisiones

Las comisiones se usan para incentivar a los mineros a confirmar transacciones en la blockchain de Stacks. La comisión se calcula en función de la tarifa estimada y el tamaño de la transacción sin procesar en bytes. La tarifa es una variable determinada por el mercado. Para la testnet, se establece en 1 micro-STX.

Nonces

Cada cuenta lleva una propiedad nonce que indica el número de transacciones procesadas para la cuenta dada. Los nonces son códigos de un solo uso, que comienzan en 0 para cuentas nuevas y se incrementan en 1 en cada transacción.

Los nonces se añaden a todas las transacciones y ayudan a identificarlas para garantizar que las transacciones se procesen en orden y para evitar el procesamiento duplicado.

El mecanismo de consenso también asegura que las transacciones no se "reproduzcan" de dos maneras. Primero, los nodos consultan sus salidas de transacciones no gastadas (UTXOs) para satisfacer sus condiciones de gasto en una nueva transacción. Segundo, los mensajes enviados entre nodos revisan números de secuencia.

Cuando se construye una nueva transacción de transferencia de tokens, se necesita obtener y establecer el nonce más reciente de la cuenta.

Cómo se detectan y resuelven las brechas de nonce

Las transacciones de Stacks deben ejecutarse estrictamente en orden de nonce. Cuando se envía una transacción con un nonce más alto de lo esperado, la red no la rechaza de plano; en cambio, registra la brecha y espera a que lleguen los nonces faltantes.

A continuación hay una explicación conceptual, con respuestas visuales de la API, de cómo se comporta el sistema cuando los nonces se envían fuera de orden.

1

Estado inicial (sin transacciones pendientes)

{
  last_mempool_tx_nonce: null,
  last_executed_tx_nonce: 241,
  possible_next_nonce: 242,
  detected_missing_nonces: [],
  detected_mempool_nonces: []
}

Interpretación

• Todas las transacciones hasta el nonce 241 se han ejecutado

• La red espera el nonce 242 siguiente

• No hay transacciones esperando actualmente en el mempool

• No existen brechas de nonce

2

Envío de un nonce futuro (245)

{
  last_mempool_tx_nonce: 245,
  last_executed_tx_nonce: 241,
  possible_next_nonce: 246,
  detected_missing_nonces: [244, 243, 242],
  detected_mempool_nonces: []
}

Interpretación

• Una transacción con nonce 245 ahora está en el mempool

• Nonces 242, 243, y 244 faltan

• La ejecución no puede continuar hasta que se envíen esos nonces

• possible_next_nonce refleja el nonce observado más alto + 1

3

Envío de una brecha parcial (243)

{
  last_mempool_tx_nonce: 245,
  last_executed_tx_nonce: 241,
  possible_next_nonce: 246,
  detected_missing_nonces: [244, 242],
  detected_mempool_nonces: [243]
}

Interpretación

• El nonce 243 ahora está presente en el mempool

• Nonces 242 y 244 todavía faltan

• La ejecución sigue bloqueada

• La API distingue entre:

  • detected_mempool_nonces → presente pero no ejecutado

  • detected_missing_nonces → requerido pero aún no visto

4

Rellenando más brechas (244)

{
  last_mempool_tx_nonce: 245,
  last_executed_tx_nonce: 241,
  possible_next_nonce: 246,
  detected_missing_nonces: [242],
  detected_mempool_nonces: [243, 244]
}

Interpretación

• Nonces 243 y 244 ambos están esperando en el mempool

• El nonce 242 aún falta

• La ejecución permanece pausada en 241

5

Todos los nonces requeridos presentes (242)

{
  last_mempool_tx_nonce: 245,
  last_executed_tx_nonce: 241,
  possible_next_nonce: 246,
  detected_missing_nonces: [],
  detected_mempool_nonces: [242, 243, 244]
}

Interpretación

• Todos los nonces requeridos (242–245) están ahora disponibles

• No quedan brechas

• La red puede ejecutar transacciones secuencialmente

6

Después de que la ejecución finaliza

{
  last_mempool_tx_nonce: null,
  last_executed_tx_nonce: 245,
  possible_next_nonce: 246,
  detected_missing_nonces: [],
  detected_mempool_nonces: []
}

Interpretación

• Todas las transacciones pendientes se han ejecutado

• El nonce de la cuenta ha avanzado a 245

• El siguiente nonce válido ahora es 246

• El estado del mempool está limpio de nuevo