Tento týden bude hodně vytváření/psaní testů, aby se zohlednily některé změny protokolu. Doufám, že brzy dokončím kurz @CyfrinUpdraft formálního ověření a začnu @CertoraInc používat, pokud to bude možné. Také absolvuji kurz Rust Basics, abych si vybudoval znalosti.