>$1B would be more than enough to design and manufacture all the necessary ASICs to cripple the network
Source? Some napkin math using the current bitcoin network hash rate[1] and the price/performance ratio of a yet-to-be-released bitcoin mining ASIC[2] suggests that you'd need $9.5B to take over the network.