You're on the right track.

https://www.irs.gov/individuals/international-taxpayers/frequently-asked-questions-on-virtual-curren...

If something was reported (Robinhood, for example, provides clients with a report), I tie in to the gross proceeds on the 8949/Sch D.

Unless ProSeries has improved their import feature, you're either entering these all manually or putting summary totals with a "see attached" PDF or mailed it w/8453.  Your attached PDF should mirror the 8949 presentation (so ST/LT separation).  That said, I know there are preparers who just include the totals with no attachment and take the approach (if IRS wants it, they can ask for it.)  Drake has an easy xls import so I copy/paste into a template and import it without having to attach anything.

Rick