Vitalik Buterin warned that SP1 Hypercube may pose risks to Ethereum Layer 1 because it lacks formal verification, increasing the likelihood of processing invalid blocks

Referenced by

​