Aggiornamento su @ethlambda. Abbiamo completato l'implementazione della funzione di transizione di stato, con il processo di attestazione del blocco ora completato. Abbiamo aggiunto anche una breve spiegazione sul meccanismo di backoff 3sf-mini nel repository. Attualmente stiamo integrando anche i vettori di test leanSpec.