Prueba de conocimiento cero: ¿qué son los zk-STARK y cómo funcionan? (zk-Stark V2)
El circuito recursivo toma 64 pruebas diferentes (π0,..., π63), hashes (h0,..., h63), capital (e0,..., e63), y deudas (d0,..., d63) desde los circuitos de capa inferior como entradas. Combina estos datos y produce 3 resultados: un nuevo hash (hrecursivo), capital total (erecursivo), y la deuda total (drecursivo).
Publicado el 21 oct 2024Actualizado el 11 feb 202691