Add Ethernaut Level 15 (NaughtCoin) as an example

[ggrieco-tob]

The blog post by @ChmielewskiKamil about writting Echidna properties for NaughtCoin is great. Are you interested in creating a PR to keep it as one example?

[ChmielewskiKamil]

Thank you so much!

Sure thing! I started working on an exercise and was about to ask you guys for guidance on the structure.

I see that the exercises in the program analysis with the Echidna section have been updated. The first four exercises are just contract files, and the last four (Damn Vulnerable Defi ones) are standalone repositories.

Would you like me to follow the pattern of the first four exercises? Or create a repo to clone the exercise locally.

[ggrieco-tob]

Since the Ethernaut contracts are small, I think they should be include as standalone file, but perhaps in the future we will change (don't worry, we will handle that if necessary)

[ChmielewskiKamil]

Cool! Thanks!

[ChmielewskiKamil]

@ggrieco-tob, Draft published 🎉

[ggrieco-tob]

This is great. @glarregay-tob can you take a quick look and add some feedback?

[glarregay-tob]

I left some comments inlined in the file. I like the "hidden parts" approach and the way you introduce the invariants and properties. Great work, and thanks for your collaboration!

[ChmielewskiKamil]

Thank you so much, @glarregay-tob. Great feedback! I appreciate it.