Dimostrazioni a prova zero: cosa sono gli zk-STARK e come funzionano? (zk-Stark V2)
Il circuito ricorsivo prende 64 prove diverse (π0, ..., π63), hash (h0, ..., h63), patrimoni netti (e0, ..., e63), e debiti (d0, ..., d63) dai circuiti di livello inferiore come input. Combina questi input e produce tre output: un nuovo hash (hricorsivo), patrimonio netto totale (ericorsivo) e debito totale (dricorsivo).
Data di pubblicazione: 21 ott 2024Data di aggiornamento: 11 feb 202691