Validity Proof

Prova matematica che attesta la correttezza di un calcolo o di un insieme di operazioni, senza ripetere ogni passaggio interno.

Una validity proof permette a un verificatore di controllare che un risultato rispetti certe regole senza rieseguire tutto il lavoro originale. Nei rollup a conoscenza zero viene usata per comprimere molte transazioni in una prova verificabile sulla catena principale. Se la prova è valida, il sistema accetta lo stato aggiornato. Questo riduce dati e calcolo necessari al controllo, mantenendo una garanzia crittografica forte sulla correttezza.