Documentación

Guías completas de ElyxS, documentos legales, referencias de contratos inteligentes, ayuda de billetera y recursos de verificación para usuarios de la red de pruebas de Supra.

Documentación

Contratos inteligentes

Contratos inteligentesActualizado: 29 jun 2026

Contratos inteligentes

Referencia técnica de paquetes Move de ElyxS, direcciones de despliegue, integración dVRF, flujos de pago y verificación en la cadena.

Despliegue en la cadenatestnet

Dirección del contrato

Dirección de despliegue actual

0x99f449ff67f017498fa94419db27cf9bf75095f68aad3418c180d6a8570e8d25

Alcance de referencia

Resumen técnico compacto de la estructura de paquetes, modelo de despliegue y verificación de resultados.

Paquetes en el conjunto actual8
Fuente de aleatoriedadSupra dVRF
Comprobación de resultadoMediante SupraScan

Modelo de despliegue

Todos los paquetes de ElyxS se despliegan bajo una única dirección en la red Supra activa del entorno actual. La dirección actual y el enlace de SupraScan deben coincidir con lo que muestra la interfaz de ElyxS.

Paquetes Move

El protocolo se divide en paquetes enfocados bajo una misma dirección. La lista siguiente destaca los principales paquetes públicos y de soporte que forman la arquitectura en la cadena actual.

  • draw_base - Tablas base, índices, capabilities y control de acceso.
  • draw_data - DrawState, rondas y seguimiento de depósito VRF.
  • draw_engine - Venta de boletos, ejecución de sorteos y gestión del ciclo de vida.
  • draw_finance_core - Módulos base de premio mayor y tesorería heredada.
  • draw_finance - Tesorería con varios fondos, pagos y reclamaciones de reembolso.
  • draw_utils - Helpers compartidos para historial, metadata, feature flags y datos de pricing.
  • draw_rewards_engine - Proxy delgado de vista de pagos para lecturas de recompensas y pagos.
  • draw_gateway - Gateway público para funciones de registry y flujos seleccionados de usuario.
  • draw_vrf_gateway - Integración con Supra dVRF: solicitudes de aleatoriedad y callbacks.
  • SupraVrf y oracle_core - Dependencias locales para interfaces de dVRF y oráculo.

Invariantes de seguridad

  • Cada sorteo avanza por un conjunto fijo de estados: ACTIVE, DRAWING, COMPLETED, CANCELED, REFUNDING, REFUNDED y PAUSED. No se permiten transiciones inválidas hacia atrás.
  • La aleatoriedad queda ligada a un sorteo específico mediante request_id; no es posible reproducirla en otro contexto.
  • El saldo en custodia temporal siempre cubre premios pendientes, comisiones y reembolsos.
  • Cada premio solo puede pagarse una vez, impuesto por la marca claimed en la cadena.
  • Todas las operaciones críticas emiten eventos en la cadena verificables.

Verificar un sorteo

Cada resultado de sorteo puede verificarse independientemente en la cadena:

  1. Encuentra el sorteo en la pestaña Hub -> Historial y pulsa el enlace de verificación.
  2. El enlace abre el registro VRF relacionado en SupraScan.
  3. Comprueba que el registro pertenece al sorteo y dirección de contrato esperados.
  4. Compara el resultado mostrado en ElyxS con el registro en la cadena abierto desde la interfaz.

Qué revisar después

Después de leer la referencia, puedes recorrer los pasos centrales de verificación en la cadena directamente en el producto y en SupraScan.

  1. Confirma que la dirección de despliegue coincide con el contrato abierto en SupraScan.
  2. Comprueba que el estado del sorteo en el Hub coincide con el registro en la cadena actual.
  3. Abre la transacción de callback VRF del sorteo seleccionado.
  4. Cruza el resultado final y el rastro de pagos con los eventos en la cadena y la dirección del contrato.

Referencias útiles

Si necesitas más contexto sobre terminología, errores o flujos de usuario, abre las secciones de referencia cercanas.

Abrir FAQ

Documentos relacionados