TechFlow, Vitalik Buterin a déclaré lors d'un entretien avec BMAN, cofondateur d'ABCDE Capital, en réponse à une question sur la vérification de sécurité ZK, que, à court terme, la sécurité des systèmes ZK devrait reposer sur au moins deux systèmes de vérification, accompagnés d'un mécanisme de gouvernance. En cas d'incohérence entre ces systèmes, le mécanisme de gouvernance permettrait de déterminer lequel est correct.
À moyen terme, il sera possible d'introduire plusieurs systèmes de vérification, tels qu'Optimism. À long terme, selon lui, on pourrait également envisager de renforcer davantage la vérification du protocole.




