AFAICT he pledged them to BlockFi to try to stop a margin call, and they went bankrupt, so its just a question of which bankruptcy claims they are for.