Actualización sobre @ethlambda. Terminamos de implementar la función de transición de estado, con el procesamiento de la atestación de bloques ahora completo. También añadimos una breve explicación sobre el mecanismo de retroceso 3sf-mini al repositorio. Actualmente estamos integrando los vectores de prueba leanSpec también.