Formal Verification, Symbolic Execution, Smart Contract Auditing, Cybersecurity, Smart Contracts.
bare minimum for Web3 security. Cuz I say so. If you haven’t watched my video on fuzzing… Do it! For fuzzing/invariant/property tests, you need to understand the property or invariant of your system to do fuzzing. Once you have your property defined, you throw random data at your system to break