Leí un ELI5 realmente bueno de ZK Proofs hoy: - La idea detrás de ZK es que no necesita conocer los datos reales para verificar que cumplan con ciertos requisitos. - Por ejemplo, si hay una puerta con una contraseña, no necesito decirte la contraseña. Puedo mostrarte que puedo abrir la puerta y esa es la prueba de que conozco la contraseña. Eso es básicamente lo que es una prueba de conocimiento cero. Lo que hace Succinct con ZK es que puede crear una prueba ZK de básicamente cualquier cosa. por ejemplo: - Podría usar Succinct para demostrar que tengo más de 18 (o 21) años sin revelar mi fecha de nacimiento - Podría usar la sucinta para demostrar que vivo en un país que no está restringido sin revelar la información de mi pasaporte - O incluso más simple, como puedo probar que 3 números ocultos suman 42 Hoy en día, el mayor caso de uso de PMF para ZK es blockchain, y blockchain necesita urgentemente ZK. Los clientes más grandes de Sucinct (más de 35+ protocolos) usan ZK para convertir grandes cálculos, como ejecutar miles de txs de un bloque en un rollup, en pequeñas pruebas verificables en milisegundos. 1 prueba zk extremadamente pequeña producida por succinct es suficiente para que una cadena / rollup completa con miles de millones de TVL concluya que "este bloque fue ejecutado por las reglas". Ese es el poder de la concisión.