馃嚜馃嚫 Actualizaci贸n de Cardano por Charles Hoskinson (5 Feb, 2020)

:es: Traducci贸n al espa帽ol de Charles Hoskinson Cardano Update - 5/2/2020

Publicado en el Foro de Cardano por @Eric_Czuleger, el 5 de Febrero de 2020.


Charles Hoskinson comparti贸 una breve actualizaci贸n del proceso, luego de una reuni贸n de alto nivel con su equipo sobre los requisitos funcionales y no funcionales de la red de prueba de Shelley.

Breve resumen

  • Cardano se construy贸 gui谩ndose mediante m茅todos formales y un enfoque revisado por pares para crear un software basado en la evidencia.

  • Estamos cerca de completar la ciencia alrededor de Ouroboros, y ahora es el momento de decirle al mundo lo que hicimos y por qu茅 es importante.

  • El cambio a la red de prueba de Shelley en Haskell se producir谩 en dos fases. Primero para los operadores de stake pools que se transfieren de la ITN, y luego para la base de usuarios m谩s amplia.

  • Actualmente estamos viendo no s贸lo el proceso de la Propuesta de Mejora de Cardano (CIP), sino tambi茅n un proceso de mejora de Cardano que impulsar谩 la adopci贸n de ADA.

  • Hemos comenzado a explorar asociaciones m谩s amplias en la comercializaci贸n.

Forjando un nuevo proceso

El primer informe de Root9B ha salido sobre la auditor铆a de seguridad del nuevo c贸digo. El informe de la auditor铆a viene con lo bueno, lo malo y lo feo. Pero tambi茅n nos da la oportunidad de arreglar estos temas antes de publicar el informe final. Esto pone de relieve nuestro proceso de desarrollo. Nos gustar铆a tomarnos un momento para levantar el velo sobre c贸mo IOHK construye software. Creemos que esto ayudar谩 a la gente a entender la distinci贸n entre nosotros y la industria en su conjunto.

Al principio estaba Bitcoin. Era un white paper suelto. Era corto, no ten铆a pruebas de seguridad ni un modelo en serie. Explicaba lo que Satoshi estaba tratando de hacer. Nos dio una idea de c贸mo pod铆an funcionar los protocolos. El white paper tambi茅n nos dio una idea de la filosof铆a detr谩s de todo esto.

Esto fue emparejado con algo de c贸digo C++ que estaba lleno de muchas decisiones de dise帽o curiosas. Vino junto con una buena cantidad de sudor, sangre y l谩grimas. No hace falta decir que estaba claro que se hab铆a trabajado durante a帽os antes de su lanzamiento al p煤blico en general. En ese momento, sin embargo, esta fue una idea revolucionaria. Sin embargo, la industria ha evolucionado mucho en los 煤ltimos diez a帽os.

Hemos llegado al punto en que personas reales, gobiernos y corporaciones est谩n haciendo apuestas multimillonarias sobre con cu谩l compa帽铆a de criptograf铆a van a ir. Las capacidades del ledger y del sistema necesitan ser capaces de escalar de una forma que Bitcoin nunca podr铆a soportar. Estas necesidades tambi茅n exceden el alcance de la actual encarnaci贸n de Ethereum. Estamos posicionando a Cardano para satisfacer estas necesidades.

El rigor cient铆fico primero

Cuando comenzamos el proyecto Cardano decidimos pensar en la ciencia de una manera diferente a como lo hace nuestra industria. Esto se opone a escribir un white paper o desarrollar ideas vagas, lo que vimos que otras empresas hac铆an en ese momento. Nuestra decisi贸n fue comenzar con el proceso cient铆fico revisado por pares.

Lo primero que hicimos fue contratar a un gran grupo de cient铆ficos. Hicimos preguntas dif铆ciles. Esto los llev贸 a pensar profundamente sobre los modelos de seguridad, las pruebas de seguridad y los adversarios. Ellos pensaron en todos los problemas principales que plagaban la industria blockchain en ese momento. Este fue un gran paso adelante porque este tipo de ciencia no se ha hecho a gran escala comercial por nadie en nuestra industria. Sin embargo, estamos empezando a ver que este tipo de labores siguen el mismo camino.

M茅todos formales

