Josselin Feist

As discussed during the Solidity summit, I like the general idea. Some comments - If we add invariants at the contract/function level, we should define what it means; Is it...

Additionally `brew install echidna` (cc @elopez)

TODO @montyly: write examples/testcases

Thanks @JorgeAtPaladin for the contribution. I made minor improvements and merged the PR with #1443

This is great, thanks @elopez

TODO: replace `is no other reentrant function that writes to the affected variable` to include read, and state variable that are public. This will help reviewing cross protocol reentrancies

Hi [mojtaba-eshghie](https://github.com/mojtaba-eshghie). This is a great idea thanks. We should have a detector for it.

It's due to the current IR limitation. See https://github.com/crytic/slither/issues/365 We have two choices: 1 - Disable the detector entirely for structure 2 - Leave it as it is, until we...

- Maybe `ressources/blogposts.md` or `ressources/tob_blogposts.md` - All our blockchain related blogposts. I think we can also include the zk related stuff It would be great to have one sentence per...

That's a good point @lirona, however a lot of the most used tokens have been deployed before 0.8. Maybe we can update the recommendation to be "The contract was deployed...