Actualizare despre @ethlambda. Am finalizat implementarea funcției de tranziție a stării, iar procesarea atestării pe blocuri este acum finalizată. Am adăugat și o scurtă explicație despre mecanismul de retragere 3sf-mini în depozit. În prezent integrăm și vectorii de test leanSpec.