Aquí informamos sobre el progreso de los constructores líderes en el servicio de prueba ZKonomy, documentando lanzamientos significativos recientes, avances técnicos y actualizaciones 👇 generales

ZkCloud @thezkcloud ha recibido una subvención de @ethereumfndn para generar continuamente ZKPs para los bloques de la mainnet de @ethereum a lo largo del segundo trimestre de 2025. Todas las pruebas se publican públicamente a través de @eth_proofs. El objetivo es demostrar una infraestructura escalable para la prueba en tiempo real. ZkCloud utiliza un clúster de 24 GPU y herramientas de código abierto modificadas, con planes de adoptar los zkVM más rápidos disponibles y reducir la latencia para pruebas de bloques de menos de 12 segundos: Además, el proyecto ha añadido cuatro nuevos validadores a su Testnet: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain y @AhnLab_ABC. Estos grupos aportan diversas fortalezas, desde infraestructura localizada y ciberseguridad hasta investigación y operaciones de validadores. Su participación fortalece la prueba descentralizada a medida que ZkCloud se acerca a la Mainnet y aumenta las capacidades de prueba en tiempo real dentro de su red: Además, ZkCloud fue uno de los principales patrocinadores de la Cumbre Ethproofs de House of ZK durante @BerBlockWeek. El Jefe de Producto @NorbertVadas participó en tres sesiones en el evento: 1) Primero, dio una conferencia donde habló sobre los cuellos de botella arquitectónicos y técnicos de la escalabilidad de la prueba ZK, desde la optimización de la recuperación de datos RPC hasta el manejo de la variación inesperada en la complejidad de los bloques debido a los códigos de operación de EVM con una sobrecarga de prueba desproporcionada: 2) Más tarde, Norbert se unió a @Khovr de la Fundación Ethereum, @0xAlecJames de @NexusLabs, @MayaD09111862 de @StarkWareLtd y @alicelingl de @HouseofZK para discutir cómo los benchmarks zkVM estandarizados pueden ser engañosos cuando se optimizan para métricas estrechas, la importancia de la evaluación del rendimiento consciente del hardware y la necesidad de marcos transparentes y multidimensionales que reflejen cargas de trabajo del mundo real y generen confianza en la computación verificable: 3) Finalmente, junto con @carlo_cretino50 de @0xLita, @DacEconomy de @ProjectZKM, @schmiddominik1 de @0xMiden y Alice Liu de House of ZK, exploró la evolución de la interoperabilidad de zkVM, destacando el potencial de ir más allá de los puentes tradicionales, el papel de los proveedores de prueba descentralizados y la importancia de estándares compartidos para aplicaciones de blockchain escalables y seguras:

Ingonyama @Ingo_zk ha lanzado una implementación acelerada de ML-KEM, un protocolo de encapsulación de claves basado en reticulados seleccionado por NIST para la criptografía post-cuántica. El código basado en CUDA es de código abierto bajo la licencia MIT y logra hasta un 30% más de rendimiento en comparación con las implementaciones actuales. ML-KEM soporta tres niveles de seguridad alineados con Kyber512, Kyber768 y Kyber1024: Además, @BagadSuyash y @yuval_domb de Ingonyama, @QuangVDao de @CarnegieMellon, y @SuccinctJT de @a16zcrypto han publicado un artículo que describe la integración de dos optimizaciones clave que aceleran significativamente el protocolo de verificación de suma, un componente fundamental de los SNARKs. Las técnicas se dirigen a entradas polinómicas de pequeño valor y formas polinómicas de igualdad, permitiendo reducciones de tiempo de prueba de 2 a 4 veces en el Jolt zkVM, con mejoras aún mayores cuando la memoria es limitada. Estos resultados abordan directamente los cuellos de botella del probador en sistemas como Spartan dentro de Jolt:

Fermah @fermah_xyz ha lanzado la Fase 2 de su testnet, que incluye la integración de Nodos Prover externos, la mejora de herramientas para desarrolladores y la ejecución de benchmarks personalizados. La fase lleva el nombre del Profesor Amit Sahai, cuyo trabajo ha moldeado significativamente las bases de la criptografía ZK. Fermah señala que las fases futuras ampliarán la participación más allá de la red de infraestructura actual, lo que indica un crecimiento continuo y una mayor participación de la comunidad: Además, @vanishree_rao, Fundadora de Fermah, durante la llamada #2 de @eth_proofs compartió que Fermah se ha integrado con @RiscZero y @openvm_org para generar pruebas localmente, con el objetivo de apoyar todos los zkVMs y enviar las más eficientes a Ethproofs. También compartió una propuesta para una nueva definición de seguridad - la extraibilidad de prueba elegida - destacando las lagunas en los estándares actuales. [Timestamp - 02:04:50]:

Cysic @cysic_xyz presenta ComputeFi, con el objetivo de descentralizar el poder de cómputo, que es crítico tanto para la IA como para las tecnologías ZK. La plataforma permite a los usuarios monetizar su hardware y ofrece a los desarrolladores acceso asequible y transparente a recursos de computación. Al reducir la dependencia de proveedores centralizados, Cysic afirma que los creadores pueden innovar de manera libre, segura y rentable, allanando el camino para una mayor participación digital y aplicaciones centradas en la privacidad: Además, el proyecto ha lanzado la Fase III: Ignición de su testnet, construyendo sobre etapas anteriores que introdujeron un sistema de doble token, proveedores de GPU y verificadores móviles. Ignición es una beta pública que ofrece a los usuarios la oportunidad de participar en cómputo descentralizado y ganar recompensas en la testnet. El acceso es actualmente solo por invitación, con soporte móvil que llegará pronto: Finalmente, en la reciente llamada @eth_proofs #2, el cofundador de Cysic, @leofanxiong, compartió actualizaciones sobre sus ASIC personalizados construidos para ZKPs. Los chips soportan campos clave de ZK y entregan más de 1.3 millones de hashes Keccak/segundo. Utilizan una red personalizada en el chip para un eficiente reordenamiento de datos y combinan hardware de función fija con CPUs para flexibilidad. Aunque aún están en FPGA, superan el rendimiento típico de GPU:

Snarkify Durante la última llamada de @eth_proofs, @drouyang, cofundador y CEO de @Snarkify_ZKP, informó a los asistentes que Snarkify ha construido el probador H2 GPU más rápido en la mainnet de @Scroll_ZKP y ha superado los 750 MHz en velocidad de emulación RISC-V. El equipo trasladó la generación de trazas completas a GPUs, aumentando significativamente el rendimiento. Su producto, que permite la prueba en tiempo real para cualquier zkVM, se lanzará a finales de junio. [Timestamp - 01:12:30]:

Marlin @MarlinProtocol anunció que los desarrolladores que construyan en @SuiNetwork tendrán acceso sin restricciones a su mercado de computación TEE a través de Nautilus. Podrán elegir entre VMs confidenciales dedicadas o ejecución sin servidor, pagaderas en USDC. Las herramientas incluyen soporte para Docker, gestión de claves y atestación: Además, Marlin anunció que sus Entornos de Ejecución Confiables ahora son compatibles con la capa de liquidación de @cyclenetwork_GO y la infraestructura de liquidez sin puentes, mejorando el procesamiento seguro de datos fuera de la cadena. Esta actualización satisface las necesidades de confidencialidad institucional mientras permite una liquidación de alto rendimiento: