Dovezi de cunoștințe zero: ce sunt zk-STARKs și cum funcționează? (zk-Stark V2)
Circuitul recursiv ia 64 de dovezi diferite (π0, ..., π63), valori haș (h0, ..., h63), capitaluri (e0, ..., e63) și datorii (d0, ..., d63) din circuitele de nivel inferior ca intrări. Combină aceste intrări și produce 3 ieșiri: o nouă valoare haș (hrecursive), capital total (erecursive) și datorie totală (drecursive).
Publicat la 21 oct. 2024Actualizat la 11 feb. 202691