A medida que la atención se centra en la Internet3, 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 ZK rollups, están surgiendo como soluciones clave.
Los rollups de Zk implican agrupar miles de transacciones fuera de la cadena, lo que decrease 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 la cadena de bloques. El cofundador de Ethereum ha escrito varios artículos en los que explica su visión sobre los rollups para escalar Ethereum, que se ha visto afectado por la congestión de la pink y los crecientes costes.
Buterin respalda específicamente los Zero-Know-how Rollups debido a su potencial para lograr un mayor rendimiento y una finalización 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 sus beneficios de escalabilidad y seguridad.
Pero ¿son los ZKP la pieza last 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, agregó que, al igual que otros métodos de escalado, tiene su “propio conjunto de pros y contras”.
En las ZKP, el proceso de generación y verificación de pruebas es computacionalmente intenso debido a la necesidad de ejecutar algoritmos criptográficos complejos. Estos algoritmos garantizan que las pruebas sean seguras y concisas, lo que es very important para mantener la privacidad de las transacciones en las redes de blockchain.
“No se puede decir de manera universal que los 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 los protocolos ZK”.
Voronov señaló que otros enfoques, específicamente las pruebas de fraude, ofrecen un equilibrio similar de rendimiento y seguridad.
Las pruebas de fraude en Optimistic Rollups permiten a los usuarios validar transacciones fuera de la cadena cuestionando las sospechosas. Una vez cuestionadas, la invalidez de estas transacciones se establece en la cadena principal, lo que garantiza la seguridad mediante una verificación posterior.
Este enfoque take in menos recursos en comparación con los ZKP porque solo procesa verificaciones computacionales cuando se cuestiona específicamente una transacción 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 los rollups optimistas, la fragmentación, las pruebas de fraude y los canales estatales, las soluciones basadas en ZKP suelen proporcionar garantías criptográficas mucho más sólidas e imponen una menor carga económica y de infraestructura en la cadena”.
Francisco Leal, CTO de Talent Protocol, coincidió 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».
“Cada sistema tiene necesidades diferentes, por lo que es unbelievable que una única solución aborde de manera universal todos los casos de uso. Por lo tanto, es probable que persista la diversidad en las soluciones de escalado, reflejando las variadas demandas de las diferentes aplicaciones de blockchain”, dijo Leal a crypto.information.
Según el CTO, los rollups optimistas son actualmente la mayor competencia para los rollups 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 esto “disminuya” pronto.
El entusiasmo de los inversores por las tecnologías de conocimiento cero ha aumentado, lo que ha dado lugar a inversiones multimillonarias. Entre las contribuciones clave se encuentran StarkWare, que consiguió 100 millones de dólares con una valoración de 6.000 millones de dólares, y zkSync, que recaudó 200 millones de dólares.
Mientras tanto, Polygon Labs intensificó notablemente su compromiso con las iniciativas de conocimiento cero, inyectando 1.000 millones de dólares en el sector.
Cuando se les preguntó si las acumulaciones de ZK podrían ayudar a que las redes blockchain escalen a un nivel que iguale o supere a sus contrapartes tradicionales, ambos ejecutivos se mantuvieron optimistas.
Voronov destacó que tal hazaña requeriría la “estandarización completa de los protocolos de Prueba de Conocimiento Cero (ZKP) y las herramientas asociadas”. Mientras tanto, Leal enfatizó que la “eficiencia de la generación y verificación de pruebas” actualmente actúa como un “cuello de botella” y necesita mejorar.