Transcripción al español de “On Pragma”
Publicado en el canal de Youtube de Charles Hoskinson el 23 de Abril de 2024
Enlace a la versión doblada al español
Hola, este es Charles Hoskinson transmitiendo en vivo desde la cálida y soleada Colorado, siempre cálida, siempre soleada, a veces Colorado. Hoy es 23 de abril de 2024 y todavía tengo el pelo de Blackhawk, todas estas cosas. Bastante ventoso allá arriba, tenemos que arreglar la ventana. Quiero hacer un video ahora que estoy de vuelta en el ruedo. Estuve en Dallas en Book IO y también visitando mis laboratorios y echando un vistazo a las hermosas plantas luminosas y todas las demás cosas geniales. Quiero hablar un poco sobre Pragma, es una nueva MBO, un nuevo proyecto, y recién está comenzando, apenas está en su infancia. Para aquellos de ustedes que no lo saben, un consorcio de empresas se unió, según este tweet de la Fundación Cardano, anunciando Pragma. Estamos orgullosos de ser parte de esta Asociación de Código Abierto basada en miembros junto con Blink Labs, DC Sparks, Sundae Swap, TX Pipe Tools. Pragma se enfoca en el software blockchain y fomenta el ecosistema de código abierto para Cardano. Hay un enlace agradable aquí para el anuncio y luego el sitio web de la asociación está aquí. Entonces, es una asociación basada en miembros sin fines de lucro, de código abierto, para proyectos de software blockchain
Y lo importante es Aiken, que muchos de ustedes conocen y aman, que contribuirá, IO contribuirá dos ingenieros de tiempo completo para trabajar en el proyecto de código abierto Aiken bajo la dirección del liderazgo allí. Y Amaru es el cliente de nodo Rust alternativo para la blockchain Cardano, ¿okay? Entonces, este es un cliente que tiene que estar de acuerdo con el cliente Haskell, y ha habido muchas preguntas sobre cómo se van a llevar estos dos. Bueno, actualmente, la única fuente de verdad para lo que es Cardanom no es el código Haskell. Normalmente, si vienes de Bitcoin o Ethereum o cualquiera de estos ecosistemas, típicamente hay un cliente dominante y el código es la especificación. Este no es el caso para Cardano. Cardano realmente usa especificaciones formales que son libres de ambigüedades, y hay especificaciones del legado y hacia dónde vamos, que son las especificaciones futuras. Las especificaciones del legado, como la especificación formal aquí, si haces clic en ella, puedes ver que están escritas en Agda, y hay algunas cosas del legado en Lei Tech. Así que tenemos especificaciones parciales, lo que significa que todo está especificado, pero algunas cosas están especificadas en Lei Tech, que es un lenguaje de programación para matemáticas. Así que hay una definición matemática muy rigurosa para todas las cosas, y luego algo se especifica en Agda. De hecho, esto nunca se ha hecho antes. 209 documentos que escribimos, en realidad escribimos un documento que acaba de ser aceptado en FNBC, y esto muestra cómo especificar una blockchain en Agda. Así que esta es básicamente la única fuente de verdad para el diseño de Cardano, por lo que básicamente, sin ambigüedades, esto establece cómo debería funcionar todo. El nodo haskell básicamente tendrá que ser subordinado a esto, lo que significa que tiene que seguir la especificación. Y para que Pragma funcione con el ecosistema Cardano, Pragma tiene que hacer lo mismo.
Entonces, todos estos repositorios están realmente en la MBO Intersect, y muchas de las personas en Pragma también son miembros de Intersect, y tienen acceso al Git y realmente hacen muchas cosas geniales aquí. Pero puedes ver todos los diferentes repositorios, hay 39 de ellos en Intersect. Entonces, aquí es donde realmente vive Cardano, ya no vive en los repositorios de Input Output, así que cosas como el nodo Cardano, el consenso de Ouroboros, la API, la CLI, Plutus, LSM, algo que estamos buscando UTxO HD, gob tool, que es lo que ustedes están usando para la Sancho Net, Ledger, las especificaciones formales, la plantilla de transacciones, etc, e incluso Nami actualmente está en Intersect, date cuenta. Todos estos diferentes elementos básicamente están allí, y una de las cosas que debe resolverse es básicamente el ritmo de desarrollo y el flujo de trabajo para aquellos que están desarrollando clientes alternativos y cómo eso va a funcionar con la especificación formal. Entonces, uno de los objetivos es tener la especificación de extremo a extremo lista en Agda en algún momento del próximo año, y es solo una cuestión de cuál es la definición de éxito allí, y también, ¿qué campanas y silbatos esperamos de eso?, incluida la extracción de código, la certificación, este tipo de cosas. Entonces, esa es una conversación de proyecto a proyecto y es un elemento de hoja de ruta muy significativo que siempre fue agradable de tener, pero ahora que hay clientes reales en competencia, lo que eso significa es que es necesario porque los clientes ya no pueden desincronizarse entre sí y hay algunas cosas básicas, como por ejemplo, ¿cómo funcionará el combinador de bifurcación dura con Amaru y cómo se verá eso exactamente y quién es la audiencia prevista en estos casos y este tipo de cosas?
Así que la buena noticia es que ambos lados del pasillo básicamente tienen transitividad, hay desarrolladores en ambos lados y todos hablamos entre nosotros, y esto es algo muy saludable para el ecosistema de Cardano, porque si solo tienes un equipo monótono que mira estas especificaciones, tiendes a ir en una sola dirección, pero ahora que hay múltiples equipos, lo que puede suceder es que hay mucha pregunta sobre cómo simplificar las cosas, cómo mejorar las cosas, y de hecho, ayudan a detectar errores en el trabajo de especificación. A medida que los ecosistemas crecen, la competencia ocurre y eso es algo muy saludable para el diseño del sistema, así como la resistencia operativa. He visto a algunas personas discutir, ¿bueno, esto significa que las características llegarán más rápido a Cardano? ¿Cuáles son los desafíos de un entorno de clientes múltiples, ya sea que Harmonic Labs esté construyendo el cliente typescript o lo que Pragma está haciendo con Rust o lo que está sucediendo con Haskell, es que no acelera el desarrollo, de hecho, es todo lo contrario, porque sólo sos tan rápido como tu cliente más lento. Entonces, si, digamos, Rust está haciendo un gran trabajo pero Haskell se queda atrás, o Haskell lo está haciendo bien pero Rust se queda atrás, tienes que esperar a que todos se pongan al día y luego todos bifurcan juntos. Entonces, esta es una de las razones por las que Ethereum tardó siete años en llegar a su bifurcación dura que creó la prueba de participación. Esto no acelera la entrega de características al ecosistema.
Sin embargo, proporciona mucha más seguridad, resistencia operativa, filosofías diferentes, herramientas alternativas y, en muchos casos, permite la diferenciación para que ciertos clientes sean utilizados por ciertos segmentos de clientes y permita la especialización para hacerlo mucho mejor para ellos. Entonces, ciertos grupos de subfunciones que no requieren una bifurcación dura o blanda, en realidad, esos pueden entregarse significativamente más rápido al mercado, que es lo que imagino que es el punto, porque si miras a los constructores de herramientas detrás de Pragma, hay mucha gente que ha estado entregando conjuntos de herramientas alternativas, como Tx Pipe por ejemplo, que son muy útiles para el ecosistema en su conjunto.
Ahora, no está claro cómo tienen la intención de financiar Pragma, parece que CF está proporcionando algo de financiamiento para ello, pero no se nos informó nada, así que si tuviera que hacer una conjetura, es probable que construyan algunas cosas, pero en algún momento probablemente tengan una discusión con el ecosistema de Cardano sobre el uso del tesoro. Uno de los propósitos de Intersect es ser la interfaz para discutir el proceso presupuestario anual para Cardano, y hemos tenido numerosas conversaciones con diferentes partes interesadas, incluida CF, sobre cuándo y cómo comenzar ese proceso. Por diseño, tiene que comenzar después de la bifurcación dura Voltaire, la bifurcación dura Chang, porque es cuando la función del tesoro se enciende. Pero la idea sería que todos los grupos de interés especiales, ya sea Pragma o la comunidad NFT o personas que buscan soporte de USDC, o lo que sea, básicamente presenten solicitudes y eso va a algún tipo de proceso de presupuesto consolidado, un gran grupo de personas lo discuten, hibridizado con algunos D-reps clave, casi como un Comité de Vías y Medios que vemos con el Congreso de los EE. UU., y luego avanza y eventualmente llega a un presupuesto consolidado.
Si miras la corriente de entrada y salida actual del tesoro de Cardano, excluyendo Catalyst de la ecuación, Cardano puede gastar cómodamente al menos $ 100 millones en su nivel actual sin demasiada decadencia en el tesoro. Creo que eso nos da una vida útil de 20 o 25 años, dependiendo del precio de ADA, así que podemos manejar cómodamente como ecosistema un presupuesto de 9 figuras, lo que sería probablemente más que suficiente para permitir la diversidad de clientes, la continuidad del progreso y el mapa de ruta existente que tenemos, así como algunas conversaciones abiertas sobre la financiación de nuevos vehículos. Intersect se construyó realmente para tres propósitos. Uno era básicamente ser un centro para discutir sobre excelencia en gobierno, así que todas las cosas diferentes y reunir a todas las personas diferentes, ya sea un comité cívico o los flujos de trabajo constitucionales o las herramientas de gobierno o proporcionar servicios a los miembros del comité constitucional y los D-reps. Ese fue uno de los propósitos. El segundo era ser el custodio de la hoja de ruta principal del proyecto, del producto. Así que tener discusiones sobre las especificaciones, los elementos clave de la hoja de ruta, la traducción de los CIPs, de investigación a CIPs, y estas cosas. Y también se construyó para ayudar a administrar la función del presupuesto, porque es tan complicado, hay muchas piezas móviles en él, y no reemplazar o sustituir cosas como Catalyst, pero básicamente estar un poco por encima de ese proceso y proporcionar financiación.
Bueno, una vez que esté en su lugar, es muy fácil imaginar que las personas comiencen a crear organizaciones basadas en miembros para diferentes propósitos. Entonces, por ejemplo, se creó Magma y ahora es una MBO para una constelación de proyectos de código abierto que son muy geniales y esenciales para el ecosistema. Y sería realmente interesante ver cómo eso crece. Me encantaría ver eso participar en el proceso presupuestario y básicamente obtener financiamiento anual, pero también me gustaría ver lo mismo para clientes alternativos. Y luego tenemos que tener una conversación estratégica sobre cuántos clientes tienen sentido. Como que tiene sentido tener un cliente de alta seguridad y rigor en Haskell, uno en Rust y uno en Typescript, porque lo que eso hace efectivamente es cubrir cada modalidad y cada grupo de usuarios, ya sea en el navegador, en el entorno empresarial o es algo para básicamente el estándar en el ecosistema.
Entonces, eso es más o menos donde estamos, pero también abre una conversación sobre marketing y crecimiento, los hackathons, el flujo de proyectos. Una de las cosas que hemos estado haciendo es experimentar y hablar con algunos de los proyectos más grandes en Cardano y conocer dónde se encuentran sus problemas, ya sea problemas de liquidez, como ser listados, o problemas de capital de riesgo o problemas tecnológicos. Sería realmente genial desarrollar una especie de Skunk Works en Cardano para el tratamiento de guante blanco de proyectos más grandes, para que básicamente tengan un grupo dedicado de personas que los ayuden en su viaje de construcción en Cardano. No fue posible hacer esto sin una gobernanza descentralizada, porque necesitarías un gobierno descentralizado para crear una institución que sea responsable de eso y crear reglas de juego para cómo involucrarse, de lo contrario, sería imposible porque sería favoritismo. Quien esté más cerca de las entidades centrales obtendría una ventaja indebida y no habría supervisión democrática de este proceso, pero ese es un ejemplo de algo que puede abrirse y algo que podría ser financiado en el presupuesto y muchos proyectos se beneficiarían enormemente de esto, ya sea que solo necesiten asistencia estratégica, ayuda técnica, desarrollo de mercado o básicamente personas con quienes hablar sobre a dónde quieren ir, qué quieren hacer o personas con quienes fusionarse.
También ha habido mucha conversación sobre nuestra huella de marketing como comunidad y ecosistema. Sería bueno ver que se formen instituciones para eso. Vemos muchos esfuerzos que se están formando como, por ejemplo, Cardano Girls se está formando y Rick McCracken está haciendo videos y Cardano Whale está haciendo muchas cosas realmente geniales e interesantes, hay mil flores que están floreciendo. Y sería realmente genial ver si todas esas personas que están interesadas en estas cosas pudieran formar un grupo y realmente obtener un presupuesto de marketing anualizado y poder desplegarlo para el crecimiento de Cardano, otra cosa que la gobernanza descentralizada trae a la mesa, porque ahora tienes una forma justa y equilibrada de hacerlo, hacer eso con controles y equilibrios que aseguren que nada salga mal o cuando las cosas lo hagan, haya un recurso para ello.
Entonces, es un momento muy emocionante y como he dicho repetidamente, la gobernanza es el avance más importante para toda la industria y es el mayor diferenciador entre nosotros y todos los demás. Cosas como la escalabilidad son muy comoditizadas y cuando miramos cosas como Ouroboros Leios, por ejemplo, que realmente nos impulsan hacia adelante, la publicación de ese papel es inminente, traerá como el 75% de resolver el trilema blockchain. Todavía hay algunas cosas por hacer, pero es un gran paso adelante y es algo con lo que podemos comenzar el prototipado rápido. Puedes notar que Genesis llegará pronto, eso y puedes notar que eso se construyó en menos de un año para el protocolo, por lo que Ouroboros Peras es el próximo en la lista. Hay un equipo de prototipado rápido que está trabajando en eso, la publicación de ese papel es inminente y, de hecho, deberíamos tener todo ese prototipado hecho para fines del tercer trimestre de este año y luego se puede enviar para un contrato de costo fijo a través de un proceso de RFP y lo bueno de eso es que si tienen retrasos, es bajo su riesgo y con su dinero. Entonces, hay fuertes incentivos para hacer las cosas dentro de un costo y tiempo para estos paquetes de protocolos bien definidos.
En términos de adquisiciones, coordinación, colaboración como ecosistema, estamos mejorando mucho, de hecho, estamos empezando como ecosistema a llegar a un punto donde somos tan buenos como algunas de las empresas Fortune 500 que se mueven muy rápido en proyectos de mega escala masiva. Y yo diría que en realidad somos los mejores en toda la industria de criptomonedas y ya tenemos todos esos proveedores alrededor y ahora sabemos como ecosistema cómo trabajar con ellos y tenemos todo un proceso que se está desarrollando a través de Intersect para eso. Entonces, la gobernanza es el gran diferenciador porque es lo que nos permite participar en áreas que creemos que van a permitir la excelencia competitiva, nos permitirá crecer en el mercado y también nos permitirá obtener los recursos en manos de personas que realmente están construyendo. Y mira qué tan increíblemente descentralizado es el ecosistema. Todo la MBO Pragma se construyó y ni siquiera estaba al tanto de ello hasta apenas creo que unas pocas semanas antes de que hicieran el anuncio. Así de descentralizado es Cardano ahora. Incluso las entidades centrales básicamente no saben ciertas cosas y hay iniciativas paralelas en marcha.
Así que todos los días están sucediendo cosas, muchas cosas geniales cross cadena, muchas colaboraciones geniales y estamos hablando entre nosotros ahora, incluso la gente de Ethereum está empezando a sentirse más cómoda hablando con Cardano. Todavía hay algo de fricción y desafíos con Bitcoin. Esos son filosóficos y, desafortunadamente, eso es universal para la industria. Es Bitcoin contra todos los demás, debido al lenguaje que usan y al enfoque que toman, pero para el resto de la industria, Ethereum hacia abajo, de hecho, creo que 2025 va a ser el año de la gran colaboración. Hay tantas áreas donde todos podemos llevarnos bien y construir cosas increíbles, y hay muchos activos del mundo real para llevar al ecosistema y muchos problemas tangibles y prácticos que resolver, ya sea en atención médica o en microfinanzas. Y como he mencionado repetidamente, tengo una cartera de seis empresas, todas están intentando construir algo en Cardano. Esto aporta mucha utilidad al ecosistema porque es la mejor en su clase para hacerlo. Así que realmente estamos yendo por el número uno, el ecosistema más grande en todo el espacio de la criptomoneda y creo que tenemos las bases correctas para eso. Y entiendo que hay algo de fricción y algunos desafíos aquí, sabes, cuándo Coinbase ha sido reemplazado con cuándo Circle y todos quieren escalabilidad, mejor, más rápido, más barato ahora, pero cuando miras el horizonte más amplio y miras el horizonte cercano y mediano, Hydra está avanzando rápidamente, Plutus V3 va a traer todo tipo de grandes capacidades para los rollups, ya hay proyectos como creo que ZK Fold es uno que está tratando de explotar eso, tienes cadenas de socios que vienen rápidamente y eso es lo mejor en su clase y hay algunas tecnologías asombrosas que se están hibridando con lo que la comunidad Polkadot está creando, lo que nosotros hemos creado y es un matrimonio hecho en el cielo para esas cosas. La investigación y desarrollo nunca ha sido más agresiva, 209 documentos y la investigación traslacional de llevar los documentos a CIPs y protocolos, se está moviendo más rápido de lo que nunca se ha movido antes, tienes clientes competidores ahora que básicamente aceleran parte del retraso, en particular, por ejemplo, el trabajo de especificación formal, lo cual en realidad mejorará la seguridad de los sistemas y las pruebas de nuestros sistemas, lo que significa que nuestro software seguirá siendo el mejor en su clase en términos de confiabilidad, y el hecho de que el proceso presupuestario comenzará en el momento en que el gobierno se encienda por completo y toda la comunidad pueda hablar sobre cuáles son nuestras prioridades y quiénes son los grupos de interés especiales en las prioridades, que deberían ser escuchadas, ya sea que sean NFT o DeFi.
Y, por supuesto, en nuestro caso, seguiremos contactando con los proyectos principales. Vamos a organizar probablemente una cumbre de oráculos aquí en poco tiempo. Fue alucinante hablar con Book porque Book tiene muchas preguntas sobre escalabilidad, porque hacen estas grandes caídas de NFT en el sistema y traen muchas cosas, además de proyectos de cadena cruzada. Fue genial hablar con Mickey recientemente sobre World Mobile, convertirse en una cadena asociada, todas sus necesidades, cómo hacer esas cosas. Haremos nuestro trabajo durante el proceso, a través del verano, pero es asombroso ver cómo se junta todo.
Lo último para mencionar es la convención constitucional, sigue en objetivo, en fecha, mandamos nuestra primera delegación a Argentina. Quiero dar una felicitación especial a la comunidad Latam, hicieron un asombroso trabajo interactuando con nuestra gente de IO, tratandolos con la mayor hospitalidad, es un asombroso y seguro país, es increíble ver cuán apasionada es la gente, no puedo esperar por la convención. Iré personalmente, probablemente en Julio, enviaremos más delegaciones hasta ese momento, intentaremos llevar algunas instituciones a Argentina, académicos y de gobernanza también al proceso, para ayudar a reducir la fricción, también agregarle su propio sabor, pero será divertido ver todos esos delegados llegando de todas partes del mundo a Argentina, ayudar a esculpir la forma final de la constitución.
La constitución interina sigue bajo fuerte construcción, finalizando los guardarrailes, se lanzará en tandem con el CIP 1694 en la bifurcación dura Chang. Esa constitución tiene 131 guardarrailes escritos en Plutus. Es una buena muestra de la nueva corriente Plutus de alta seguridad que tenemos. Es un contratos inteligente escrito con todas estas herramientas avanzadas, utilizando métodos formales para verificar que es correcto. Pero este es el primer ejemplo no sólo de gobernanza en cadena, sino de gobernanza en cadena donde el conjunto de miembros del gobierno están limitados por una constitución en cadena. Así que hay guardrails programáticos que previenen a los miembros constitucionales de hacer cosas estúpidas, o al menos tantas como puedas ser conectadas a un contrato inteligente.
Esa es una construcción super poderosa, tenés esta democracia líquida de libre flujo, con toda esta magia, tenés esta asombrosa Gov Tool que continúa evolucionando muy rápidamente, un asombroso concepto de comité constitucional, luego tenés todas estas cosas, hay entrenamiento ocurriendo en base bastante regular, enseñando a la gente cómo hacer cosas. Muchachos todavía les debo un video acerca de cómo usar Yubikey, combinarlo con dispositivo de almacenamiento en cumplimiento con FIPs, haremos eso dentro de poco. Pero sí, estamos con todos los cilindros en marcha, es un poco cansador, salté a un helicóptero Blackhawk, volé de Wyoming a Longmont, de vuelta en la oficina, listo para ir, trabajar todo el fin de semana, muchos discursos, muchas manos por estrechar, no puedo esperar por seguir viajando. Bien, eso es todo de mí parte, lo mantengo corto y dulce, gracias a todos por escuchar, los mantendré al tanto, saludos.