Broccolirob

[WIP] Port notebook work to bsc repo & clean up file structure

1

Working towards creating a thorough set of Jupyter Notebooks to replace current Slither exercises and examples.

Added links to popular tools in the ecosystem

3

PR for Issue https://github.com/crytic/building-secure-contracts/issues/165

Add new items to token integration checklist

1

Add the items specified in issue https://github.com/crytic/building-secure-contracts/issues/67.

Add links to echinda presentations and workshops

1

PR for Issue https://github.com/crytic/building-secure-contracts/issues/150

Add zkevm differences

2

Added some differences between zkevm and evm. Not sure if this is the format we're looking for.

Added a test to the ERC20 internal and external "basic" tests for ensuring that transferFrom doesn't transfer more than the allowance value. Also, updated the PROPERTIES readme with the new...