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 del @ethereumfndn para generar continuamente ZKP para @ethereum bloques de la red principal durante el segundo trimestre de 2025. Todas las pruebas se publican 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 para adoptar las zkVM más rápidas disponibles y reducir la latencia para pruebas de bloque 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 la infraestructura localizada y la ciberseguridad hasta las operaciones de investigación y validación. Su participación fortalece las pruebas descentralizadas a medida que ZkCloud se acerca a la red principal 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) En primer lugar, dio un discurso de apertura en el que habló sobre los cuellos de botella arquitectónicos y técnicos del escalado de las pruebas de ZK, desde la optimización de la obtención de datos RPC hasta el manejo de variaciones inesperadas 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 Ethereum Foundation, @0xAlecJames de @NexusLabs, @MayaD09111862 de @StarkWareLtd y @alicelingl de @HouseofZK para discutir cómo los puntos de referencia estandarizados de zkVM pueden inducir a error 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 las 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 para ir más allá de los puentes tradicionales, el papel de los proveedores de pruebas descentralizados y la importancia de los 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 celosía seleccionado por el NIST para la criptografía poscuá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 admite 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 documento que describe la integración de dos optimizaciones clave que aceleran significativamente el protocolo de verificación de suma, un componente fundamental de los SNARK. Las técnicas se dirigen a entradas polinómicas de pequeño valor y formas polinómicas de igualdad, lo que permite reducciones de tiempo de prueba del 2 al 4× en la zkVM de Jolt, con mejoras aún mayores cuando la memoria está restringida. Estos resultados abordan directamente los cuellos de botella de los probadores en sistemas como Spartan dentro de Jolt:

Fermah @fermah_xyz ha lanzado la Fase 2 de su red de pruebas, que incluye la integración de nodos de prueba externos, la mejora de las herramientas de desarrollo y la ejecución de pruebas comparativas personalizadas. La fase lleva el nombre del profesor Amit Sahai, cuyo trabajo dio forma significativamente a los cimientos 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 participación más amplia de la comunidad: Además, @vanishree_rao, fundador de Fermah, durante @eth_proofs Llamada #2 compartió que Fermah se ha integrado con @RiscZero y @openvm_org para generar pruebas localmente, con el objetivo de admitir todas las zkVM y enviar las más eficientes a Ethproofs. También compartió una propuesta para una nueva definición de seguridad, la capacidad de extracción de pruebas elegidas, lo que pone de relieve las lagunas en los estándares actuales. [Marca de tiempo - 02:04:50]:

Císico @cysic_xyz presenta ComputeFi, con el objetivo de descentralizar la potencia de cómputo, que es fundamental para las tecnologías AI y ZK. La plataforma permite a los usuarios monetizar el hardware y ofrece a los desarrolladores un acceso asequible y transparente a los recursos informáticos. Al reducir la dependencia de los proveedores centralizados, Cysic afirma que los creadores pueden innovar de forma libre, segura y rentable, allanando el camino para una participación digital más amplia y aplicaciones centradas en la privacidad: Además, el proyecto ha lanzado la Fase III: Ignición de su red de pruebas, basándose en etapas anteriores que introdujeron un sistema de doble token, probadores de GPU y verificadores móviles. Ignition es una versión beta pública que ofrece a los usuarios la oportunidad de participar en la computación descentralizada y ganar recompensas de la red de prueba. Actualmente, el acceso es solo por invitación, y pronto habrá soporte móvil: Finalmente, en la reciente @eth_proofs Call #2, el cofundador de Cysic @leofanxiong compartió actualizaciones sobre sus ASIC personalizados creados para ZKP. Los chips soportan campos clave de ZK y entregan más de 1,3 millones de hashes Keczak/seg. Utilizan una red en chip personalizada para un reordenamiento eficiente de los datos y emparejan el hardware de función fija con las CPU para mayor flexibilidad. Aunque todavía están en FPGA, están superando el rendimiento típico de la GPU:

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

Marlín @MarlinProtocol anunció que los desarrolladores que se basen en el @SuiNetwork tendrán acceso sin ataduras a su mercado de computación TEE a través de Nautilus. Podrán elegir entre máquinas virtuales confidenciales dedicadas o ejecución sin servidor, pagadera en USDC. Las herramientas incluyen compatibilidad con Docker, administración de claves y atestación: Además, Marlin anunció que sus Entornos de Ejecución de Confianza 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 al tiempo que permite la liquidación de alto rendimiento: