2.1 Vérifier la contrainte d’inclusion zk-STARK Théorie de vérification En suivant la procédure STARK, nous calculerons la table de trace d’exécution de tous les actifs utilisateur comme ci-dessous. Nous hacherons les informations de chaque utilisateur sous forme de table de trace, laquelle deviendra une feuille d’arbre de Merkle, puis engagerons les feuilles dans une racine de Merkle qui sera publiée lors de chaque cycle d’audit PoR.

Nous continuerons à régulièrement inscrire et retirer des jetons de la cote.Jeton 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