Contratos Inteligentes de æternity.

La plataforma pública blockchain de æternity tiene el objetivo de convertirse en el hogar de un ecosistema vibrante de aplicaciones descentralizadas, que se ejecuta en varios dispositivos, incluido el móvil. Para lograr este objetivo, se admitirán tres tipos de contratos inteligentes:

1. Introducción de un lenguaje de contrato nuevo y más seguro llamado Sophia. Sophia es un lenguaje de programación funcional tipado, un dialecto de ML y cercano a Reason. Se compila en la máquina virtual de alto nivel de æternity llamada FTWVM (Functional Typed Warded Virtual Machine). El uso principal de Sophia estará en la programación a nivel del sistema, o en otras palabras, aplicaciones más complejas.
2. El lenguaje de contrato inteligente de alto nivel llamado Varna, que es similar al lenguaje de Script de Bitcoin, pero sin bucles y un precio de gas fijo. Utiliza su propia máquina virtual: HLM (High Level Machine) y su código es evaluado directamente por el software del nodo. Varna está diseñado para cubrir contratos rápidos y cotidianos.
3. Contratos Inteligentes Solidity que se basan en una versión mejorada de EVM (Ethereum Virtual Machine). El objetivo aquí es permitir un transporte fácil, pero aún más seguro, de los contratos de Ethereum a æternity.

Los contratos inteligentes de æternity son objetos de primera clase. Esto significa que están integrados en el protocolo core blockchain. A diferencia de otros oráculos de blockchain, nombres, tokens, mecanismo de gobernanza y canales de estado también son objetos de primera clase. Como tales, pueden interactuar entre sí de manera mucho más eficiente, segura y económica, mejorando significativamente las capacidades de escalabilidad del sistema y permitiendo el rápido rendimiento en una cadena de bloques pública. Además, tener todas las características importantes definidas como objetos de primera clase hace que escribir código para æternity sea más fácil. Estos son los principales objetivos de los Contratos Inteligentes:

1. La ejecución del contrato debe ser segura.
Esto significa que el usuario debería ser capaz de especificar y probar automáticamente las propiedades del contrato. Esto se logra mediante el lenguaje Sophia y el FTWVM y permitirá una seguridad de contrato inteligente de nivel empresarial en una cadena de bloques pública.
2. La ejecución del contrato debe ser eficiente y escalada.
Para lograr una ejecución eficiente del contrato, æternity proporciona un lenguaje de alto nivel para la ejecución rápida de contratos simples y una máquina virtual eficiente para contratos Turing complete. Las capacidades de este lenguaje sencillo se han mejorado enormemente gracias a la disponibilidad de objetos de primera clase, como canales de estado, tokens y oráculos, y un nuevo tipo de algoritmo de consenso: Bitcoin-NG.
3. La ejecución del contrato debe ser barata.
El precio de la ejecución del contrato será determinado por los mineros y los usuarios. Sin embargo, al proporcionar canales de estado, formas eficientes de ejecutar contratos, y un lenguaje de contrato de tarifa plana y de alto nivel, los precios deberían mantenerse bajos.
4. Debería haber una manera simple de migrar de los contratos inteligentes de Ethereum a los contratos inteligentes de æternity.
By providing a version of the EVM it is easy to migrate EVM contracts to æternity.

No existe un límite para el volumen de contratos inteligentes que pueden procesarse por segundo, ya que no comparten el estado. Los contratos pueden ser procesados ​​en paralelo. Creemos que este enfoque de los contratos descentralizados contribuirá a la creación de un ecosistema de aplicaciones que no podrán sobrecargar el sistema blockchain de æternity, causando errores, demoras e incrementando el costo de uso si millones o incluso miles de millones intentan usarlo. El lanzamiento de Mainnet está programado para Q2, 2018.