Add an example for Check-Effects-Interactions & FREI-PI

dragonfly-xyz / useful-solidity-patterns

MIT License

1.48k stars 161 forks source link

Add an example for Check-Effects-Interactions & FREI-PI #21

Open andrejrakic opened 1 year ago

andrejrakic commented 1 year ago

Hello! First of all, thank you for creating and maintaining this extremely valuable list of common Solidity patterns, personally that's something I was looking for (for a while 😄).

Secondly, in my opinion, it will be useful to add the latest Solidity pattern: "Function Requirements-Effects-Interactions + Protocol Invariants", proposed by @brockelmore in the following article.

Thanks in advance for your consideration.

merklejerk commented 1 year ago

Yes! I agree, these should be included. Stay tuned.