Zero-Knowledge Proofs: what are zk-STARKs and how do they work? (zk-Stark V2)
The recursive circuit takes 64 different proofs (π0, ..., π63), hashes (h0, ..., h63), equities (e0, ..., e63), and debts (d0, ..., d63) from the lower-layer circuits as inputs. It combines these inputs and produces 3 outputs: a new hash (hrecursive), total equity (erecursive), and total debt (drecursive).
Published on 21 Oct 2024Updated on 11 Feb 202691