Atualização sobre @ethlambda. Terminámos de implementar a função de transição de estado, com o processamento de atestação de bloco agora completo. Também adicionámos uma breve explicação sobre o mecanismo de retrocesso 3sf-mini ao repositório. Estamos atualmente a integrar os vetores de teste leanSpec também.