Comment by kennysoona

> I mean why does it have to be formally verified.

Because we can and the security advantages are worth it.