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