L'équipe de vérification formelle de Nethermind a développé une expertise dans la vérification des zkVM depuis un certain temps maintenant. La mission est de faire des zk un moyen fiable et correct de faire évoluer Ethereum. Nous prouvons qu'un nouveau niveau de sécurité dans l'infrastructure d'Ethereum est à portée de main. Sécurité de mille milliards de dollars 🫡