Sin embargo, no nos detuvimos all铆. En 2015 decidimos seguir con el concepto de m茅todos formales. Esto es algo que muy pocos ingenieros de software que trabajan en blockchain entienden o aprecian plenamente. En esencia, una metodolog铆a formal se comienza escribiendo rigurosas especificaciones matem谩ticas. Luego se espera construir alrededor de ellas, de una manera que las cumpla completamente.

Tenemos el concepto de Ouroboros. Hay muchos sabores de 茅l, pero lo que significa es mucho m谩s importante de lo que los art铆culos acad茅micos pueden llevar a cabo. Estos documentos permiten a un ingeniero mirarlos y entender sin ambig眉edades que lo que han creado coincide con la intenci贸n del autor del sistema. Las especificaciones desarrolladas con m茅todos formales pueden ser analizadas de manera rigurosa para su correcci贸n.

Puedes verificar que las especificaciones cumplen con los requisitos de dise帽o, de diferentes maneras. Elegimos ir por este camino. La mayor铆a de las veces, cuando el software se escribe de esta manera, a帽ade a帽os a la hoja de ruta. Eso es exactamente lo que pas贸 con IOHK. Cuando elegimos ir por este camino, contratamos cient铆ficos y expertos en m茅todos formales. Luego tuvimos que averiguar c贸mo hacer m茅todos formales con criptomonedas. Hasta ese momento, nadie hab铆a hecho eso antes.

Avanzando en el espacio

Algunos proyectos en el espacio se han acercado al mismo nivel de rigor. Sin embargo, no hubo ning煤n esfuerzo a escala de proyecto para lograr esta haza帽a cuando comenzamos en 2015. Hemos visto que algunos proyectos, como Tezos, comienzan a adoptar m茅todos formales en sus pr谩cticas. Es importante recordar que IOHK fue el l铆der del mercado en la revisi贸n por pares, m茅todos formales, y la generaci贸n de una tuber铆a que nos permiti贸 ir de la revisi贸n por pares, a los m茅todos formales, al c贸digo real comprobable. Tambi茅n podemos hacer esto con bastante rapidez.

Hemos llamado a este enfoque 鈥渟oftware basado en la evidencia鈥. La raz贸n de esto es que se puede ver la cadena de custodia de la evidencia en la eficacia del software. Hemos generado algunos contenidos en Youtube y en nuestro blog oficial sobre esto. All铆 podr谩s ver a nuestros principales cient铆ficos hablando en detalle sobre lo que es el software basado en la evidencia.

M茅rito por terceros

Al final, podemos construir un gran software de nuestro lado, pero hay una diferencia entre lo que IOHK puede hacer, y la confirmaci贸n por parte de terceros de que nuestro trabajo se ha hecho correctamente. Por eso es importante tener auditor铆as de seguridad independientes. Tambi茅n es necesario contar con el proceso de revisi贸n por pares.

La verificaci贸n de terceros es necesaria para constatar que la ciencia se hizo correctamente. Es vital que sean imparciales, monetaria y filos贸ficamente. Tambi茅n es importante que una organizaci贸n ponga en juego su credibilidad al confirmar la exactitud y seguridad de nuestro producto.

Tambi茅n estamos empezando a introducir esta filosof铆a en nuestra gesti贸n de proyectos y planificaci贸n de productos, lo que significa que, por primera vez en la historia, tenemos a disposici贸n un conjunto de definiciones y documentos de los proyectos de los 煤ltimos tres a帽os, para consolidar un conjunto universal de alcances, as铆 como requisitos funcionales y no funcionales. Hemos pasado las 煤ltimas tres semanas reuniendo esto a partir de los documentos de origen y las incidencias registradas en Github. Por el momento, cubre el alcance hasta la red de prueba de Shelley. En el futuro cada proyecto tendr谩 una documentaci贸n similar.

Aumentar la transparencia

Nos gustar铆a se帽alar que debajo de la superficie, hay una enorme cantidad de trabajo en curso. Esto es a menudo invisible para los seguidores de Cardano, porque generalmente s贸lo ven las salidas. Sin embargo, hay espacio para la experimentaci贸n, la creaci贸n de prototipos y para hablar con el cliente. En 煤ltima instancia, la pregunta es: "驴Lo hicimos bien? En 煤ltima instancia, esto lo decidir谩n nuestros usuarios y nuestros socios.

