Contrariamente a la tendencia, recaudó 12 millones de dólares estadounidenses y fue seleccionado por Sequoia ¿Cuál es el origen de Taiko, un novato de Type-1 zkEVM?
Nota del editor: Según Odaily Planet Daily, el 8 de junio, Taiko, la red de Ethereum de segundo nivel basada en zkRollup, completó dos rondas de financiamiento inicial por un total de US$22 millones. La primera ronda de financiamiento es de US$10 millones, liderada por Sequoia China, y se cerrará en el tercer trimestre de 2022. La ronda de financiación más reciente de la Serie A de $12 millones fue dirigida por Generative Ventures.
Si ha seguido la escena de Ethereum a prueba de conocimiento cero por un tiempo, probablemente haya escuchado los nombres Polygon, Starkware, Scroll y zkSync.
De hecho, es probable que no solo hayas oído hablar de ellos, sino que los hayas visto en Twitter debatiendo todo tipo de temas: cuál es la verdadera definición de zkEVM, quién estaba/está/estará implementando zkEVM por primera vez en la red principal de Ethereum, quién es en marketing Better, y otros temas importantes y no tan importantes.
Independientemente de su punto de vista sobre sus argumentos, todos estos proyectos están trabajando duro para escalar Ethereum.
Pero está surgiendo un nuevo jugador, uno que es relativamente discreto pero tan viable como los demás. Este nuevo jugador es Taiko, un zkEVM que pretende ser un equivalente de Ethereum totalmente descentralizado y de escalado de conocimiento cero. Que yo sepa, ningún otro equipo de zkEVM está intentando lograr esta hazaña actualmente, por lo que creo que Taiko merece una atención especial.
Veamos de qué se trata Taiko.
fondo
Taiko ("tambor" en japonés) fue fundada a principios de 2022 por Daniel Wang, Brecht Devos y otros grandes nombres en el campo. Antes de iniciar Taiko, los dos trabajaron en Loopring, el primer paquete acumulativo de conocimiento cero implementado en Ethereum.
Creo que es importante comprender rápidamente el papel que desempeñó Loopring en la creación y el desarrollo de Taiko. Originalmente, el zkEVM que Taiko estaba construyendo tenía que ser parte del esfuerzo de Loopring para llevar Ethereum con tecnología de prueba de conocimiento cero a las masas.
Sin embargo, en algún momento durante la fase de desarrollo, Wnag y su equipo se dieron cuenta de que confundir los dos podría ser bastante confuso, ya que Loopring es una extensión específica de la aplicación, mientras que Taiko pretende ser una extensión de uso general. Como resultado, Taiko se separó de Loopring y se desarrolló de forma independiente.
Taiko actualmente consta de unos 20 empleados de países como Turquía, Austria, Barbados, China, India, EE. UU., Canadá, Ucrania, etc.
detalles técnicos
Tipo-1 zkEVM
La principal característica que diferencia a Taiko de sus competidores (o más bien, de sus pares) es su objetivo de ser un zkEVM Tipo-1. El zkEVM de Type-1 se esfuerza por ser completamente equivalente a Ethereum, lo que significa que no realiza cambios en el sistema Ethereum para facilitar la generación de pruebas de conocimiento cero.
Antes de profundizar, es importante tener en cuenta que zkEVM de Taiko es una bifurcación del esfuerzo comunitario del equipo de Exploraciones de privacidad y escala (PSE). Taiko usa esta bifurcación para probar cosas nuevas y luego contribuir al zkEVM de PSE para que cualquier proyecto que esté desarrollando un zkEVM Tipo-1 (aún no) pueda beneficiarse de esta investigación.
Type-1 zkEVM espera ser totalmente compatible con Ethereum. En el caso de Taiko, pretende ser el equivalente de Ethereum a nivel de código de operación, lo que significa que las funciones hash, los contratos precompilados, los árboles de transacciones y estados y otra lógica de coherencia no cambiarán. Sin embargo, como se señala en el libro blanco de Taiko, el protocolo actualmente deshabilita ciertas propuestas de mejora de Ethereum (EIP), pero esto cambiará con el tiempo.
Convertirse en el equivalente de Ethereum trae muchos beneficios para los desarrolladores. Por ejemplo, los desarrolladores pueden migrar sin problemas sus contratos inteligentes y aplicaciones descentralizadas (dApps) a Taiko. Esto es muy importante porque si una dApp como Uniswap quiere migrar a Taiko, no necesita hacer ningún cambio en su protocolo. De lo contrario, reescribir el código en un lenguaje de programación diferente a Solidity o realizar otros cambios introduciría de inmediato múltiples riesgos para la seguridad del protocolo, así como para los activos que contiene.
Más allá de eso, en el caso de Taiko, la compatibilidad se ha mejorado aún más. El cliente Taiko se basa en el cliente Go-Ethereum de Ethereum probado en batalla. Esto significa que son más familiares y fáciles de usar para aquellos que buscan participar. Desde la perspectiva del usuario final, la capacidad de usar Uniswap en Taiko frente a la red principal de Ethereum mantiene, e incluso mejora, la coherencia, la accesibilidad y la satisfacción del usuario.
Por supuesto, hay que hacer algunas concesiones al buscar el camino de la compatibilidad perfecta. El principal desafío con los zkEVM de tipo 1 como Taiko es una generación de prueba de conocimiento cero más lenta. Dado que Ethereum no consideró la integración de pruebas de conocimiento cero al comienzo de su diseño, muchas partes del protocolo requieren muchos cálculos para generar pruebas de conocimiento cero.
Sin embargo, un diseño de protocolo adecuado puede aliviar este problema. Veamos cómo Taiko puede acelerar la generación de pruebas de conocimiento cero.
Acelerar la generación de pruebas de conocimiento cero
Taiko acelera la generación de pruebas de conocimiento cero de varias maneras:
Todos los bloques propuestos en Taiko L2 se validan inmediatamente porque son deterministas y no se pueden revocar. "Determinista" significa que cualquiera puede calcular el estado de la cadena después de la ejecución. Solo necesita pasar la prueba de validez intrínseca una vez cuando el bloque L2 se envía a Taiko L1 para que se considere verificado.
Dado que todos los bloques de propuesta de Taiko L2 son deterministas, se pueden probar en paralelo y las pruebas se pueden confirmar en cualquier orden. Por ejemplo, el probador n.° 1 puede verificar el bloque n.° 1 al mismo tiempo, y el probador n.° 2 puede verificar el bloque n.° 2 al mismo tiempo. Esto significa que solo el Taiko L1 tiene que esperar más tiempo para la prueba.
Todo esto puede acelerar la generación de pruebas de conocimiento cero hasta cierto punto. Para los usuarios finales, esto significa una finalidad instantánea en L2 y un puente más rápido de L2 a L1.
Taiko Colaborar
El protocolo de conocimiento cero de Taiko implementa dos contratos inteligentes en la red principal de Ethereum (L1) y Taiko L2:
Los contratos inteligentes L1 se utilizan para proponer, probar y verificar bloques L2.
Los contratos inteligentes L2 se utilizan actualmente para probar la invalidez de los bloques propuestos y anclarlos, una forma en que el protocolo aprovecha la capacidad de programación del EVM para hacer cumplir ciertos comportamientos del protocolo.
zkSNARKs
El protocolo Taiko utiliza pruebas de argumento de conocimiento sucinto no interactivo de conocimiento cero (zkSNARK). Al menos en teoría, los zkSNARK se consideran menos escalables que los zkSTARK y requieren un proceso de configuración confiable. Sin embargo, los zkSNARK son más ligeros que los zkSTARK y, por lo tanto, su verificación lleva menos tiempo. Y zkSNARK requiere menos gasolina, proporcionando transacciones más baratas.
Para generar zkSNARK, Taiko utiliza el sistema de prueba Global No Interaction Proof of Knowledge (PLONK) basado en la cardinalidad lagrangiana. La ventaja de PLONK es que se basa en criptografía estándar y sus pruebas son de tamaño pequeño. Sin embargo, Taiko también está investigando la posibilidad de combinar PLONK con otros sistemas de prueba como Plonky 2, Hyperplonk y Halo.
La red Taiko consta de tres participantes:
El proponente construye un bloque de resumen basado en las transacciones del usuario L2 y lo envía al cliente Taiko L1. Ellos deciden qué transacciones se incluyen en un bloque y cómo ordenarlas.
El probador genera pruebas zkSNARK para confirmar la validez de las transacciones y bloques L2. Ellos deciden qué bloques deben verificarse en la cadena.
Los operadores de nodos ejecutan transacciones a partir de datos en cadena para mantenerse sincronizados con el estado de la cadena. Los proponentes y probadores también ejecutan nodos, pero aquellos que desean brindar otros servicios (como exploradores de bloques) también necesitan ejecutar un nodo.
Punto Taiko L2
Los nodos L2 de Taiko obtienen datos de transacciones de Ethereum y ejecutan esas transacciones en Taiko L2. Como mencionamos antes, los nodos L2 de Taiko se basan en Go-Ethereum.
Lea el libro blanco de Taiko para obtener detalles técnicos más detallados.
Progreso actual
Taiko lanzó recientemente su primera red de prueba, llamada Snæfellsjökull, en honor a un volcán en el oeste de Islandia. Los usuarios pueden probar Taiko probando puentes entre Ethereum A1 y Taiko A1, transfiriendo tokens entre diferentes cuentas, interactuando con contratos y ejecutando nodos de propuesta.
Volcán Snæfellsjökull. Fuente: Revista islandesa.
Desde el punto de vista de las pruebas, la red de prueba fue un gran éxito. En poco más de una semana, la red Taiko L2 ha procesado más de 1,6 millones de transacciones, más de 650 000 bloques y 275 000 direcciones de billetera. Se puede decir que Snæfellsjökull explotó.
Fuente: explorer.a 1.taiko.xyz.
El equipo de Taiko tiene la intención de eliminar Snæfellsjökull en los próximos meses y reemplazarlo con una nueva red de prueba que utilizará tecnología de prueba de conocimiento cero. Otras redes de prueba mejorarán las versiones anteriores e implementarán modelos económicos simbólicos.
Taiko no especificó cuándo sucedería el lanzamiento de su red principal, pero mencionó que es más probable que sea a fines de 2023 o el próximo año.
La fe de Taiko
Aunque Taiko es bastante diferente en diseño técnico de otros zkEVM en este campo, también vale la pena discutir su búsqueda.
Taiko afirma que quiere ser accesible, inclusivo, abierto, sin permisos y descentralizado. De hecho, espera poder entrar en funcionamiento con un conjunto totalmente descentralizado de proponentes y probadores. Esto difiere de otros zkEVM, ya que la mayoría de ellos elige comenzar con la centralización y gradualmente descentralizarse.
Taiko cree que estar completamente descentralizado y perseguir los mismos objetivos que Ethereum es imprescindible para convertirse en un equivalente de Ethereum. Más allá de eso, el equipo tiene la intención de lanzar un DAO en el futuro. El cofundador Wang también dijo que Taiko espera operar como una organización sin fines de lucro.
Leer sobre los valores de Taiko no puede evitar sentirse muy vanguardista, casi revolucionario. Esto me recuerda la declaración de misión de zkSync. Espero que Taiko cumpla su promesa y se convierta en el primer zkEVM de tipo 1 completamente descentralizado en aterrizar en la red principal de Ethereum.
Conclusión
Type-1 zkEVM tiene sus ventajas y desventajas. Pero, ¿y si sus desventajas son insignificantes en relación con las ventajas que ofrece? ¿Qué pasa si el equivalente de Ethereum, aparentemente el estándar más alto, combinado con formas existentes y potenciales de acelerar la generación de prueba de conocimiento cero, realmente hace que Type-1 zkEVM sea un ganador a largo plazo? Todavía hay muchas incógnitas, pero al menos Vitalik parece dar a entender que un zkEVM tipo 1 es la elección correcta.
En cuanto a Taiko, creo que encontró el lugar correcto en el momento correcto. 2023 parece ser un año reservado para Build. Si Taiko logra sus objetivos y lanza su red principal este año o principios del próximo, podría ser uno de los grandes ganadores en el próximo ciclo de adopción.
Taiko claramente está solo, tratando de lograr hazañas extraordinarias. Si tendrá éxito es otra cuestión, pero a juzgar por lo que Wang y su equipo han logrado con Loopring, las probabilidades parecen estar de su lado. Si Taiko gana, Ethereum también será ganador.
Ver originales
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
Contrariamente a la tendencia, recaudó 12 millones de dólares estadounidenses y fue seleccionado por Sequoia ¿Cuál es el origen de Taiko, un novato de Type-1 zkEVM?
Escrito por: umede.eth
Recopilación: Odaily Planet Daily jk
Nota del editor: Según Odaily Planet Daily, el 8 de junio, Taiko, la red de Ethereum de segundo nivel basada en zkRollup, completó dos rondas de financiamiento inicial por un total de US$22 millones. La primera ronda de financiamiento es de US$10 millones, liderada por Sequoia China, y se cerrará en el tercer trimestre de 2022. La ronda de financiación más reciente de la Serie A de $12 millones fue dirigida por Generative Ventures.
Si ha seguido la escena de Ethereum a prueba de conocimiento cero por un tiempo, probablemente haya escuchado los nombres Polygon, Starkware, Scroll y zkSync.
De hecho, es probable que no solo hayas oído hablar de ellos, sino que los hayas visto en Twitter debatiendo todo tipo de temas: cuál es la verdadera definición de zkEVM, quién estaba/está/estará implementando zkEVM por primera vez en la red principal de Ethereum, quién es en marketing Better, y otros temas importantes y no tan importantes.
Independientemente de su punto de vista sobre sus argumentos, todos estos proyectos están trabajando duro para escalar Ethereum.
Pero está surgiendo un nuevo jugador, uno que es relativamente discreto pero tan viable como los demás. Este nuevo jugador es Taiko, un zkEVM que pretende ser un equivalente de Ethereum totalmente descentralizado y de escalado de conocimiento cero. Que yo sepa, ningún otro equipo de zkEVM está intentando lograr esta hazaña actualmente, por lo que creo que Taiko merece una atención especial.
Veamos de qué se trata Taiko.
fondo
Taiko ("tambor" en japonés) fue fundada a principios de 2022 por Daniel Wang, Brecht Devos y otros grandes nombres en el campo. Antes de iniciar Taiko, los dos trabajaron en Loopring, el primer paquete acumulativo de conocimiento cero implementado en Ethereum.
Creo que es importante comprender rápidamente el papel que desempeñó Loopring en la creación y el desarrollo de Taiko. Originalmente, el zkEVM que Taiko estaba construyendo tenía que ser parte del esfuerzo de Loopring para llevar Ethereum con tecnología de prueba de conocimiento cero a las masas.
Sin embargo, en algún momento durante la fase de desarrollo, Wnag y su equipo se dieron cuenta de que confundir los dos podría ser bastante confuso, ya que Loopring es una extensión específica de la aplicación, mientras que Taiko pretende ser una extensión de uso general. Como resultado, Taiko se separó de Loopring y se desarrolló de forma independiente.
Taiko actualmente consta de unos 20 empleados de países como Turquía, Austria, Barbados, China, India, EE. UU., Canadá, Ucrania, etc.
detalles técnicos
Tipo-1 zkEVM
La principal característica que diferencia a Taiko de sus competidores (o más bien, de sus pares) es su objetivo de ser un zkEVM Tipo-1. El zkEVM de Type-1 se esfuerza por ser completamente equivalente a Ethereum, lo que significa que no realiza cambios en el sistema Ethereum para facilitar la generación de pruebas de conocimiento cero.
Antes de profundizar, es importante tener en cuenta que zkEVM de Taiko es una bifurcación del esfuerzo comunitario del equipo de Exploraciones de privacidad y escala (PSE). Taiko usa esta bifurcación para probar cosas nuevas y luego contribuir al zkEVM de PSE para que cualquier proyecto que esté desarrollando un zkEVM Tipo-1 (aún no) pueda beneficiarse de esta investigación.
Type-1 zkEVM espera ser totalmente compatible con Ethereum. En el caso de Taiko, pretende ser el equivalente de Ethereum a nivel de código de operación, lo que significa que las funciones hash, los contratos precompilados, los árboles de transacciones y estados y otra lógica de coherencia no cambiarán. Sin embargo, como se señala en el libro blanco de Taiko, el protocolo actualmente deshabilita ciertas propuestas de mejora de Ethereum (EIP), pero esto cambiará con el tiempo.
Convertirse en el equivalente de Ethereum trae muchos beneficios para los desarrolladores. Por ejemplo, los desarrolladores pueden migrar sin problemas sus contratos inteligentes y aplicaciones descentralizadas (dApps) a Taiko. Esto es muy importante porque si una dApp como Uniswap quiere migrar a Taiko, no necesita hacer ningún cambio en su protocolo. De lo contrario, reescribir el código en un lenguaje de programación diferente a Solidity o realizar otros cambios introduciría de inmediato múltiples riesgos para la seguridad del protocolo, así como para los activos que contiene.
Más allá de eso, en el caso de Taiko, la compatibilidad se ha mejorado aún más. El cliente Taiko se basa en el cliente Go-Ethereum de Ethereum probado en batalla. Esto significa que son más familiares y fáciles de usar para aquellos que buscan participar. Desde la perspectiva del usuario final, la capacidad de usar Uniswap en Taiko frente a la red principal de Ethereum mantiene, e incluso mejora, la coherencia, la accesibilidad y la satisfacción del usuario.
Por supuesto, hay que hacer algunas concesiones al buscar el camino de la compatibilidad perfecta. El principal desafío con los zkEVM de tipo 1 como Taiko es una generación de prueba de conocimiento cero más lenta. Dado que Ethereum no consideró la integración de pruebas de conocimiento cero al comienzo de su diseño, muchas partes del protocolo requieren muchos cálculos para generar pruebas de conocimiento cero.
Sin embargo, un diseño de protocolo adecuado puede aliviar este problema. Veamos cómo Taiko puede acelerar la generación de pruebas de conocimiento cero.
Acelerar la generación de pruebas de conocimiento cero
Taiko acelera la generación de pruebas de conocimiento cero de varias maneras:
Todos los bloques propuestos en Taiko L2 se validan inmediatamente porque son deterministas y no se pueden revocar. "Determinista" significa que cualquiera puede calcular el estado de la cadena después de la ejecución. Solo necesita pasar la prueba de validez intrínseca una vez cuando el bloque L2 se envía a Taiko L1 para que se considere verificado.
Dado que todos los bloques de propuesta de Taiko L2 son deterministas, se pueden probar en paralelo y las pruebas se pueden confirmar en cualquier orden. Por ejemplo, el probador n.° 1 puede verificar el bloque n.° 1 al mismo tiempo, y el probador n.° 2 puede verificar el bloque n.° 2 al mismo tiempo. Esto significa que solo el Taiko L1 tiene que esperar más tiempo para la prueba.
Todo esto puede acelerar la generación de pruebas de conocimiento cero hasta cierto punto. Para los usuarios finales, esto significa una finalidad instantánea en L2 y un puente más rápido de L2 a L1.
Taiko Colaborar
El protocolo de conocimiento cero de Taiko implementa dos contratos inteligentes en la red principal de Ethereum (L1) y Taiko L2:
zkSNARKs
El protocolo Taiko utiliza pruebas de argumento de conocimiento sucinto no interactivo de conocimiento cero (zkSNARK). Al menos en teoría, los zkSNARK se consideran menos escalables que los zkSTARK y requieren un proceso de configuración confiable. Sin embargo, los zkSNARK son más ligeros que los zkSTARK y, por lo tanto, su verificación lleva menos tiempo. Y zkSNARK requiere menos gasolina, proporcionando transacciones más baratas.
Para generar zkSNARK, Taiko utiliza el sistema de prueba Global No Interaction Proof of Knowledge (PLONK) basado en la cardinalidad lagrangiana. La ventaja de PLONK es que se basa en criptografía estándar y sus pruebas son de tamaño pequeño. Sin embargo, Taiko también está investigando la posibilidad de combinar PLONK con otros sistemas de prueba como Plonky 2, Hyperplonk y Halo.
La red Taiko consta de tres participantes:
Punto Taiko L2
Los nodos L2 de Taiko obtienen datos de transacciones de Ethereum y ejecutan esas transacciones en Taiko L2. Como mencionamos antes, los nodos L2 de Taiko se basan en Go-Ethereum.
Lea el libro blanco de Taiko para obtener detalles técnicos más detallados.
Progreso actual
Taiko lanzó recientemente su primera red de prueba, llamada Snæfellsjökull, en honor a un volcán en el oeste de Islandia. Los usuarios pueden probar Taiko probando puentes entre Ethereum A1 y Taiko A1, transfiriendo tokens entre diferentes cuentas, interactuando con contratos y ejecutando nodos de propuesta.
Volcán Snæfellsjökull. Fuente: Revista islandesa.
Desde el punto de vista de las pruebas, la red de prueba fue un gran éxito. En poco más de una semana, la red Taiko L2 ha procesado más de 1,6 millones de transacciones, más de 650 000 bloques y 275 000 direcciones de billetera. Se puede decir que Snæfellsjökull explotó.
Fuente: explorer.a 1.taiko.xyz.
El equipo de Taiko tiene la intención de eliminar Snæfellsjökull en los próximos meses y reemplazarlo con una nueva red de prueba que utilizará tecnología de prueba de conocimiento cero. Otras redes de prueba mejorarán las versiones anteriores e implementarán modelos económicos simbólicos.
Taiko no especificó cuándo sucedería el lanzamiento de su red principal, pero mencionó que es más probable que sea a fines de 2023 o el próximo año.
La fe de Taiko
Aunque Taiko es bastante diferente en diseño técnico de otros zkEVM en este campo, también vale la pena discutir su búsqueda.
Taiko afirma que quiere ser accesible, inclusivo, abierto, sin permisos y descentralizado. De hecho, espera poder entrar en funcionamiento con un conjunto totalmente descentralizado de proponentes y probadores. Esto difiere de otros zkEVM, ya que la mayoría de ellos elige comenzar con la centralización y gradualmente descentralizarse.
Taiko cree que estar completamente descentralizado y perseguir los mismos objetivos que Ethereum es imprescindible para convertirse en un equivalente de Ethereum. Más allá de eso, el equipo tiene la intención de lanzar un DAO en el futuro. El cofundador Wang también dijo que Taiko espera operar como una organización sin fines de lucro.
Leer sobre los valores de Taiko no puede evitar sentirse muy vanguardista, casi revolucionario. Esto me recuerda la declaración de misión de zkSync. Espero que Taiko cumpla su promesa y se convierta en el primer zkEVM de tipo 1 completamente descentralizado en aterrizar en la red principal de Ethereum.
Conclusión
Type-1 zkEVM tiene sus ventajas y desventajas. Pero, ¿y si sus desventajas son insignificantes en relación con las ventajas que ofrece? ¿Qué pasa si el equivalente de Ethereum, aparentemente el estándar más alto, combinado con formas existentes y potenciales de acelerar la generación de prueba de conocimiento cero, realmente hace que Type-1 zkEVM sea un ganador a largo plazo? Todavía hay muchas incógnitas, pero al menos Vitalik parece dar a entender que un zkEVM tipo 1 es la elección correcta.
En cuanto a Taiko, creo que encontró el lugar correcto en el momento correcto. 2023 parece ser un año reservado para Build. Si Taiko logra sus objetivos y lanza su red principal este año o principios del próximo, podría ser uno de los grandes ganadores en el próximo ciclo de adopción.
Taiko claramente está solo, tratando de lograr hazañas extraordinarias. Si tendrá éxito es otra cuestión, pero a juzgar por lo que Wang y su equipo han logrado con Loopring, las probabilidades parecen estar de su lado. Si Taiko gana, Ethereum también será ganador.