Academy of Crypto Security
SCA-201/Lessons/03
Week 5~90 minLesson 3 of 4

Testing & Fuzzing

Foundry invariant testing end-to-end · Property-based checks with Echidna · Differential testing and mutation testing

01Objectives
  • 01Understand and apply: Foundry invariant testing end-to-end
  • 02Understand and apply: Property-based checks with Echidna
  • 03Understand and apply: Differential testing and mutation testing
01

Foundry invariant testing end-to-end

This section covers foundry invariant testing end-to-end. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

02

Property-based checks with Echidna

This section covers property-based checks with echidna. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

03

Differential testing and mutation testing

This section covers differential testing and mutation testing. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

02Exercises
  1. 01Complete the hands-on lab for testing & fuzzing.
  2. 02Review the provided case study and answer the reflection questions.
03Key takeaways
  • ✓Foundry invariant testing end-to-end
  • ✓Property-based checks with Echidna
  • ✓Differential testing and mutation testing