Tomemos por ejemplo, la Red Incentivada (ITN). Esta fue creada para generar una conversaci贸n alrededor de la experiencia de usuario para el staking. Quer铆amos mirar el modelo de negocio del staking, y averiguar c贸mo funciona el protocolo de Ouroboros. Por eso elegimos un m茅todo de prototipo r谩pido. Nos permiti贸 cambiar las cosas semanalmente. Nos permiti贸 jugar con una amplia gama de ideas, y configurar las cosas r谩pidamente con la comunidad. Esto nos permiti贸 tener una ventaja experimental. Este fue el punto de la ITN.

Progreso y participaci贸n

La participaci贸n ha sido abrumadora, al igual que el apoyo. Estas cosas combinadas son las que hacen a un proyecto de software un gran proyecto. Est谩 llevando mucho tiempo juntar los hilos de la manera correcta. Tambi茅n est谩 llevando tiempo comunicarse de manera correcta. No hemos hecho el mejor trabajo en ser abiertos sobre c贸mo es nuestro proceso en realidad. Hemos sido insulares y miopes a veces, y esto significa que algunas personas han olvidado lo que est谩 sucediendo.

Sin embargo, en 2019 continuamos siendo la plataforma con m谩s desarrollo en Github, basado en los commits. Creemos que mantendremos esta velocidad, si no m谩s, en 2020. Decimos esto para dar a los usuarios una idea de la enorme cantidad de trabajo que est谩 sucediendo detr谩s de escena.

Acontecimientos en Febrero

En los pr贸ximos meses empezar谩s a ver los frutos de nuestro trabajo. Este mes tendremos el hard-fork de Ouroboros BFT, que est谩 programado tentativamente para el 20 de Febrero. Esperamos tambi茅n obtener el c贸digo de reinicio de Byron este mes. Este ser谩 el primer producto de nuestra rigurosa aventura. Realmente es nuestro trabajo m谩s gratificante como empresa.

Si quieres ver en qu茅 se basa todo este trabajo, puedes ir al repositorio de IOHK en Github y ver nuestro repo titulado 鈥淐ardano Ledger Specs鈥 (especificaciones del ledger de Cardano). Ese es el dise帽o de lo que estremos lanzando este mes. Se lanzar谩 con la red de prueba de Shelley y la red principal de Shelley, muy pronto. En la parte posterior del reinicio de Byron, comenzaremos a encender la red de prueba de Shelley en Haskell. Esto suceder谩 en dos fases.

Transici贸n de la ITN

La primera ser谩 para que los operadores de stake pools ayuden a la transici贸n de los que tienen stake pools en la ITN, a la red de prueba de Shelley basada en Haskell. Eso deber铆a ser un proceso de unas 2 a 4 semanas. Despu茅s de eso, ser谩 liberado el lado del consumidor. Eso implicar谩 una verificaci贸n del balance para lo que participaron en la ITN. Los usuarios deber铆an poder verificar sus balances en la segunda iteraci贸n.

A partir de entonces s贸lo necesitamos seleccionar una fecha para el lanzamiento de la red principal de Shelley. Por supuesto que tenemos mucho m谩s que hacer antes de que eso suceda. Estamos construyendo la infraestructura de apoyo y renovando los documentos de Cardano antes de la red principal. Actualmente estamos centrados en la entrega y estamos muy orgullosos de todo el trabajo que se ha hecho.

Pasando a Goguen

Despu茅s de eso vendr谩 el lanzamiento de Goguen. Para lograr Goguen necesitamos que ocurran seis cosas. Actualmente estamos haciendo un esfuerzo para la funcionalidad de m煤ltiples activos, identidad, or谩culos, metadatos, experiencia de desarrollo e interoperabilidad con Ethereum. Por supuesto, el lanzamiento de Goguen ir谩 junto con el trabajo adicional en Shelley. Creemos que cada mes o dos meses habr谩 una actualizaci贸n, o lanzamiento, importante para el futuro pr贸ximo. Estos son los frutos de a帽os de esfuerzo, m谩s que el r谩pido giro de nuevas actualizaciones. Adem谩s, comenzaremos la transici贸n del trabajo de ITN a Basho.

Basho y luego Voltaire

Estamos comenzando a obtener las especificaciones e ideas finales sobre c贸mo Basho se integrar谩 en Goguen. Los anuncios sobre esto vendr谩n en una fecha posterior. Creemos que el trabajo en esto comenzar谩 en marzo o abril. Mientras tanto, Voltaire est谩 trabajando con la Fundaci贸n Cardano.

