Zgadzam się z tym. Odkąd badałem protokoły w ramach mojej pracy nad asercjami, robiłem dokładnie to i to świetny sposób, aby nauczyć się, jak działają protokoły. Napisz asercję, która zapobiega złamaniu inwariantu. Wprowadź zmiany w kodzie, które symulują podatność. Wywołaj podatność i zobacz, jak wiarygodna warstwa @phylaxsystems łapie zły tx i zapobiega wykorzystaniu podatności.