Ik ben het hiermee eens. Terwijl ik de protocollen verken als onderdeel van mijn werk met beweringen, heb ik precies dit gedaan en het is een geweldige manier om te leren hoe protocollen werken. Schrijf een bewering die voorkomt dat de invariant wordt geschonden. Breng een wijziging aan in de code die een kwetsbaarheid simuleert. Activeer de kwetsbaarheid en zie hoe de geloofwaardige laag van @phylaxsystems de slechte transactie opvangt en voorkomt dat de kwetsbaarheid wordt geëxploiteerd.