Aktualizacja dotycząca @ethlambda. Ukończyliśmy implementację funkcji przejścia stanu, a przetwarzanie atestacji bloków jest teraz zakończone. Dodaliśmy również krótkie wyjaśnienie mechanizmu 3sf-mini backoff do repozytorium. Obecnie integrujemy również wektory testowe leanSpec.