This may be a dumb question

With ZK solutions like @SuccinctLabs SP1 that can give guarantees about node behavior, is it still necessary to have BFT in a decentralized blockchain?

Is it possible to use SP1 to drastically simplify the consensus process?