GenM friends, here's another episode of Understanding Genlayer with me. In this Episode, I explored Making Genlayer secure part 2, I looked at the part one in my last episode. Today, we'll looking at the 5 types of tests explored in the Making Genlayer 100% secure part two. 1. Example-based-Tests-: This is a test humans write down in advance with a specific example. For example when you put 2+2, you expect the answer to be 4. There are 3 components of the example based test; they are: I. Solidity tests: to check their smart contracts II. Go-tests: to check their validator nodes III. Executor teats: to check GenVM 2. End- to-end runs of the whole stack: In this test, you run the real thing exactly like it'll run in production, using a real chain: real contract, real validator nodes and real GenVN, hence, eliminating the limitations of the example based which does mock test. 3. Conformance and stimulation testing: The idea behind this is to stop relying on human imagination by introducing a recipe. What's the recipe? Take one real component and put a fake world around it, and hit it with thousands of random but valid scenarios. 4. Mutation Gate: The big question is what, if my code is broken, will my testa actually shout? Many tests suite are green forever, but they are useless- they would stay Green forever even if the code is broken. 5. Formal Models: The major problem with other layer is that they can only find a bug, they can never stay that there is no bug. Formal models fix that. In summary layer 1-4 try to find holes and fail. Layer 5 is the only one that can prove holes doesn't exist. Watch the video for a full breakdown of each layer and their limitations as well. GenM @GenLayer @RuzgarFlns