Vitalik also pointed out that the SP1 Hypercube was not formally verified. This means it has not been thoroughly checked with mathematical methods to confirm it is error-free. Without this step, there is a chance of issues like accepting incorrect blocks, which could harm the network.