There are certain auction platforms, I sold my IPs through https://auctions.ipv4.global/ which went smoothly. The registries have waiting lists for resources that get handed back to them (very rare). You need to be a member to buy IP space though.