Creamos un árbol de Merkle usando como hojas el hash de la cuenta de cada usuario. Cada cuenta muestra los saldos en USD para varios tokens (por ejemplo, Para gestionar estos saldos, separamos sus saldos en capital y deuda no negativos para cada token. De este modo, solo trabajamos con números positivos, lo que facilita el manejo de los cálculos y evita errores.

restricciones como: Afirmación 1: Restricción de Saldo Total (Restricción de un saldo total correcto) uts: tamaño del rastro del usuario, que es el número de filas de rastros incluidos en los datos de cada usuario. suma: saldo total del usuario N: número de usuarios Afirmación 2: Restricción no negativa (Restricción de patrimonio neto positivo) Afirmación 3: Restricción de inclusión (Restricción de inclusión de todo el saldo de la cuenta del cliente) De acuerdo con las restricciones anteriores, creamos