Taxes: How to report crypto transactions to the IRS