Zero-Knowledge Proofs (ZKP)
Compresión ZK · Profundo
Una prueba de conocimiento cero es un protocolo criptográfico mediante el cual un probador convence a un verificador de que una declaracion es verdadera, por ejemplo, que una transición de estado es válida, sin revelar ninguna información más alla de la verdad de la declaracion misma, satisfaciendo las propiedades de completitud, solidez y conocimiento cero. En el ecosistema de Solana, las ZKPs son usadas por ZK Compression (via SNARKs Groth16) para probar transiciones de estado correctas para cuentas comprimidas sin almacenar el estado completo de la cuenta en cadena, y por la extensión de Transferencias Confidenciales de Token-2022 (via cifrado ElGamal y pruebas de rango) para probar que los saldos de tokens son no negativos sin revelar las cantidades reales. La VM BPF de Solana expone la syscall de curva eliptica alt_bn128 para hacer la verificación de pruebas Groth16 en cadena computacionalmente factible dentro del presupuesto de 1.4M unidades de computo.