TechFlow news: In response to a question from BMAN, co-founder of ABCDE Capital, about ZK security verification, Vitalik Buterin said that in the short term, ensuring the security of ZK systems requires relying on at least two validation systems plus a governance mechanism. If these systems disagree, the governance mechanism can determine which one is correct.
Looking ahead to the medium term, multiple verification systems such as Optimism could be introduced. In the long run, I think we could also explore conducting more extensive protocol verification.
Add to Favorites
Share to Social Media
