Transcripción al español de “More on Smart Contracts and Some Housekeeping”
Publicado en el canal de Youtube de Charles Hoskinson el 6 de Septiembre de 2021
Enlace a la versión doblada al español
Hola a todos, este es Charles Hoskinson, transmitiendo en vivo desde la cálida y soleada Colorado, siempre cálida, siempre soleada, a veces Colorado. Hoy es 6 de Septiembre, 2021, hoy vamos a hablar de contratos inteligentes, sí, contratos inteligentes. De todos modos, por demanda popular estamos acelerando algunos posteos de blog y otras cosas para poner a dormir algunas cosas que han sido dichas. Este espacio nunca deja de sorprenderme, tenemos una red de pruebas, algo se despliega, la gente ve esa cosa que se desplegó y asumen que porque esa cosa no está haciendo lo que quieren hacer, que de alguna forma todos nuestros labores, diseños de los últimos cuatro años están rotos, simplemente así es cómo funciona nuestra industria, así es cómo piensa la gente, cuán rápido se dispersa información incorrecta. A veces es desmoralizante como el infierno. El modelo UTxO no es algo que nosotros hayamos inventado, vino de Satoshi, Bitcoin lo ha estado utilizando por 12 años exitosamente, ha habido una gigante cantidad de investigación con ese modelo, desde Blockstream con Simplicity, Jets, lo que están haciendo con su cadena lateral de liquidez, el proyecto BTML, a lo que ha estado ocurriendo en la comunidad Lightning, discusiones ahí, a obviamente nosotros, lo que hemos realizado con el UTxO extendido, y lo que Ergo ha hecho con el UTxO extendido. Hay algunas extraordinarias buenas propiedades con UTxO, esas propiedades te permiten escribir pruebas muy hermosas, rápido y con exactitud, y verificar ciertas cosas acerca de tu contrato inteligente.
Quería hacer este video bien rápido sólo para mostrarte algunas cosas que están flotando alrededor, dejame agarrar dos más bien rápido. Hoy más temprano descargué el documento, sólo quiero hablar acerca de la complejidad de los contratos inteligentes. Usualmente lo que ocurre en el dominio académico, para algo nuevo y emocionante, escriben un documento, usualmente es un documento de estudio, un estudio comprensible, también conocido como un documento SOK, sistematización de conocimiento, ahí tengo uno, dejame agarrar el otro. Bien, ahí vamos, dejame compartir mí pantalla y les mostraré algunas cosas. Compartir pantalla, uaa, bien, salir de slack, así no nos interrumpen los mensajes. Bien, primero, nosotros estamos escribiendo documentación acerca de aplicaciones Plutus, si vas a plutus.readthedocs.io, están escribiendo un montón de cosas. Comenzaron una guía acerca de cómo escribir aplicaciones Plutus escalables, habla acerca de un montón de diferentes conceptos, habla acerca de este concepto de congestión UTxO. Si venís del mundo Account, hay cosas que tenés que hacer con un modelo UTxO para asegurarte que tu app no es víctima de congestión, discutimos algunas mejores prácticas, como minimizar el número de transacción que están tratando de gastar el mismo resultado de guión, la gente no hizo eso, acoplar el guión de gasto de producción de resultado de guión, ciertas personas no hicieron eso, y utilizar una política de emisión, guiones y tokens. Lo que vamos a hacer es trabajar con algunos de los socios, resumir ejemplos, secciones. Agenden esto y con el tiempo más y más se añadirá a ello.
Realmente es gracioso que un montón de gente en el espacio Ethereum parece que simplemente nos están brutalizando y dicen “UTxO no puede escalar”, bueno UTxO y Account son interoperables entre sí, escribimos un documento al respecto, allá por 2018, se llama Chimeric Ledgers, traduciendo, uniendo criptomonedas basadas en UTxO y Account. De hecho tenemos diseños donde podés correr ambas Account y UTxO en el mismo libro contable. Ya implementamos eso con Catalyst, la implementación Rust de Cardano tiene un completo, compatible Chimeric Ledger. Así que podés correr Account si querés, tiene algunas propiedades que lo hace un poco más difícil de fragmentar y escalar. UTxO de hecho es un modelo significativamente más escalable, simplemente molesta cuando la gente dice que este modelo de alguna manera es más limitado. Si querés entender este papel hay un encantador video hecho por Sebastien de dcSpark hablando de Chimeric Ledgers y cómo funciona el documento, es de alrededor de 34 minutos de largo. Hay proyectos de la comunidad, por ejemplo esto fue propuesto para Nervos, pero estamos en conversaciones con Mune, acerca de hacer una mirada Account para Cardano, para el UTxO extendido, tienen este encantador documento que escribieron, AVOUM, Mirada Account Nervos en modelo UTxO, como que explica cómo funcionaría, están comenzando una prueba de concepto, así que esas cosas están siendo construidas. No necesitás un modelo Account para concurrencia con el UTxO extendido. Hay un bonito posteo de blog que escribió Sundae Swap, llamado “Estado de Concurrencia en Cardano”, hablan acerca de este problema. Mientras se despliegan dApps en la red principal y en la testnet la gente va aprender acerca de paralelismo, hay numerosos documentos acerca de esto. Sin embargo, hay un documento que se encuentra a la cabeza. Este es un documento de estudio comprensivo, es un documento SOK que vino de China. Básicamente lo que hicieron fue revisar más de 150 documentos escritos acerca de contratos inteligentes, juntaron sus aprendizajes, en 51 páginas. Esto cubre todo, desde el diseño de contratos inteligentes, a soluciones fuera de cadena, podés ver todas las herramientas de diseño, patrones de diseño, mirá todas estas cosas, ejecución de contrato privado, canales fuera de cadena, extensiones a funcionalidad central. Si querés saber acerca de contratos inteligentes, cuál es la vanguardia, los problemas que están enfrentando los contratos inteligentes, este el documento para leer, es un documento asombroso, está muy bien escrito, todo se juntó muy bien, te muestra todo, por ejemplo, cuando hablan acerca de paradigmas de diseño, loterías, contratos de préstamos, almacenamiento de computación fuera de cadena, subasta, gobierno electrónico, te dan un montón de referencias acerca de dónde ir, las cosas que se han intentado, te dan un sentido de lo que se ha desplegado en Bitcoin y Ethereum. ¿Cuál es el objetivo?, el objetivo es, si te desplazás hasta abajo de todo, es un mastodonte de 51 páginas que intenta mirar todo lo que se ha realizado en la industria, así que todo el mundo es mencionado aquí, todo hacia abajo, todo hacia abajo, revisión de patrones, ¿dónde está?, “en conclusión, de acuerdo a nuestro estudio, tales cosas como la eficiencia de ejecución y la complejidad del contrato han restringido los escenarios de aplicación de contratos inteligentes. Concluímos que los desafíos para los contratos inteligentes deberían ser adoptados universalmente dentro de cinco aspectos. Uno, vulnerabilidades frecuentes, esto ha perdido, literalmente billones de dólares a través de la historia del espacio. Dos, paradigmas de diseño incompletos, así que, ¿adiviná qué?, nadie resolvió eso todavía. Tres, herramientas de análisis ineficientes. Cuatro, bajo ratio de procesamiento y complejidad de contrato limitada. Y cinco, falta de privacidad.
Cuando diseñamos el UTxO extendido y Plutus, sabíamos estas cosas, porque hicimos un estudio similar internamente, miramos todos los diferentes sistemas que estaban flotando alrededor, nos preguntamos a nosotros mismos “¿cómo construimos un sistema fundacional que tiene ciertas propiedades acerca del sistema, que nos permite lidiar con vulnerabilidades frecuentes que vemos una y otra vez, que tienen paradigmas de diseño canónico que son razonables, asegurarse que tenemos grandes herramientas de análisis y que tenemos un modelo que permite altos ratios de procesamiento, y también lidiar con la complejidad de contratos, especialmente fuera de cadena. Y por supuesto, incrementar la privacidad con el tiempo. Resulta que el modelo UTxO extendido es el resultado de eso, fue construido para concurrencia, fue construido para interoperabilidad, para análisis, especialmente con Plutus, ¿por qué?, porque Plutus viene del mundo Haskell, que es uno de los lenguajes más hermosos cuando querés lidiar con métodos formales y verificación formal. No es coincidencia que mucha de la gente que está en esa industria no programan en C++, programan en Haskell, OCaml o algún otro lenguaje ahí porque tanto más que podés hacer cuando los programas han sido escritos con ese estilo .
Con el tiempo, 3, 6, 9 meses, la gente va a aprender más acerca de cómo funciona este modelo, y construir herramientas, abstracciones, plantillas, patrones de diseño, para este modelo. En el momento que lanzás el modelo no es el momento en el que todo se acopla porque durante los últimos años todo el mundo ha estado bebiendo de la taza Account, ahora tienen que traducirlo a otra manera de pensar, para aquellos que no pueden traducir construís abstracciones para que puedan quedarse en el modelo viejo. Luego cuando hablás acerca del poder de ejecución paralela, aquí hay un ejemplo de un gran documento, se llama ACE, Ejecución Asincrónica y Concurrente de Contratos Inteligentes Complejos, de ETH Zurich, que es como la Harvard de Suiza, gran equipo de todas estrellas que lo escribió, han estado haciendo trabajo muy interesante. Resumiendo, aparecieron con una manera de permitir el procesamiento fuera de cadena de toda clase de contratos, acelerarlos masivamente, utilizando un modelo de confianza de firma N eventos, para procesamiento fuera de cadena.
Bueno, esta es la parte hermosa de documentos como este, modelos como este, que es el que estamos explorando con Hydra y otras cosas. Tenemos más de 3.000 operadores de stake pools para operar como aceleradores. Lo que es bonito acerca de todo este modelo Plutus, es que te permite meter en caja muy claramente lo que querés correr fuera de cadena y en cadena. Si te tomás el tiempo para leer este documento sistemático, encontrás que necesitás ambos, porque simplemente hay demasiados datos y otras cosas, que si estás corriendo todo en cadena, va a explotar y desacelerar horrendamente el sistema. La computación en cadena es horrendamente costosa, sin importar lo que la gente te diga “oh, solucionamos estos problemas”, lo que en realidad están haciendo es que están descargando algo de eso a algunos actores centrales, en algún lado, esa simplemente es la realidad, porque es el problema con computación replicada, así que te tenés mover de replicado a distribuido, y podés hacer eso en un sentido federado, podés hacer eso con una cadena lateral, con inteligentes sistemas crypto, como Rollups, podés hacer eso con canales de estado, podés hacer eso con novedosas nuevas ideas, como Ace por ejemplo. Cuando diseñamos el UTxO extendido, Ouroboros y el modelo Plutus, sabíamos acerca de estas cosas y construímos todo el sistema específicamente para este tipo de cosas. No estamos inventando las cosas, miramos dónde empezó Bitcoin hace 12 años atrás, vimos la evolución de ese sistema, vimos la teoría detrás de este tipo de cosas, está profundamente enraizado en 40 años de historia en métodos formales y en 40 años de historia en el espacio de programación funcional. Así que hay toda clase de paradigmas que pueden ser utilizados para crear concurrencia y escala, como programación reactiva funcional u otras cosas. Pero, estos no son paradigmas de los que los programadores Javascript estén al tanto. Así que lo que hacés es, durante los próximos 3, 6, 9 meses, tenés un núcleo de gente muy inteligente que básicamente aprendió y enseñó. Y mientras hacen eso, cosas como estas crecen, osea que obtenés toda clase de cosas geniales. Por supuesto continuaremos tirando cosas, este es un blog que salió hoy, “Sin sorpresas, validación de transacciones en Cardano, el modelo UTxO extendido permite la ejecución de guiones Plutus de naturaleza determinística”. Por cierto, determinismo es algo mencionado en este documento, como un gran problema persistente, del ecosistema Ethereum, y algo en que la gente tiene que empeñar un montón de tiempo, esfuerzo y dinero para solucionar, nosotros obtenemos eso gratis, mirá eso.
Construímos este modelo para que con el tiempo la gente pueda aprender. Lo que ocurre, mientras el espiral continúa creciendo, cada punto de chequeo, cada evento HFC, tenemos más capacidades, así que cosas como estas se encienden, así que cosas como estas se encienden. Luego lo que ocurre es que esas abstracciones, plantillas, patrones, esa reusabilidad, se convierten en modelos que otra gente puede utilizar y la complejidad de la implementación va hacia abajo. Cardano es un nuevo modelo, y está construido con un montón de objetivos de diseño en mente pensados muy cuidadosamente. No construímos todas estas cosas sólo por accidente, construímos estas cosas con una clara dirección de interoperabilidad, una clara dirección de segregación de componentes fuera de cadena y en cadena, un claro entendimiento de costo predecible de ejecución, tratando de mantener lo local tanto como sea posible, en oposición a necesitar un estado global, estas son decisiones de diseño que fueron tomadas. Lo siento, sólo estás teniendo estos reclamos a través de toda la industria, esta gente corriendo alrededor diciendo “bueno, vimos una cosa, no funciona o parece que no funciona, por lo tanto, todo lo que has hecho está mal”. Muchachos, así no funciona el mundo, así no es cómo funciona el desarrollo, esta es una cosa muy compleja. Hay una razón por la que tenés que pensar tan profundamente acerca de esto, porque pensás acerca de la naturaleza de estos sistemas. Millones a billones de usuarios accediendo al mismo tiempo, un modelo de confianza donde cada uno de esos usuarios está tratando de encontrar ventajas y romper el sistema, sólo uno tiene que encontrar cómo romperlo para que se rompa todo el sistema, tenés que compartir un recurso común entre mucha gente, y tenés que balancear cosas permanentes que son almacenadas para siempre, con cosas efímeras temporales que son utilizadas como cosas intermediarias durante un evento, y se almacenan y guardan representaciones de esa historia. Juntar todas estas piezas en un sistema es uno de los más grandes desafíos en ingeniería. El modelo UTxO extendido y lo que hicimos con Plutus, creo que es uno de los pasos más significativos en esa dirección particular. Si no pensás que ese es tu modelo, entonces cuando agreguemos la EVM y IELE a Cardano, podés quedarte en ese ecosistema, o podés probar nuevos ecosistemas.
Y esto no es algo cinco años en el futuro, eso es algo que sucederá el próximo año luego del despliegue inicial de Plutus, obtenemos esos 3, 6, 9 meses de quemado, todas esas cosas hechas. Ahí es dónde estamos, esa es la realidad. Luego cuando mirás a Hydra, documentos como ACE, es un muy buen augurio para el modelo de Hydra, esta idea de que podés ir de un sistema replicado, donde los recursos son extremadamente raros y finitos, y básicamente están en la peor suposición del poder de procesamiento de tus usuarios, a una suposición distribuida, donde más usuarios es igual a más recursos y capacidades, ese es un sistema verdaderamente escalable. Esta línea de investigación se está solidificando, hay toneladas de enfoques que pueden ser tomados, lo que hemos hecho con Cardano y el modelo Ouroboros es que creamos una situación donde el conjunto de gente que puede realizar estas ejecuciones está creciendo mientras crece el valor del sistema, ahora son dos o tres mil, luego en el futuro serán de 5 a 10 mil, y todo el tiempo están actualizando sus sistemas, así que esa es una de las más grandes computadoras colectivas que podés imaginar, para hacer un montón de cosas fuera de cadena y no requerir consumo de recursos en cadena. Y dicen “eso no es completamente descentralizado”, seamos muy claros aquí, nada en la vida es completamente descentralizado, nada, ni siquiera Bitcoin. Hay un conjunto de actores, podrían ser mil, podrían ser un millón, diez millones, estás descentralizado respecto a ese modelo. Lo que necesitas ser capaz de hacer es decidir el nivel de descentralización que requiere la computación, que requieren los contratos inteligentes. ¿Necesitás un millón de ojos en ello?, ¿está bien tener cinco, está bien tener un conjunto de diez ojos, de veinte ojos? Eso es algo que es escalable y es el punto de tener servicios que son en y fuera de cadena, y se juntan.
Nuestra mirada es que toda la computación a largo plazo, en cadena, debería ser a prueba de verificación, y debería ser un trabajo de chequeo en oposición a hacer el trabajo. Esa es la única manera en que podés construir un sistema a escala global. El UTxO extendido funciona extremadamente bien para este modelo si tenés pruebas. Y por cierto, solucionar un guión es una prueba, predicados chequeados contra la lógica de validación, y verifica que es correcto. Plutus literalmente está construído para esta tarea. Cuando querés hablar de concurrencia, la verdadera concurrencia es lograda cuando tenés cientos de diferentes computadoras haciendo distintas partes del mismo dominio de problema, luego agregan juntos el trabajo, proporcionan una prueba de él. La concurrencia nunca se logra en un sistema replicado, es porqué Ethereum no es concurrente y es tan malditamente costoso. Ciertamente podés hacer cosas con la guía de mejores prácticas, como por ejemplo esparciendo el UTxO, y otras cosas, y esos patrones de diseño serán propagados aquí, en otros lugares, en tutoriales, en la próxima generación de pioneros Plutus ciertamente vamos a incluir más lecturas sobre esta cosa, a medida que el cuerpo de conocimiento mejora, ciertamente es una cosa poderosa, hay toda clase de cosas que podés hacer, podés acelerar el libro contable, y eventualmente podés poner construcciones teóricas como máquinas de estado concurrente y otras cosas, y podés obtener un alto grado de concurrencia en cadena. Pero relativo al tamaño de todos los posibles cálculos y computación que la gente va a querer hacer, estamos construyendo un sistema, donde en mente, tenemos estados nación, habrá bancos, bancos centrales, habrá exchanges, toda clase de cosas, creando colectivamente billones, trillones de transacciones cada día, muchas de las cuales no te importan y no tienen nada que ver con dominio de negocio particular. Tiene cero sentido demandar que todas y cada una de esas transacciones, actividad económica, estados intermedios y explosión de datos sean puestos en un espacio fragmentado para que todas las personas lo vean y lidien con ello. Y por cierto, porque se requiere privacidad vas a tener que poner eso en formas encriptadas, así que en muchos casos no podés comprimirlos, osea que obtenés toneladas de ruido que se sienta en la cadena. Si querés preservar responsabilidad inclusiva lo que tenés que hacer es crear un modelo coherente acerca de cómo se pueden producir pruebas con las cosas que están ocurriendo en todos estos diferentes dominios, que son exactas, correctas y no violan los principios del sistema. Ese es un ejemplo de Mithril para validación de cadena, Hydra tiene toda clase de prueba para este tipo de cosas, ese es el punto. Y vos, el desarrollador de aplicaciones, y vos el usuario de aplicaciones, decidís el modelo de confianza que tenés, más valor en riesgo, más alta tiene que ser la carga de confianza, eso es un espectro con el que podés jugar, así es cómo diseñamos el sistema, si querés confianza máxima, pagás la tarifa máxima, si querés confianza mínima, pagás la tarifa máxima relativa a la carga del sistema, y podés hacer eso fácilmente.
Esta es una cosa muy complicada, de nuevo, es extraordinario para mí que haya sido reducido a “no podés hacer lo que hace Ethereum”, cuando literalmente somos un súper conjunto de Ethereum. Tendremos la capacidad para ambos modelos dentro del sistema y una cadena lateral corriendo entre 100 y 1.000 veces más barato que la máquina virtual Ethereum, pero de alguna forma somos inferiores a Ethereum, no tiene ningún maldito sentido, está más allá de la locura, es como si esta gente estuviera fabricando drogas en un contenedor de basura o algo así. No tengo tiempo para esto. Así que están saliendo posteos de blog hoy, mañana y durante la semana también. El lanzamiento es el 12 para la primera generación de cosas. Luego habrá mucha gente construyendo cosas y un gran diálogo con la comunidad, todos vamos a aprender juntos con este diálogo, se encontrarán toda clase de geniales patrones de diseño.
Ahora hablemos de gestión de cambio. Esa es otra de las tareas hogareñas que tenemos. Mientras la gente construye cosas, habrá toda clase de sugerencias acerca de aumentar y extender el modelo UTxO extendido para incluir más capacidades, cómo la sólo lectura del UTxO, etc. Bueno, el poder de Cardano es que tenemos el combinador de bifurcación dura, significa que podemos cambiar las reglas del libro contable, cambiar el diseño del sistema, agregar más capacidades al sistema, con un grado de regularidad que la mayoría de las criptomonedas no tienen, y es un cambio indoloro, como verás el 12. Ese bucle de retroalimentación es especialmente importante para nosotros porque muy rápidamente el modelo UTxO extendido será mejorado, cuanto más desarrolladores de aplicaciones, más gente construyendo cosas, más ideas que vienen, esas cosas serán consideradas y gradualmente mejoradas. Así que hay una pregunta abierta acerca de cómo vamos desde donde estamos hoy a un completamente formado proceso CIP donde la comunidad está votando sobre eso. Muchachos, altamente les recomiendo que asistan a la cumbre el 25 y 26 de Septiembre. Tenemos toda una pista para gobernanza, tenemos cuatro pistas en la conferencia, una acerca de utilidad, una acerca de impacto, una acerca de adopción y la pista final es acerca de gobernanza. En esa pista hay una gran discusión acerca de dos conceptos principales, una es un concepto de abajo hacia arriba, y el otro es un concepto de arriba hacia abajo. El concepto de abajo hacia arriba se llama Catalyst, vos comés, dormís y lo respirás, creo que probablemente vaya a haber más de cien o doscientas personas buscando fondos Catalyst, presentando sus ideas ahí, y una discusión acerca de todos los logros que ha tenido Catalyst el último año. El otro de arriba a abajo es este concepto de DCF, consorcio, financiación de consorcio descentralizado. Vamos a ir muy profundo dentro de ese concepto y proporcionar un montón de claridad en cosas que pensamos, pero creo que una síntesis de estos dos mecanismos es, uno la sabiduría de la muchedumbre, y el otro el experto en el dominio. Esas dos cosas juntas, creo que van a encapsular cómo va a funcionar Voltaire el próximo año, porque estamos desplegando Basho y Voltaire el próximo año, esas son las partes finales de la agenda original para llevar a Cardano a donde tiene que ir. Una gran parte de eso es obtener los planos de Cardano dentro de Cardano en sí mismo. Así que ahora tenemos especificaciones formales, cualquiera puede encontrarlas y verlas, si vas a especificaciones formales, Github, Cardano, ahí vamos, el primer resultado, Cardano Ledger Specs, está abierto al mundo, 6.000 compromisos, activamente siendo agregados, tenés toda clase de cosas, documentos diseñados para Shelley, Allegra, Mary, Alonzo, la especificación actual, las especificaciones están muy involucradas, abramos una de ellas. Podés mirar, esto es lo que se entrega el 12, Alonzo, el UTxO extendido, la especificación formal, el CDDL. Mirá este documento, de 41 páginas de largo, mirá todas las diferentes personas en él, las fechas, etc. Va a detalles exhaustivos, con un montón de matemáticas, acerca del diseño del sistema. Esto es agnóstico a implementación, si entendés cómo leer estos diagramas, entonces lo que serías capaz de hacer es implementar esto en cualquier lenguaje que quieras, C++, Python, podés implementar esto en Javascript si querés, podés implementarlo en Haskell porque es el más cercano a las matemáticas. Así que podemos obtener alta certeza de que no hay ambigüedad en la implementación. Estos diseños, vamos a construir un puente durante los próximos años, para llevarlos dentro del ADN de Cardano en sí mismo. Así que, si tenés una copia de la blockchain, además de tener la historia de transacciones y toda la utilidad. En alguna coyuntura la cadena tendrá su propio ADN y cualquiera que tenga una copia de eso de hecho tiene los planos de Cardano dentro. Luego, una vez que tenés eso, el mismo sistema de votación que puede ser utilizado para votar propuestas en Catalyst, puede votarse para autorizar una versión de control, y la habilidad de actualizar las especificaciones. En el largo plazo, muchos años, los métodos formales pueden ser aplicados para el concepto de un cliente certificado, así que las pruebas van por el cable, los clientes con los que estás interactuando de hecho se están adhiriendo a las especificaciones. Así que creas un sistema imnunológico, de que las células no tienen un mal ADN en el sistema.
Hablaremos de esto en la cumbre Cardano y en las muchas cumbres por venir. Espero que esto transmita a la gente la enorme cantidad de pensamiento que ha ido dentro del proyecto, esta no es una cosa nocturna, como sigo diciendo, este es un proyecto adulto profesional. No vas y escribís documentos de 40 páginas que están llenas de matemáticas y extremadamente intrincados pensamientos y lo mantienes por años, años, años y años, si tu intención es sólo decir “ok, saludos a todo el mundo”, no. Pensamos muy cuidadosamente acerca de las cosas que están mencionadas en documentos como este, acerca de la naturaleza de los contratos inteligentes, ¿cómo la gente va a utilizar el sistema, cómo conceptos abstractos como opción e identidad y metadatos tienen que ser integrados dentro, como será automatizado el cumplimiento en cierto sentido, horneado dentro de los diseños, patrones y flujos de la gente, para que puedan interactuar con actores regulados, cómo haces eso mientras preservas principios donde si la gente quiere mantenerse privada tienen la habilidad de hacer eso, es la decisión del usuario? Ese ha sido el desafío, ha sido un montón de trabajo llegar a dónde estamos. Lo que es tan emocionante del lanzamiento de Alonzo es que este es el momento donde veremos miles de desarrolladores interactuando con nosotros, iterando y evolucionando rápidamente. Y lo que ocurrirá es que verás especificaciones, cada uno de estos eventos HFC tendrá una nueva especificación. Esto de aquí crecerá, crecerá y crecerá, eventualmente estará completamente contenido dentro de la cadena en sí misma, como el ADN de la cadena, podés ver la evolución histórica del sistema, totalmente controlada por las construcciones democráticas del sistema, balanceado por expertos en el dominio, autorizado a través de algún proceso representativo.
Así que espero que esto les de muchachos algo de claridad, espero que les dé algún sentido de confort acerca de cómo hemos juntado todo esto. Es lo que es, si no te gusta está bien, hay un montón de otras opciones, si te gusta, bueno, con suerte funcione para vos. Parece que alguien se está uniendo a estas transmisiones en vivo, Satoshi Nakamoto, ahí vamos. Me olvidé de solicitar que los invitados autentifiquen la transmisión en vivo. Bien, muchas gracias por escuchar muchachos, la conferencia será genial, los veré muchachos en seis días para el evento HFC, gracias a todos los desarrolladores que han estado trabajando incansablemente, más trabajo hogareño por hacer, continuaremos trabajando en el programa de pioneros Plutus. La próxima iteración vendrá junto con los pioneros Prism y un poquito de madurez con el backend de aplicación Plutus. Vamos a construir esas guías, guías de concurrencia, control de acceso y todas estas otras cosas, tendremos un conjunto de lecturas más comprensibles, probablemente en Octubre, creo que vendrá ahí, o en Noviembre, sólo depende de cuán rápido Lars se puede mover, definitivamente trabajaremos con la comunidad. Intentaremos tener un montón de lecturas por parte de las 8 compañías de desarrollo que trajimos para construir, testear y divertirnos con Cardano, junto con proyectos de la comunidad como Occam, Sundae, etc, eso continuará creciendo, el ecosistema continuará creciendo. La conferencia es digital, ustedes muchachos pueden asistir, creo que es summit.cardano.org, creo que ya tenemos 35, 36 mil registrados, probablemente para fin de mes vaya arriba de 50 mil, quizás incluso 100 mil, es muy notable ver cuán rápido han crecido las cosas, habrá hackatons, premios, toda clase de cosas como esas. Bien, sólo un rápido video, muchachos, hablaré con ustedes pronto.