Zero-Knowledge Proof: co jsou zk-STARK a jak fungují? (zk-Stark V2)
Rekurzivní obvod bere jako vstupy 64 různých důkazů (π0, …, π63), hashů (h0, …, h63), vlastních kapitálů (e0, …, e63) a dluhů (d0, …, d63) z obvodů nižší vrstvy. Kombinuje tyto vstupy a produkuje 3 výstupy: nový hash (hrecursive), celkový vlastní kapitál (erecursive) a celkový dluh (drecursive).
Publikováno dne 21. 10. 2024Aktualizováno dne 11. 2. 202691