tokenized options trading (options)