¿Cómo funciona ErgoScript?

ErgoScript es el lenguaje de contratos inteligentes de Ergo - un DSL funcional basado en Scala que compila a ErgoTree. A diferencia del estilo imperativo de Solidity, ErgoScript es declarativo: defines condiciones que deben ser verdaderas para que una transacción sea válida. Tiene soporte integrado de Sigma Protocol para pruebas de conocimiento cero y opera en el modelo eUTXO donde los scripts protegen cajas.

• Funcional: condiciones declarativas, no código imperativo
• Basado en Scala: sintaxis familiar para desarrolladores JVM
• Sigma Protocols: soporte nativo de pruebas de conocimiento cero
• Protección de cajas: los scripts protegen UTXOs, no cuentas
• Determinista: ejecución predecible, costos conocidos