Blog

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 important pour les développeurs (et au-delà) ?
➧ Quelles sont les grandes approches en la matière ?
➧ Où en est Ethereum sur le sujet ?

A découvrir (en anglais) sur ce lien.

Besoin d’experts pour auditer le code d’un projet blockchain ou crypto ? Nous avons créé une offre dédiée.