Hoy lanzamos BABE, un nuevo protocolo de verificación de pruebas Groth16 para Bitcoin. Mejora el estado del arte en tres órdenes de magnitud en costos de configuración y almacenamiento. BABE (BAbylon-BErkeley) es una síntesis de dos ideas clave: La encriptación de testigos en emparejamiento lineal y Argo MAC, un primitivo de enmascaramiento introducido recientemente. La encriptación de testigos en emparejamiento lineal reduce las complejas operaciones de emparejamiento en la verificación de Groth16 a una única multiplicación escalar en la curva elíptica BN254. La única multiplicación escalar puede transformarse además en un MAC homomórfico vectorial, que puede ser computado de manera eficiente por Argo MAC. BABE se lanzará como parte de la alpha-testnet de Babylon para el Trustless Bitcoin Vault en febrero. Agradecemos a: - nuestros colaboradores de Berkeley @SanjamGarg y Dimitris Kolonelos por enseñarnos tanto sobre la encriptación de testigos - @liameagen y @therealyingtong por compartir su increíble trabajo sobre Argo MAC - el equipo de ingeniería de Babylon, por convertir nuestras ideas teóricas en un sistema real con ganancias de rendimiento demostrables ¡Consulta el documento y danos tu opinión!