Zero-Knowledge Proofs: wat zijn zk-STARKs en hoe werken ze? (zk-Stark V2)
Het recursieve circuit vereist 64 verschillende bewijzen (π0, ..., π63), hashes (h0, ..., h63), vermogen (e0, ..., e63), en schulden (d0, ..., d63) van de circuits uit de lagere laag als invoer. Het combineert deze invoeren en produceert 3 uitvoeren: een nieuwe hash (hrecursief), totale eigen vermogen (erecursief), en totale schuld (drecursief).
Gepubliceerd op 21 okt 2024Geüpdatet op 11 feb 202691