Traducción al español de la homepage www.cardanoroadmap.com
¿QUÉ ES CARDANO?
Cardano es una innovadora red blockchain de prueba de participación (proof of stake - PoS), que se está desarrollando en una plataforma de desarrollo de aplicaciones descentralizadas (DApp) con un libro mayor de múltiples activos y contratos inteligentes verificables. Construido con el rigor de métodos de desarrollo formal de alta seguridad, Cardano tiene como objetivo lograr la escalabilidad, interoperabilidad y sustentabilidad necesarias para las aplicaciones del mundo real. Cardano está diseñado para ser la plataforma preferida de las grandes DApps de misión crítica que sustentarán la economía del futuro.
Basado en investigaciones académicas revisadas por colegas, Cardano tiene una ética de apertura y transparencia. Todas las investigaciones y especificaciones técnicas que sustentan a Cardano se publican, y toda la actividad de desarrollo de Cardano se pone a disposición del público. Cardano es desarrollado conjuntamente por IOHK y sus socios. IOHK desarrolla la tecnología, la Fundación Cardano es responsable de supervisar el desarrollo y la promoción de Cardano, mientras que Emurgo impulsa la adopción comercial. Mientras construimos Cardano, somos simples custodios. Cuando la red esté totalmente descentralizada, pertenecerá a la comunidad, y será la comunidad la que decida su futuro a través de características avanzadas de gobernanza.
¿QUÉ ES LA HOJA DE RUTA DE CARDANO?
La hoja de ruta de Cardano es un resumen del desarrollo de Cardano, que se ha organizado en cinco épocas: Byron, Shelley, Goguen, Basho y Voltaire. Cada era se centra alrededor de un conjunto de funcionalidades que serán entregadas a través de múltiples versiones de código.
Mientras que las eras de Cardano serán entregadas secuencialmente, el trabajo para cada era ocurre en paralelo, con la investigación, la creación de prototipos y el desarrollo a menudo en curso, todo a la vez a través de las diferentes corrientes de desarrollo.
El trabajo de cada época se reúne y se presenta en su página dedicada, representando años de esfuerzo. Aquí encontrará una visión general de los objetivos de la época, así como descripciones de los principales componentes funcionales, enlaces a investigaciones académicas asociadas, actualizaciones de estado e incluso confirmaciones de código en tiempo real.
METODOLOGÍA
INVESTIGACIÓN ACADÉMICA
A diferencia de muchas otras blockchain, Cardano no se basa en fundamentos técnicos tomados de Bitcoin u otros sistemas de criptomonedas. En cambio, IOHK trabaja con académicos líderes mundiales en investigación fundamental, la mayoría de los cuales están sujetos a revisión académica por pares, con trabajos presentados en conferencias internacionales de primer nivel. El trabajo en todos los componentes principales y áreas funcionales comienza con dicha investigación para determinar qué es posible y cuál es la mejor manera de lograrlo.
PROTOTIPADO
En colaboración con el equipo de investigación, un equipo de prototipos técnicos experimenta con la implementación de las funciones y el enfoque descrito en la investigación. El objetivo es hacer posible lo que es teóricamente posible mientras se aprenden lecciones sobre cuestiones técnicas y funcionales de implementación en el mundo real, permitiendo la creación de especificaciones técnicas para construir el producto real.
ESPECIFICACIONES TÉCNICAS
En colaboración con el prototipado, se crean y publican especificaciones técnicas basadas en los resultados de la investigación y el prototipado, estableciendo la funcionalidad y el comportamiento esperados. Estas especificaciones aseguran que la implementación final del código sea fiel a la visión original de la investigación, cumpla con la funcionalidad requerida y sea técnicamente factible.
MÉTODOS FORMALES DE DESARROLLO
Los ingenieros de IOHK hacen un gran uso de los métodos formales de desarrollo: técnicas matemáticas rigurosas para probar que el software funciona exactamente como se pretende. Típicamente sólo se emplea en aplicaciones de alto riesgo como software de aviónica, sistemas para vuelos espaciales o software bancario de alto volumen, IOHK está aplicando este nivel de rigor al desarrollo de Cardano en una industria blockchain por primera vez.
PROGRAMACIÓN FUNCIONAL
IOHK abarca lenguajes de programación funcionales, entre los que destaca Haskell. Los lenguajes de programación funcionales no sólo son menos propensos a la ambigüedad y al error humano que otros lenguajes, sino que son más fáciles de probar y verificar desde un punto de vista matemático, lo que refuerza el compromiso de IOHK con el desarrollo formal de alta seguridad.