A medida que la atención se centra en web3, la escalabilidad se está convirtiendo en un desafío para las redes blockchain, impidiéndoles igualar los sistemas financieros tradicionales.
Las técnicas criptográficas avanzadas, como las pruebas de conocimiento cero (ZKP) y las soluciones de escalamiento como los paquetes acumulativos de ZK, están surgiendo como soluciones clave.
Los paquetes acumulativos de Zk implican agrupar miles de transacciones fuera de la cadena, lo que reduce la carga de datos de la cadena de bloques principal y al mismo tiempo ofrece un alto nivel de privacidad y tiempos de finalización más rápidos.
Expertos como Vitalik Buterin creen que podría convertirse en un elemento central de las estrategias de escalabilidad de blockchain. El cofundador de Ethereum ha escrito varios artículos explicando su visión sobre los paquetes acumulativos para escalar Ethereum, que ha estado plagado de congestión de la red y costos crecientes.
Buterin respalda específicamente los paquetes acumulativos de conocimiento cero debido a su potencial para un mayor rendimiento y una finalidad inmediata de las transacciones.
Otros expertos de la industria como Eli Ben-Sasson de StarkWare, Alex Gluchowski de zkSync y Barry Whitehat de la Fundación Ethereum también defienden los zk-rollups por su escalabilidad y beneficios de seguridad.
Pero, ¿son las ZKP la última pieza del rompecabezas de la escalabilidad?
Según Mike Voronov, director de I+D de Fluence, la respuesta es un poco más compleja que eso.
En declaraciones a crypto.news, Voronov reconoció las ventajas de este enfoque, como “garantías de seguridad más sólidas” y “períodos de retiro más cortos”. Sin embargo, añadió que, al igual que otros métodos de escalamiento, tiene su “propio conjunto de pros y contras”.
En los ZKP, el proceso de generación y verificación de pruebas es computacionalmente intenso debido a la necesidad de ejecutar complejos algoritmos criptográficos. Estos algoritmos garantizan que las pruebas sean seguras y concisas, lo cual es crucial para mantener la privacidad de las transacciones en las redes blockchain.
“No se puede decir universalmente que las ZKP sean la solución definitiva en todas las situaciones posibles. […] sin mencionar la mayor complejidad que implica la investigación e implementación de protocolos ZK”.
Voronov señaló que otros métodos, en particular las pruebas de fraude, ofrecen un equilibrio comparable entre rendimiento y seguridad.
Las pruebas de fraude en Optimistic Rollups permiten a los usuarios validar transacciones fuera de la cadena desafiando las sospechosas. Una vez impugnadas, la invalidez de estas transacciones se establece en la cadena principal, garantizando la seguridad mediante una verificación posterior.
Este enfoque requiere menos recursos en comparación con los ZKP porque solo procesa verificaciones computacionales cuando una transacción se cuestiona específicamente en lugar de verificar cada transacción de manera proactiva.
Sin embargo, agregó que la fortaleza de los ZKP radica en sus garantías criptográficas, algo de lo que carecen los Optimistic Rollups debido a su dependencia de pruebas de fraude.
“En comparación con otras soluciones de escalabilidad, como acumulaciones optimistas, fragmentación, pruebas de fraude y canales estatales, las soluciones basadas en ZKP generalmente brindan garantías criptográficas mucho más sólidas e imponen una menor carga económica y de infraestructura en la cadena”.
También podría gustarte: Starknet escalará Bitcoin sin bifurcar ni crear nuevos tokens, dice StarkWare
Francisco Leal, CTO de Talent Protocol, estuvo de acuerdo y agregó que el éxito de proyectos recientes centrados en ZK como zkSync y Starknet indican que “la tecnología ZK ya es muy madura y prometedora”.
“Los diferentes sistemas tienen diferentes necesidades, lo que hace improbable que una única solución aborde universalmente todos los casos de uso. Por lo tanto, es probable que persista la diversidad en las soluciones de escalamiento, reflejando las variadas demandas de las diferentes aplicaciones de blockchain”, dijo Leal a crypto.news.
Según el CTO, los paquetes acumulativos Optimistic son actualmente la mayor competencia para los paquetes acumulativos ZK. Señaló que las pruebas de conocimiento cero (ZKP), específicamente las zk-SNARK y zk-STARK, están en desventaja debido a su naturaleza computacionalmente intensiva y las crecientes demandas de generación y verificación de pruebas.
Sin embargo, con los avances en el poder computacional, Leal espera que este “disminuya” pronto.
El entusiasmo de los inversores por las tecnologías de conocimiento cero ha aumentado, lo que ha dado lugar a inversiones multimillonarias. Las contribuciones clave incluyen StarkWare, que obtuvo 100 millones de dólares con una valoración de 6 mil millones de dólares, y zkSync, que recaudó 200 millones de dólares.
Mientras tanto, Polygon Labs intensificó notablemente su compromiso con iniciativas de conocimiento cero, inyectando mil millones de dólares en el sector.
Cuando se les preguntó si los paquetes acumulativos de ZK podrían ayudar a las redes blockchain a escalar a un nivel que igualaría o superaría a sus contrapartes tradicionales, ambos ejecutivos se mantuvieron optimistas.
Voronov enfatizó que tal hazaña requeriría la “estandarización total de los protocolos de prueba de conocimiento cero (ZKP) y las herramientas asociadas”. Mientras tanto, Leal enfatizó que la “eficiencia en la generación y verificación de pruebas” actúa actualmente como un “cuello de botella” y necesita mejoras.
Leer más: Polygon prueba los paquetes acumulativos de ZK antes de la integración de la red principal