Las personas que reconstruyeron Zcash tenían un sueño: alcanzar el nivel de los gigantes mundiales de pagos Visa y Mastercard, procesando decenas de miles de pagos por segundo, mientras se mantienen la verificabilidad total y fuertes garantías de privacidad.
La primera pieza de este plan es Zakura, un nuevo software de nodo completo cuya versión 1.0.0 se lanzó el miércoles. Es mantenido por Sean Bowe, miembro fundador de la criptografía de conocimiento cero de Zcash, y Dev Ojha, cofundador de Osmosis y actual responsable de Valar Group. Ambos equipos son financiados por donaciones privadas de ZEC, y no por empresas ni fundaciones.
Un nodo completo es un programa que guarda una copia completa del blockchain, en este caso el libro mayor de Zcash, y verifica independientemente si cada transacción cumple con las reglas de la red. Zakura es una bifurcación del software de nodo de la Zcash Foundation, Zebra, es decir, fue reconstruido a partir del código oficial de la fundación.
Las reglas de consenso son un manual de reglas compartidas que cada nodo ejecuta para determinar qué bloques y transacciones son válidos en toda la red. Si un nodo aplica reglas diferentes, se bifurcará y dejará de seguir la misma cadena que los demás nodos.
Poda, instantáneas y compatibilidad
Zakura también puede realizar poda, es decir, eliminar datos antiguos de la cadena de bloques que ya no son necesarios, reduciendo significativamente el uso del disco. Esto comprime la cadena hasta un tamaño lo suficientemente pequeño como para que el equipo haya publicado copias listas para usar, que tras eliminar los datos antiguos miden aproximadamente 11 GB; los nuevos nodos pueden descargarlas directamente en lugar de obtener toda la historia bloque por bloque desde otros nodos.
Esto permite que los nodos pasen de cero a funcionar en menos de dos minutos, según el equipo, "680 veces más rápido".
El modo de compatibilidad reproduce adicionalmente la interfaz del cliente original zcashd, cuyo ciclo de vida finalizará el 18 de julio, permitiendo que las billeteras e integraciones de intercambios construidas sobre él continúen funcionando normalmente.
Throughput goals and the role of Tachyon
La razón para construir todo esto es un problema aritmético.
Mastercard y Visa procesan más de 50,000 transacciones por segundo, y el equipo califica esta cifra como "el mínimo, no el objetivo". El esquema criptográfico actual de Zcash requiere que los nodos reciban y validen más de 500 MB de datos por segundo para mantenerse al día, ya que cada transacción privada lleva una prueba, y estas pruebas son de gran tamaño.
Esto equivale aproximadamente a recibir un DVD completo cada 10 segundos, un nivel que ningún software de Zcash puede alcanzar actualmente. Pero lo clave es entender la razón de cada cuello de botella.
El proyecto Tachyon de Bowe está resolviendo este problema mediante pruebas recursivas, donde una sola prueba puede verificar la validez de miles de otras pruebas, reduciendo significativamente la cantidad de datos que deben verificarse en la capa de consenso.
Bajo el esquema Tachyon, los nodos verifican una sola prueba en lugar de miles, y el equipo afirma que esto reduce la demanda de datos de consenso de 100 MB por segundo a 500 MB, lo que consideran técnicamente factible mediante una ingeniería cuidadosa.
Cuello de botella de la billetera y la solución PIR de Valar
Los monederos enfrentan diferentes problemas. Dado que Zcash oculta el destinatario de las transacciones, el monedero no puede preguntar al servidor qué transacciones le pertenecen sin exponerse. Debe recuperar todo y probar cada una, lo que explica por qué el software del monedero solo puede alcanzar aproximadamente 1 transacción por segundo.
Para eliminar este cuello de botella, Valar Group está investigando tecnologías de recuperación de información privada que permitan a los monederos obtener sus datos del servidor sin que este sepa qué elementos se solicitaron.
Propagación rápida de bloques
La propagación rápida de bloques significa difundir los bloques recién minados en la red blockchain lo más rápido posible. Zakura es la capa de software encargada de esta tarea.
Debe ser lo suficientemente rápido para transmitir nuevos bloques entre nodos, permitiendo así una gran cantidad de pruebas y tráfico de billeteras. Cuenta con un sistema experimental diseñado para entregar cada bloque a cada nodo en menos de medio segundo, actualmente desactivado por defecto.
Las pruebas recientes de estas ideas llegarán a finales de julio. Ironwood, oficialmente denominado NU6.3, se activará en el bloque de la red principal 3,428,143, aproximadamente el 28 de julio a las 8:00 a.m. hora del Este, y Zakura lo ha respaldado desde su lanzamiento.
Bowe indicó el 10 de julio que todas las organizaciones principales se comprometieron a activar esto, una semana más tarde de lo planeado, ya que las plataformas de intercambio y proveedores de billeteras solicitaron tiempo para prepararse.
Origen de Ironwood
Ironwood existe debido a una vulnerabilidad que casi destruyó Zcash en junio. El llamado pool blindado es la parte de privacidad de la red, donde las cantidades y los participantes se ocultan, y las pruebas de conocimiento cero sirven como evidencia matemática de las operaciones.
El 29 de mayo, el investigador de Shielded Labs, Taylor Hornby, descubrió que el circuito de prueba del Orchard (la última piscina protegida) contenía una vulnerabilidad de solidez que permitía a los atacantes acuñar ZEC falsas sin dejar rastro en la cadena. Esta vulnerabilidad ha existido desde la activación de Orchard en mayo de 2022.
Los desarrolladores desactivaron Orchard mediante una respuesta de emergencia completada el 2 de junio, y luego lo restauraron con circuitos corregidos mediante la bifurcación dura NU6.2 en el bloque 3,364,600 el 3 de junio.
El parche no puede resolver los cuatro años durante los cuales la vulnerabilidad estuvo abierta. La prueba de conocimiento cero no revela ninguna información además del hecho de que la verificación se completó, por lo que no hay ningún registro en la cadena de los detalles de ninguna transacción Orchard, y nadie puede probar que nunca se crearon ZEC falsos.
Ironwood se construyó precisamente para resolver este problema. La llamada "puerta giratoria" en los límites del pool restringe lo que puede salir y entrar, aprovechando el hecho de que las cantidades de ZEC que ingresan y salen del pool son públicas, aunque las transacciones dentro del pool sean privadas. Al cerrar Orchard para bloquear nuevos depósitos, la puerta giratoria se convierte en la única salida, y cualquier moneda falsa interna queda atrapada allí.
En términos sencillos, los saldos honestos pueden retirarse con el tiempo, mientras que las monedas falsas pueden ser impedidas de salir completamente y entrar en la oferta circulante. Esta configuración restringe cualquier intento de sobrecalentar la oferta dentro de los límites, restaurando la confiabilidad de la oferta de tokens.
Autor: Coindesk; Traducción: Deep潮 TechFlow
