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 enjeu …
Sécurité des smart contracts : focus sur la vérification formelle Lire l’article >>