Aktualizace k @ethlambda. Dokončili jsme implementaci funkce přechodu stavů, přičemž zpracování blokové attestace je nyní dokončeno. Do repozitáře jsme také přidali krátké vysvětlení mechanismu 3sf-mini couvajícího se. Momentálně integrujeme také testovací vektory leanSpec.