lior

I am currently testing the invariant testing feature by solving `Damn Vulnerable Defi` using only invariants. Another thing that could be improved is how is the sequence logged. For example,...

Will dig into that paper today so I can brainstorm in here with the same theory. I come from a more scientific field (chemical process engineer). It could sound pretty...

Read the paper about **Harvey**, it mixes the idea of a typical grey-boxed fuzzer with the concept of optimization by leveraging from the _cost optimization_. It could be a nice...

Hi! Same issue here!

Is there any chance to remove the pranks and reproduce this attack as if our contract were the attacker's?

Working on this attack

The attack is ready. We could add some cool D2 graphs and this should be ready to for a pre-merge revision.

Nice! gj

We could also log relevant values/balances during this attack to show how the tokens are flowing on each step

We are currently working on the reproduction of QiDAO. Only a few steps left and we will merge it, you can check the progress here: Pull #45.