Atualização sobre @ethlambda. Finalizamos a implementação da função de transição de estado, com o processamento de atestação em bloco agora concluído. Também adicionamos uma breve explicação sobre o mecanismo de recuo 3sf-mini ao repositório. Atualmente estamos integrando vetores de teste leanSpec também.