Tabela de rastreamento de execução e árvore Merkle construída para zk-STARK PoR Etapa 1: restrições de construção Para provar a responsabilidade da nossa exchange, fazemos três afirmações: Afirmação 1: Acumulamos os valores de todos os utilizadores corretamente, incluindo o valor de cada cripto e o valor líquido de cada utilizador Afirmação 2: A exchange não falsificou um utilizador virtual cujo valor líquido seja negativo para reduzir o passivo total da exchange (um utilizador individual com saldos