
Autor: Elias Tazartes, Kakarot Zkevm Co -founder y CEO;
Kakarot Zkevm está a punto de ingresar a la red de pruebas.
Este artículo discutirá la singularidad de Kakarot.
Los constructores EVM disruptivos han extendido el espacio de diseño de la experiencia del usuario, y verán un entorno entusiasta y amigable en Kakarot.
1Así comoKakarotBreve introducción
Kakarot es un lenguaje soportable que admite soporte para Starknet y todas las cadenas de Starknetos (también conocidas como la cadena Cairovm o la cadena de aplicaciones Starknet).Kakarot es un zkrollup compatible con Ethereum.Además de la compatibilidad, Kakarot también se esfuerza por promover más innovación en el espacio L2 y agregar nuevas características, como la abstracción EVM, como las cuentas nativas.El espíritu de conducción de Kakarot es prueba, extensión e innovación.
2Así comoKakarotVisión
En este artículo, presentaremos lo que Kakarot es diferente y por qué es importante para los usuarios finales y los constructores.Después de años de desarrollo a través del ecosistema de Ethereum, hemos formado tres creencias firmes.
-
TPS no es importante que cierto umbral.Los usuarios desean un nivel de respuesta que sea equivalente a Web3 DAPP como aplicaciones Web2 y dapps Web3 rápidos.En otras palabras, los usuarios quieren una velocidad de transacción de nivel sub -segundo.Esto generalmente significa que alcanzar 10,000 TP aún debe esperar unos años (todavía necesitamos resolver el problema del crecimiento del estado).
-
Los costos comerciales son los principales obstáculos.Como dijo Vitalik en una publicación de blog: «Creo que el culpable que conduce a esta transformación (apertura de Web3) es el aumento en los costos de transacción».
-
Otro obstáculo importante adoptado por una gran escala es la experiencia del usuario.En Kakarot, creemos que el status quo de la experiencia del usuario de Web3 debe mejorarse enormemente.Por ejemplo, nuestro objetivo es proporcionar otra opción para aquellos que no quieren administrar las palabras, o aquellos que buscan la mayoría de los Dapps para lograr una experiencia de operación única (es decir, múltiples llamadas).
Para resumir estos tres puntos, Kakarot puede formar su promesa para los usuarios y su posición en la competencia actual de Rollup en Ethereum:
Mientras proporciona transacciones de bajo costo y rápidos,KakarotEl propósito es liderar la abstracción basada en la cuenta (llame más,Firmante de enclave seguroPublicar y lanzamiento de función rápida (por ejemplo, primero en la mayoría de los similaresEIP) Innovación céntrica del usuario.
3Así comoKakarotDiseño: la inevitable separación de la criptografía e ingeniería
En cierto sentido, la arquitectura de Kakarot es inevitable porque se crea en base al primer principio.El núcleo de Kakarot está construido con un lenguaje de alto nivel El Cairo.Esto hace que Kakarot sea el único Zkevm que realmente está separado por la criptografía y la ingeniería, que corresponde a «ZK» y «EVM» en Zkevm (excepto el Reth de Zeth y SP1 actualmente en la fase de investigación).
¿Qué significa esta separación para nuestro equipo?Significa un desarrollo más rápido, menos código (mucho menos código para escribir que los circuitos personalizados), un mantenimiento más fácil y todas las innovaciones en El Cairo en verificación y software de código abierto.
La idea de separación no solo es elegante, sino también la única forma de apoyar la expansión futura.Para ZKEVM, que construye un circuito personalizado, se ha demostrado que admite la bifurcación dura de la red principal e innova a través de nuevos EIP por adelantado.
Creemos que más participantes cambiarán a máquinas virtuales intermedias probadas en este campo.Hoy, las dos opciones que pueden probar y software adaptable son:
-
Use el lenguaje LLVM y pruebe, como Rust a LLVM, y luego RISC-V demostró usar RISC-Zero VKVM (como Rust Code of Revm puede ser Zeth).
-
Utilizando el lenguaje de El Cairo, este es un lenguaje de programación para el «diseño de prueba» creado para Cairovm.
Estamos seguros de que El Cairo siempre tendrá un mejor rendimiento (mientras que otros ZKVM pueden ser más convenientes), porque su construcción integra el concepto de prueba, que es diferente de otros ZKVM.En los próximos años, El Cairo se demostrará que es la herramienta más práctica y eficiente para escribir software.
4Entregado por el usuario -centrado
Es bueno desarrollar un software simple y fácil de usar, pero a los usuarios finales no les importa.No les importa si el back -end de WhatsApp se está ejecutando en AWS o en su propia nube, y no les importa qué lenguaje de programación está escrito en Telegram.El usuario final espera un valor agregado obvio.
El desafío que enfrentamos en el proceso de construcción de Kakarot es convertir esta enorme ventaja de ingeniería (un lenguaje intermediario probado de alto nivel) en el valor agregado de nuestra comunidad.
Esperamos mostrar nuestra rápida adaptabilidad al cambio de Ethereum.Las dos primeras ventajas obvias que proporcionamos para la comunidad son:
-
Kakarot Zkevm integrará inmediatamente la división dura de la red principal de Dencun: todos los nuevos códigos operativos y actualizaciones se incluirán en (Tstore, etc.).
-
Una hoja de ruta cooperativa de productos, prueba de usuario, construcción iterativa.
Tomemos un poco de tiempo para descubrir el segundo punto.Somos libres y podemos lograr rápidamente funciones importantes (porque nuestra comunidad elegirá).En nuestra etapa de red de prueba, lanzaremos nuevas funciones y le pediremos a nuestra comunidad que elija las características más útiles.Nos complace probar algunas de nuestras ideas en nuestra red de pruebas: llamadas nativas, EOA con faceID (o firmante de hardware), abstracción de cuentas nativas de prioridad móvil, integración temprana de EOF, etc.!
Cuando exploramos nuevas características con nuestros constructores y comunidades de usuarios finales, ¡recuerde que El Cairo y sus ecosistemas se están desarrollando activamente en segundo plano!Los más de 100 empleados de Starkware están trabajando duro para crear la próxima generación de Prover para El Cairo.Al mismo tiempo, más de 500 desarrolladores y participantes de infraestructura en la comunidad de desarrolladores de El Cairo están construyendo nuevas bibliotecas y avances de código, y estos, Kakarot se integrarán en el futuro (como la ejecución paralela).
Hay un buen ejemplo que puede reflejar nuestra ventaja competitiva, es decir, la última investigación de mejora de Prover lanzada por Starkware y Polygon Labs: Circle Stark.¡El Cairo se está volviendo cada vez más fuerte!
Kakarot no solo puede usar la innovación vibrante del ecosistema de El Cairo (demuestra el aumento de la velocidad, el soporte de bibliotecas de código de código abierto como SECP256R1), sino que también desarrolla un desarrollo de alta velocidad con una fuerte flexibilidad (adaptándose a las horquillas duras y al EIP).
5Así comoKakarotÚltima dinámica
Basado en el espíritu de consistencia pura y el lema de «Just Funks», el objetivo de Kakarot es pasar la prueba de Ethereum (prueba oficial de Evm de la Fundación Ethereum).Este hito confirmará nuestra compatibilidad completa con Ethereum, y también hará que los desarrolladores eviten los problemas fragmentados por EVM.
De esta manera, Kakarot proporcionará una experiencia de desarrollo perfecta.Queremos que los desarrolladores se concentren en cosas importantes para ellos: sus protocolos o DAPP.
Ahora Kakarot ha pasado más del 90%de la prueba (es decir, más de 18,000 pruebas).Hemos establecido confianza en nuestro EVM, y ahora es el momento de enfrentar el mundo real.
¡La última situación de Kakarot es que estamos entrando en la etapa de la red de pruebas!Para lograr este objetivo, estamos trabajando con Karnot y Starkware, y nos ayudarán a ejecutar nuestra pila.En los próximos dos trimestres de 2024, lo haremos (esperamos hacerlo) con usted (esperanza) para verificar nuestra tecnología con nuestra comunidad.¡Puede prestar mucha atención a nuestra comprensión dinámica de la fecha de apertura de la red de pruebas públicas en Twitter!En la actualidad, la red de pruebas no se divulga.
La siguiente es una imagen simplificada del principio de trabajo de la red de pruebas de Kakarot:
6,en conclusión
Los últimos desarrollos de Kakarot: el segundo y tercer trimestre de 2024 lanzaron la red de pruebas.
La ventaja única de Kakarot se encuentra en su diseño: pararse en el hombro de un gigante criptográfico y centrarse en el proyecto.Use esta ventaja para convertirse en un equipo más adaptativo y lanzar productos más rápido (aproximadamente 6 personas y contribuyentes han construido dos implementaciones únicas de ZKEVM en menos de un año).
El objetivo de Kakarot es ser compatible con la red principal de Ethereum.Estamos completamente garantizados para proporcionar garantía a las comunidades de nuestros constructores a través de la Fundación Ethereum.A partir de hoy, hemos aprobado más del 90%de la prueba de Ethereum.Nuestro objetivo es permitir que los desarrolladores no tengan una carga psicológica sobre la compatibilidad y la funcionalidad.
La misión de Kakarot es traer más innovación al espacio L2 (múltiples llamadas, firmas seguras de enclave, maestro de pago, ejecución paralela, etc.) y apoyar el desarrollo a largo plazo (Tipo 1 Zkevm, prueba de la red principal, equivalente puro, etc.) .
Al usar El Cairo, Kakarot puede evolucionar de manera rápida y rápida.Un poco de arrogancia nos permite: Kakarot está aquí, estamos destinados a venir.