0xNekr

Développeur Web3 qui vulgarise! Si tu souhaites comprendre le monde de la blockchain tu es au bon endroit !

Redac @LeJournalDuCoin

- http://explorations-blockchain.com

Public Key

npub1uhcasmnmf7z6z5hqljaryljdm6pt5xjdxm596q0jl88ttmhvtmss5v9n4s

Profile Code

nprofile1qqswtuwcdea5lpdp2ts0ew3j0exaaq46rfxnd6zaq8e0nn44amk9acgpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds88g960

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1uhcasmnmf7z6z5hqljaryljdm6pt5xjdxm596q0jl88ttmhvtmss5v9n4s

Show more details

Last Notes

2023-07-09 12:45:03

- reply

Le boss merci bcp ! Maintenant faut que je digg à quoi ça correspond exactement ahah

2023-07-08 06:07:04

GM #nostrfr

2023-07-07 16:26:22

- reply

Très bonne question, c’est plus pour les images/illustrations que ça me parait complexe; au final tu peux juste upload une image et tu n’as pas la main dessus ensuite

2023-07-07 15:31:54

- reply

C'est tout pour aujourd'hui !
Encore merci à
@PatrickAlphaC (Twitter) pour son contenu, je vous conseille de vous abonner.
C'était mon premier thread "veille techno" et mon tout premier sur Nostr, mon but étant de vous présenter du contenu que je juge pertinent autour de Solidity/Blockchain.
N'hésitez pas à me suivre ici/sur twitter (@0xNekr) si vous aimez ce genre ce contenu.

2023-07-07 15:30:19

- reply

Voici un vidéo de PAC sur les invariants et le fuzz testing, si vous avez 10 minutes, c'est très intéressant et simple à comprendre (en anglais).
https://t.co/qL1CrmiFaT

2023-07-07 15:29:49

- reply

Cette méthode va malheureusement augmenter légèrement les frais de gas.
Mais je pense sincèrement que la sécurité d'un protocole vaut plus que quelques frais en plus.
Nous avons pu voir les montants énormes de certains hack et les dégâts causés.

2023-07-07 15:29:34

- reply

Le fait de tester certains états après les modifications d'une fonction est vraiment intéressant.
Ceci va éviter les cas où un imprévu viendrait modifier une variable que nous ne voulons pas, sans que l'on s'en aperçoive pendant le développement.

2023-07-07 15:29:17

- reply

Voici l'exemple que nous donne Patrick, il permet de comprendre où faire le test, mais ce n'est pas le plus pertinent des invariants.
On peut facilement identifier les 4 étapes :
- Les conditions
- Les effets sur le contrat
- Les interactions
- La vérification des invariants
https://us-southeast-1.linodeobjects.com/dufflepud/uploads/2058ff44-dbc5-4c6b-b409-88b18ba66115.jpg

2023-07-07 15:28:34

- reply

Il faut donc garder le pattern CEI à l'échelle d'une fonction, et tester les "invariants" de tout le protocole en plus.
Le plus difficile étant d'identifier les invariants de votre contrat. Pour certains contrats, il est possible de ne pas en avoir.

2023-07-07 15:26:51

- reply

2023-07-07 15:25:43

- reply

Par exemple, le fait qu'un utilisateur ne puisse pas retirer plus de tokens qu'il a déposés sur un protocole est un invariant.
Pareil pour un contrat de loterie où il ne devrait toujours y avoir qu'un seul gagnant possible.

2023-07-07 15:25:26

- reply

Et pour être complet, il faut aussi gérer les "invariants".
Mais qu'est-ce que c'est ?
Ce sont des variables/des états qui doivent toujours être identiques, avant, et après l'utilisation de x fonctions.

2023-07-07 15:25:06

- reply

Mais d'après Patrick, le problème du CEI est qu'il
"revient à regarder l'arbre au lieu de voir la forêt"
Le CEI est super, mais il est limité au périmètre d'une fonction, là où il est très important d'avoir une vision globale du contrat/protocole, pour éviter les hacks.

2023-07-07 15:24:43

- reply

Le concept de CEI est simple :
1 - On réalise les conditions en premier (checks).
2 - Les conditions sont valides, alors on applique les effets sur le contrat (effects).
3 - Si besoin, on effectue les interactions avec des contrats externes (interactions).
Classique !
https://us-southeast-1.linodeobjects.com/dufflepud/uploads/cb7ae4bc-355e-4583-9928-56df74ec8b65.jpg

2023-07-07 15:24:04

- reply

Pour commencer, il est important de revoir le pattern de base du développement d'un contrat, notamment en Solidity.
On appelle ça le CEI : Checks, Effects, Interactions.
Il permet d'empêcher la majorité des problèmes.

2023-07-07 15:22:26

- reply

Le thread d'origine réalisé par @PatrickAlphaC
Si vous êtes à l'aise avec l'anglais, il faut suivre ce super développeur, il fait énormément pour l'écosystème.
https://twitter.com/PatrickAlphaC/status/1676969198663401472

2023-07-07 15:21:51

[#VEILLE] Un pattern de développement important à connaitre pour la sécurité des Smart Contracts.
Traduction et explication d'un concept qu'un développeur Solidity doit comprendre.
Explorons ce qui a été appelé le FREI-PI
Source :
@PatrickAlphaC (Twitter)
#nostrfr #solidity #blockchain #dev #security
https://us-southeast-1.linodeobjects.com/dufflepud/uploads/43441b5f-3839-4ff2-9d79-6431fcaa8ad9.png

2023-07-07 14:59:17

Je vais tenter de publier mon thread de tout à l’heure ici pour voir ce que ça donne ! #nostrfr

2023-07-07 14:56:26

- reply

Merci du tips !

2023-07-07 09:12:54

- reply

Merci boss 🫡

2023-07-07 08:40:52

GM à tous 🫡
Content d’arriver dans un nouveau lieu !

2023-07-07 08:10:21

Hello world! #introductions