Efficient trading infrastructure for tokenized equities — DEX Digest