Recursive Proofs
Segurança · Abismo
Uma técnica criptográfica onde uma prova de conhecimento zero verifica a correção de outra prova, permitindo verificação incremental de computações ilimitadas e agregação de provas. Composição recursiva permite que uma única prova compacta ateste uma cadeia arbitrariamente longa de computações, essencial para agregação de provas de rollup e redução de custos de verificação on-chain. Sistemas como Plonky2, Halo2 e Nova implementam prova recursiva.