Uppdatering om @ethlambda. Vi har avslutat implementeringen av tillståndsövergångsfunktionen, med blockattesteringsprocessen nu klar. Vi lade till en kort förklaring om 3sf-mini backoff-mekanismen i repot också. Vi integrerar för närvarande även leanSpec-testvektorer.