Sécurité des smart contracts : focus sur la vérification formelle

Notre Pôle Tech lance aujourd’hui une série de publications dédiées à la sécurité dans le monde blockchain & crypto. Le premier article porte sur la vérification formelle des smart contracts : un enjeu clef pour la réduction des failles techniques. ➧ Qu’est-ce que la vérification formelle et à quoi sert-elle ? ➧ Pourquoi est-ce un …

Sécurité des smart contracts : focus sur la vérification formelle Lire l’article >>