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.