Biden's budget proposal for FY 2025 takes aim at crypto transactions and mining