Glossary
Prueba Recursiva
Una prueba de conocimiento cero cuyo circuito verifica una o más pruebas, permitiendo comprimir toda una cadena de afirmaciones en una única prueba sucinta.
Una prueba recursiva es una prueba de conocimiento cero cuyo circuito ejecuta a su vez un verificador de otras pruebas. En lugar de comprobar muchas pruebas on-chain, un prover las pliega entre sí: cada nueva prueba certifica que la prueba anterior era válida, de modo que una única prueba final da fe de un historial arbitrariamente largo.
Esto habilita la agregación de pruebas y la computación verificable de forma incremental. Los rollups la usan para agrupar miles de pruebas de transacciones en una sola verificación on-chain barata, y cadenas como Mina mantienen toda la blockchain demostrable en unos pocos kilobytes al probar recursivamente cada bloque nuevo sobre el anterior.