Because it's a cryptographic proof. If their implementation is faulty they are vulnerable. It's very difficult to do correctly and many bugs have been found in bitcoin and other blockchain technology. This is pretty much one of the harder areas of computer security...