Groth16
Compresión ZK · Fondo
Groth16 es un sistema de prueba zk-SNARK altamente eficiente introducido por Jens Groth en 2016 que produce pruebas de tamano constante (128 bytes: dos puntos G1 y un punto G2 en una curva eliptica amigable con emparejamiento) con verificación en tiempo constante independientemente de la complejidad del circuito, convirtiendolo en el sistema de prueba preferido para verificación en cadena donde los costos de calldata y computo estan limitados. Light Protocol usa pruebas Groth16 sobre la curva BN254 (conocida como alt_bn128 en herramientas de Ethereum) para verificar transiciones de estado de cuentas comprimidas en Solana, aprovechando las syscalls nativas de emparejamiento y adicion de puntos alt_bn128 anadidas al SVM para mantener la verificación dentro del limite de unidades de computo por transacción. La compensación es que Groth16 requiere una ceremonia de configuración confiable por circuito, produciendo una cadena de referencia estructurada (SRS) cuya seguridad depende de que los participantes descarten honestamente su residuo toxico.