El producto empezó haciendo verificable el motor
Órdenes, liquidaciones, actualizaciones del oráculo y retiros se tratan como cálculos deterministas. El secuenciador ordena las operaciones firmadas y da una confirmación provisional; el sistema de pruebas comprueba la prioridad de precio y tiempo, el margen y las transiciones de liquidación. Ethereum solo actualiza la raíz canónica después de verificar la prueba.
La estructura está especializada en una aplicación. El libro blanco puso primero los futuros perpetuos y dejó los mercados al contado, la predicción, los préstamos y una máquina virtual auxiliar como trabajo futuro. La documentación actual del mercado al contado demuestra progreso, pero una hoja de ruta no prueba que todas las funciones estén operativas.
