Se ele quer declarar o DePix apenas, eu acho que não tem tanto probema, DePix é só uma stablecoin, a partir do momento que tá na rede Liquid, pode ser qualquer coisa, USDT, Monero, Bitcoin, aí não vale a pena declarar.