Galois
Conocimiento Cero Consenso Sistema de prueba. Weimos ha construido Galois en torno a tres principios fundamentales:
Extremadamente rápido: los tiempos de prueba rápidos equivalen a un puente rápido y una buena experiencia de usuario. Galois puede generar pruebas de consenso para 128 validadores en siete segundos.
Bajo costo: Quemar millones de dólares en costos mensuales de infraestructura en la nube para generar pruebas ZK no es un modelo sostenible. Generar pruebas debe ser súper barato.
Censura-resistencia: para combatir los ataques de censura, cualquiera debería poder generar pruebas de consenso en sus propias máquinas. Galois es tan eficiente que la generación de pruebas solo consume 5GB de RAM para 128 validadores, lo que permite la generación de pruebas para mainnet en computadoras portátiles de consumo de nivel de entrada.
Descentralizado: los operadores de infraestructura no necesitan una arquitectura de nube compleja para operar un relayer y un prover. Cualquiera puede participar en el sistema. Debido a esto, nos centramos en la generación eficiente de ZKP basada en CPU, ya que no queremos depender de proveedores de GPU específicos.1
Arquitectura
Transacciones a través de la Unión a otras Contrapartes (L1s, L2s, y (soberano) Rollups) se componen de tres pasos:
Emita un evento de paquete de envío de IBC
Genere una prueba de consenso de conocimiento cero del estado de Unionals en el bloque �N
Actualizar Contraparte con el estado de la Unión
Galois se construye utilizando Gnark, la biblioteca zk-SNARK de mejor rendimiento, y se comunica sobre gRPC, un marco RPC universal de código abierto de alto rendimiento.
Nota
Dependiendo de la deriva del conjunto de validadores, Galois puede necesitar generar múltiples pruebas. Esto resulta en M Msiendo la última altura de confianza y N + 1 N+1siendo la altura a actualizar.
Puntos de referencia
Galois benchmarks excepcionalmente bien. Nuestros puntos de referencia se generan de manera 100% reproducible con Nix, para que cualquiera pueda verificarlos. La validación por terceros de estos puntos de referencia ha sido realizada por Lightshift. Ver lo último Puntos de referencia de Galois V3 aquí y para ver nuestro progreso, puedes ver puntos de referencia históricos de Galois para versiones anteriores aquí.
Hoja de ruta futura
Galois es completamente funcional, listo para la producción, extremadamente confiable y eficiente. Sin embargo, siempre hay más mejoras:
Soporte de árbol de verkle.
Verificación formal con Inclinado.
El almacenamiento en caché de prueba garantiza que la red no realice un trabajo redundante e incentiva la prueba descentralizada, utilizando efectivamente Union como una capa de orquestación de secuenciadores descentralizada.
Last updated
