Vom continua să listăm și să delistăm tokenuri în mod continuu.Token A ATH RPL ALCX FLOW CTXC LAYER ULTI SSV CVX PHA CVC WCT NOT RADAR PEOPLE BADGER DEP BABY MERL BLUR TON 1INCH DGB FLUID SAFE CORE ENS GRT DOGE PARTI PRCL FLR POLYDOGE T EGLD NAVX MEW GEAR IMX API3 ELF PI WIF FLOKI GODS FIL ETC KAITO TNSR OAS ELON NEAR ETH IP ZEUS APT GALA GHST GAS BERA W CITY DYDX SOL GLM ANIME VENOM ARG ILV FLM HBAR S ZKJ MENGO AGLD AVAX ICX TRUMP ETHFI POR ERN UNI IOST NC AEVO ETHW SLP WBTC IOTA DUCK STRK SWEAT

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