Tabelul de urmărire a execuției (trace table) și arborele Merkle construite pentru zk-STARK PoR Pasul 1: construirea constrângerilor Pentru a dovedi pasivele bursei noastre, formulăm trei afirmații: Afirmația 1: Am acumulat corect valorile fiecărui utilizator, inclusiv valoarea fiecărei criptomonede și valoarea netă a fiecărui utilizator Afirmația 2: Bursa nu a creat niciun utilizator virtual cu valoare netă negativă pentru a reduce pasivele totale ale bursei (un utilizator individual cu solduri