Al mismo tiempo estamos colaborando con nuestros socios, esto incluye hacer contribuciones in茅ditas a Haskell. Por ejemplo, durante m谩s de un a帽o hemos estado financiando varios proyectos para compilar Haskell en javascript y web assembly. Esto har谩 que Haskell sea tan port谩til como Rust, C++ y C. Esto es importante para el proyecto Adrestia y Plutus.

Adrestia es una colecci贸n del backend de la billetera, funciones de explorador y bibliotecas. Permite a los usuarios construir billeteras para Cardano. Permite a exchanges listar Cardano. Tambi茅n permite el staking en fr铆o y el staking como un servicio. Hemos trabajado con varios socios de exchanges para reconstruir la experiencia de listar Cardano. Esto har谩 una experiencia estable unificada que sea port谩til, y goce de la misma estabilidad que el resto de nuestros productos. Es una tarea herculeana, porque estamos hablando de trabajar con 30 entidades diferentes.

La evoluci贸n del ecosistema

Otra tarea que se est谩 llevando a cabo actualmente, con la Fundaci贸n Cardano a la cabeza, es generar una forma de que Cardano evolucione. Hasta ahora hemos establecido un alto nivel de calidad y rigor en el desarrollo. Dicho esto, cuando miramos las mejoras de nuestros protocolos y el ecosistema, se puede dividir en dos dimensiones. Una es un proceso de mejora de los protocolos. La otra es una propuesta de mejora de nuevas caracter铆sticas o factores de crecimiento.

Para acomodar esto, empezaremos con una especificaci贸n formal y luego la actualizaremos con una nueva especificaci贸n. Por el momento se pueden ver nuestras especificaciones en el repo de IOHK en Github. Cuando se interact煤a con esas especificaciones, es muy dif铆cil entender lo que est谩 pasando. Creemos que es importante, cuando hablamos del proceso CIP, necesitamos averiguar c贸mo transformar las especificaciones originales en nuevas especificaciones con cambios rupturistas o no rupturistas. Creemos que esto abordar谩 tanto los soft-forks como los hard-forks, as铆 como el consenso y las reglas de la red.

Tambi茅n creemos que esto puede hacerse de forma descentralizada. El c贸digo de referencia para esto ser谩 entonces auto alojado dentro del ecosistema de Cardano. Esto romper谩 nuestra dependencia de terceros, como Github. Esto significa que todos los mecanismos democr谩ticos estar谩n en el ledger.

En t茅rminos de mejoras, esto podr铆a incluir todo, desde ganar m谩s tracci贸n en Etiop铆a. Tal vez incluir铆a entregar al gobierno de Mauricio las herramientas para implementar su proceso de votaci贸n en la blockchain. Estos protocolos de mejora se refieren m谩s bien a la promoci贸n de nuevos casos de uso para ADA.

Parte del comit茅 CIP de la Fundaci贸n Cardano est谩 explorando estos dos amplios mandatos. 驴C贸mo mejoramos las especificaciones formales de forma estructurada? Esto nos ayudar谩 a llegar al siguiente estado. Esto es codependiente para que los usuarios puedan verificar que est谩n usando una 煤nica fuente de verdad.

En cuanto a los protocolos de mejora, no se basan en el formalismo matem谩tico. Se basan en la opini贸n de la comunidad en cuanto a si la mejora a帽adir谩 valor. El objetivo es poner ambos bajo los auspicios de un mecanismo de votaci贸n y un sistema de tesorer铆a. Este es el core de Voltaire.

Descentralizar las actualizaciones de software

Hay mucho que se necesita para crear un buen sistema de votaci贸n y un buen sistema de actualizaciones. Hace unos dos a帽os aplicamos para una financiaci贸n con Horizon 2020, junto con varios otros miembros como IBM. El prop贸sito de esto era investigar actualizaciones de software descentralizadas. Se nos concedi贸 la subvenci贸n de m谩s de medio mill贸n de d贸lares, e Input Output Reseach ha estado trabajando en esto desde la concesi贸n. Hemos producido un documento basado en c贸mo hacer una actualizaci贸n de software descentralizada. Hemos combinado esto con la investigaci贸n realizada en la Universidad de Lancaster y otras organizaciones. Todo esto constituye el desarrollo de los fundamentos del dise帽o de Voltaire.

