Los principios fundamentales importan.

Lo que más me gusta de ser CEO de StarkWare es escuchar y ser corregido por los miembros de mi equipo, que son más inteligentes y tienen más conocimientos que yo.

Hora de contar historias -- El probador más rápido del oeste y cómo surgió. Cuando fundamos StarkWare en 2018, nos propusimos construir el primer probador STARK de calidad de producción. En ese momento, el factor limitante era el costo del gas en Ethereum. Era más simple y barato construir un probador utilizando números enormes (de 256 bits). Esto llevó a un probador STARK simple que sabíamos que podría hacerse más eficiente reduciendo el tamaño del campo. Avancemos hasta 2023. El mundo entero ahora está convencido de que los zkSTARKs son el juego final, y muchos equipos comienzan a construir sistemas utilizando campos pequeños, lo que lleva a probadores más rápidos. En el verano de 2023, comenzamos un proyecto para elegir la tecnología de prueba de próxima generación. Revisamos todas las tecnologías de prueba existentes -- SNARKs, cosas basadas en plegado, GKR, y más. Nos dimos cuenta muy rápidamente de que el factor de rendimiento dominante es el tamaño del campo finito, y los primos de 32 bits son los mejores. ¿Por qué? (1) todas las arquitecturas de hardware modernas están optimizadas para esos, (2) ¿por qué primos (y no binarios?) porque las GPU no soportan bien la multiplicación binaria. Bien, eso nos deja con tecnologías de prueba como GKR y STARK, sobre primos de 32b. Ahora nos enfrentamos a un problema. El mejor campo para cálculos rápidos es M31, pero carece de la estructura de grupo para tener STARKs rápidos. Afortunadamente, el brillante trío -- Ulrich Habock (entonces en Polygon, ahora a tiempo completo en StarkWare), David Levit y Shahar Papini, encontraron una manera de usar el "grupo circular" sobre M31 para obtener una solución óptima. El nuevo equipo comenzó a implementar las matemáticas. De la manera más eficiente que pudimos imaginar, probando y validando la eficiencia, y también construyéndolo de una manera lo suficientemente modular para que otros equipos lo usen. Al mismo tiempo, la infraestructura de restricciones AIR fue reconstruida desde cero, basada en nuestra experiencia previa, para llevar a algo que sea sólido y eficiente. Y ahora, Stwo está entrando en producción en Starknet, reduciendo costos y latencia. Las pruebas que realizamos son impresionantes. Al mismo tiempo, múltiples equipos externos lo están utilizando para construir su infraestructura. Creo que será el estándar de oro de los probadores de código abierto, y todos están invitados a usarlo. FIN.

¿Por qué soy optimista sobre Starknet? La mejor tecnología. Es cierto, el TVL y el volumen de DeFi podrían aumentar. Pero estoy pensando a largo plazo. El ecosistema está en ebullición, esperando otra chispa, y esa chispa llegará. Y cuando lo haga, los usuarios y desarrolladores descubrirán que la mejor tecnología significa la mejor experiencia de usuario, la mejor seguridad, las mejores características, y estas no se reducirán una vez que la actividad aumente. ¿Por qué es la mejor tecnología? - Lenguaje de contratos inteligentes de próxima generación y el mejor de todos los tiempos. Sí, Cairo es mucho mejor que Solidity o el Rust de Solana. - Cuentas inteligentes de próxima generación (gracias a la abstracción de cuentas nativa) -> mejor experiencia de usuario para los usuarios finales, junto con una seguridad de autocustodia de primer nivel. - Mayor potencia de cómputo en la cadena -> Los intercambios de Perp, los desarrolladores de juegos y otras aplicaciones de cómputo intensivo pueden ejecutar lógica compleja que no encontrarás en ningún otro lugar de la blockchain. - La conectividad más segura a Bitcoin y Ethereum. - El único L2 que avanza activamente hacia una verdadera descentralización total. - Mayor redundancia en lo que respecta a secuenciadores y probadores. La tecnología de prueba más segura, rápida y sólida que existe. Así que estoy pensando a largo plazo, y estoy muy optimista sobre Starknet. Y tú también deberías estarlo.

Starknet está en modo Grinta y estoy algo sorprendido (¿triste?) de que nadie lo esté llevando al siguiente nivel con Margagrintas🍹🍹🍹

Cómo casi obtuve un cubo de tungsteno de @ercwl He afirmado (y aún lo hago) que las Pruebas de Fraude no funcionan. Es decir, la promesa de que "cualquiera puede iniciar un proceso de arbitraje" no puede sostenerse. Hace varios años, Eric me preguntó durante la cena: "¿te gustaría apostar un cubo de tungsteno sobre esto?" Yo dije: "¡Sí! Te apuesto que en los próximos 3 años, ningún sistema basado en Pruebas de Fraude ofrecerá verdadera descentralización del secuenciador y del validador, y permitirá un bono de disputa por debajo de $100, disponible para el usuario promedio." La simple razón por la que los sistemas basados en Pruebas de Fraude no pueden ofrecer un bono de disputa a ese precio es que abre la puerta a trolls/DoS del sistema. Nunca formalizamos esto por escrito, y creo que ha pasado bastante tiempo, pero aún estoy feliz de hacer esta apuesta hoy, con él o con cualquiera que esté dispuesto al desafío.

Opinión: Las L2 deberían ser descentralizadas. *La descentralización importa en L2 tanto como en L1.* Starknet publicó su hoja de ruta de descentralización hace un tiempo, y la ha estado siguiendo, paso a paso. No veo a ningún otro equipo de L2 con planes reales o trabajo en esa dirección.

Hay que amar esas batallas de "solo ETH" y "solo BTC". Después de una semana como esta, no tienen sentido en absoluto.

Al final de esta semana cripto, aquí está mi conclusión: (TL;DR - se están construyendo puentes entre dos mundos)

Hay un fuerte elemento contradictorio entre TradFi y DeFi: TradFi comunica "confía en nosotros", "en nosotros confías". DeFi dice "no confíes en nadie más que en ti mismo", "en las matemáticas confiamos". Ver cómo los dos mundos se acercan es interesante.