SNARK (Succinct Non-interactive Argument of Knowledge)
Compresión ZK · Abismo
Un SNARK es una clase de sistema de prueba de conocimiento cero caracterizado por la sucincion (las pruebas son cortas, tipicamente cientos de bytes, independientemente de la complejidad de la computación), la no interactividad (el probador envia un único mensaje sin ida y vuelta con el verificador) y la propiedad de argumento de conocimiento (un probador que produce una prueba válida debe conocer el testigo, es decir, las entradas secretas de la computación). Los zk-SNARKs como Groth16 y PLONK son el nucleo criptográfico de ZK Compression en Solana, habilitando a los probadores fuera de cadena comprimir la validez compleja de transiciones de estado en una prueba que un validador de Solana puede verificar en cadena de forma económica usando la syscall alt_bn128 sobre la curva eliptica BN254. La mayoria de los despliegues actuales de zk-SNARK en Solana dependen de configuraciones confiables, aunque variantes transparentes más nuevas como los STARKs eliminan este requisito a costa de pruebas más grandes.