Validity Proof

Prova crittografica che dimostra matematicamente la correttezza di un insieme di transazioni, usata nei sistemi a conoscenza zero per garantirne l'integrità senza rivelare dati.

In un ZK-Rollup, un prover esegue transazioni off-chain e genera una prova compatta che ne certifica la correttezza. Questa prova viene verificata da un contratto smart on-chain in pochi millisecondi. La differenza con i fraud proof degli Optimistic Rollup e sostanziale: la validity proof garantisce la correttezza a priori, senza attesa; i fraud proof richiedono una finestra di sfida. Questo rende i prelievi dai ZK-Rollup quasi istantanei rispetto alle settimane degli Optimistic.