Havia alguma seguradora para empreendimento?
Ter até que tem, mas para $3,6 bilhões devem ser poucas. E esses R$ 250K por CPF muito provavelmente não encaixariam nesse tipo de negócio. Lembra da Atlas? Acho que 99% ainda não reviu o seu dinheiro.
O governo só da "bailout" para as grandes empresas e bancos.

Para empresas sérias existem diversos custodiantes que oferecem seguro para cryptomoedas, como a BitGo e seu programa de seguro de 700 milhões. Mas ai você tem que segurar as moedas com eles, obviamente. Imagina comprar um seguro qualquer, só transferir as moedas para outra carteira e dizer que foi roubado? Simplesmente não tem como investigar.