He also flagged the lack of formal verification, meaning the system has not undergone rigorous mathematical proof to guarantee its correctness.
Quote
Sources
Vitalik Buterin praises real-time ZK proving milestone, but urges caution
Referenced by
Vitalik Buterin warned that SP1 Hypercube has not undergone formal verification, leaving it vulnerable to potential errors such as accepting invalid blocks
Crypto news
Claim
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
Crypto news
Claim