Sin embargo, esto no sustituir谩 el compromiso de la comunidad. El dise帽o no sustituir谩 las estructuras de incentivos. Estas son necesarias para que la mec谩nica tenga 茅xito. Debido a que esto est谩 tan involucrado, hemos autorizado la contrataci贸n de un gerente de producto dedicado a manejar estas secuencias de trabajo en nombre de IOHK. Actualmente, hay un gerente de producto para EMURGO y la Fundaci贸n Cardano, que se asegurar谩 de que este sistema se consolide antes de fin de a帽o. Y se encargar谩 tanto del CIP como del proceso de mejora de Cardano.

Terminando la primera generaci贸n

La buena noticia es que una vez que el trabajo de Shelley y Goguen haya conclu铆do, todo nuestro equipo estar谩 disponible para ayudar a desarrollar la tesorer铆a y la mec谩nica de votaci贸n. Por supuesto, el proyecto puede ser ampliado de arriba hacia abajo, basado en los actores involucrados y la participaci贸n de la comunidad. Goguen y Shelley tienen significativamente m谩s involucrados.

Nos estamos acercando al final de la primera generaci贸n de investigaci贸n para Ouroboros. Esto significa que estamos a punto de resolver los problemas que esbozamos para 2015. Hemos trabajado sistem谩ticamente nuestro camino a trav茅s del comienzo de Ouroboros hasta el avance actual, Ouroboros Hydra. La ciencia se est谩 asentando ahora. Ahora tenemos que hacer saber a la gente lo que hemos hecho, y por qu茅 es asombroso.

Hay mucho m谩s que podemos hacer con Cardano y Ouroboros, pero el punto de tener el proceso de mejoras y el proceso de perfeccionamiento es dejar que la comunidad priorice a d贸nde vamos despu茅s. IOHK estar铆a encantada de hacer otro sprint de 5 a帽os. Si se permite la financiaci贸n, seguiremos con esto. Pero para que este sea un ecosistema verdaderamente descentralizado, la comunidad debe decidir qui茅nes ser谩n los administradores del ecosistema.

Construyendo el futuro

Cuando empezamos la ITN, nuestra esperanza m谩s salvaje era tener 100 stake pools. Recientemente descubrimos que estamos cerca de 1000 pools registrados. Creemos que no hay un final a la vista. Creemos que hemos puesto en marcha un motor que tiende a la descentralizaci贸n sin renunciar al rendimiento y la coordinaci贸n. Creemos que una vez que se deje a su suerte, Cardano se convertir谩 en la criptomoneda m谩s descentralizada del mundo. Tambi茅n creemos que podr谩 avanzar y hacer frente a las amenazas externas e internas.

Esto no es una haza帽a peque帽a. Estamos muy orgullosos de lo que hemos logrado. Habremos completado la hoja de ruta de a帽os de trabajo, m谩s pronto que tarde. Ha sido un honor trabajar en ella y esperamos con inter茅s el pr贸ximo alcance del trabajo.

Hemos comenzado a pensar en ideas como una red de retransmisi贸n por sat茅lite y VRFs a prueba de computaci贸n cu谩ntica. Tambi茅n esperamos con inter茅s lo que se construye en el sistema. Creemos que tenemos la capacidad de definir c贸mo ser谩n las transacciones del futuro. Tenemos la oportunidad de hacer enormes contribuciones a la inform谩tica. Finalmente, tenemos la oportunidad de construir alianzas cada vez m谩s grandes para utilizar nuestro software.

Por el lado de IOHK y EMURGO, ya hemos empezado a explorar asociaciones. Esto incluye nuestro trabajo con PWC. Tambi茅n incluye la determinaci贸n de casos de uso de c贸mo los socios pueden construir productos en Cardano. Sin embargo, creemos que la definici贸n de 茅xito es la capacidad de reconstruirlo todo.

En esencia, tenemos la oportunidad de reescribir libros de juego globales para las econom铆as y las sociedades. Esto llevar铆a el poder a los l铆mites. Los individuos determinar谩n c贸mo y d贸nde participar谩n en una econom铆a. Esto incluye permitirles mantener sus identidades, su riqueza y sus credenciales. Esto responder谩 definitivamente a la pregunta que todo el mundo se hace sobre la industria blockchain: 驴Por qu茅 estamos aqu铆, y qu茅 estamos proporcionando al mundo?

Creemos que Cardano responder谩 a esta pregunta.

1 Like