Обновление по @ethlambda. Мы завершили реализацию функции перехода состояния, обработка аттестации блока теперь завершена. Мы также добавили краткое объяснение механизма 3sf-mini backoff в репозиторий. В настоящее время мы также интегрируем тестовые векторы leanSpec.