Validity Proof
Compresión ZK · Abismo
En el contexto de ZK Compression en Solana, una prueba de validez es una prueba zk-SNARK Groth16 que atestigua criptograficamente la correccion de una o más transiciones de estado de cuentas comprimidas, especificamente, que las cuentas consumidas existen como hojas en la raíz actual del árbol Merkle, que los nullifiers son frescos (no gastados previamente) y que los nuevos hashes de cuentas de salida representan correctamente el estado post-transición, todo sin que el verificador necesite inspeccionar los datos completos de la cuenta. Las pruebas de validez se generan fuera de cadena por el servicio de prueba de Light Protocol y se envian junto con las instrucciones de cuentas comprimidas en transacciones de Solana, donde el Light System Program verifica la prueba en cadena usando la syscall alt_bn128 antes de aplicar el cambio de estado. Este modelo significa que los validadores de Solana no re-ejecutan la lógica de cuentas comprimidas; sólo verifican la prueba sucinta, habilitando actualizaciones de estado comprimido de alto rendimiento a costo mínimo en cadena.