cadena de bloques
Velocidad frente a memoria en ZKP Frameworks
El marco de desarrollo de circuitos de Polygon, Starky, surgió como la implementación de prueba de conocimiento cero (ZKP) más rápida examinada por Celer Network, aunque su tamaño de prueba es mucho mayor que los marcos SNARK con los que se comparaba.
Muy buen trabajo del equipo de @CelerNetwork para comparar diferentes implementaciones de ZKP. Feliz de ver a Starky de @0xPolygon como el más rápido por 5-50x.
¡Todavía hay mucho espacio para optimizar y mejorar aún más nuestros sistemas de prueba! https://t.co/YsWGPCpgr5
– Brendan (@_bfarmer) 4 de marzo de 2023
En el informe de referencia, Celer probó los siguientes marcos:
- Circom + snarkjs / rapidsnark
- gruñir
- arcas
- Halo 2 (KZG)
- plonky2
- Starky.
En cuanto a los resultados finales, “Starky… muestra un tiempo de generación de prueba mucho más corto pero a costa de un tamaño de prueba mucho mayor. En términos de eficiencia de la memoria, rapidsnark y Starky superan a otros marcos”, según Celer.
Celer señaló que estos resultados se limitaron a los marcos de desarrollo de circuitos, y prometió un informe separado que “evaluara comparativamente diferentes zkVM (p. ej., Scroll, Polygon zkEVM, Consensys zkEVM, zkSync, Risc Zero, zkWasm) y marcos de compilación IR (p. ej., Noir, zkLLVM) en el futuro.”
La prueba del marco ZKP es el movimiento inicial en el intento de Celer de construir un “panteón de prueba de conocimiento cero”.
Según el blog, “El primer paso será alentar a la comunidad a compartir resultados de evaluación comparativa reproducibles de varios marcos ZKP. Nuestro objetivo final es crear y mantener de manera colectiva y colaborativa un banco de pruebas de evaluación universalmente reconocido que cubra marcos de desarrollo de circuitos de bajo nivel, zkVM y compiladores de alto nivel, e incluso proveedores de aceleración de hardware”.
Consulta el informe completo en el blog de Celer.
Qué es Red Celer:
Celer Network es la plataforma líder de comunicación inter-blockchain y cross-layer en la industria. El protocolo ofrece puentes rápidos, seguros y económicos entre varias cadenas. El ecosistema de Celer comprende tres productos únicos: Message Framework entre cadenas, cBridge y Layer2.Finance.
Que es Polígono:
Polygon es una solución de escalado de “cadena lateral” que se ejecuta junto con la cadena de bloques Ethereum, lo que permite transacciones rápidas y tarifas bajas. MATIC es la criptomoneda nativa de la red, que se utiliza para tarifas, apuestas y más. La efectividad de Polygon como alternativa a Ethereum ha hecho que proyectos existentes como Aave y Curve adopten su cadena.