@ethlambda güncellemesi. Durum geçiş fonksiyonunun uygulanmasını tamamladık ve blok doğrulama işlemi tamamlandı. 3sf-mini geri çekme mekanizması hakkında da kısa bir açıklama ekledik. Şu anda leanSpec test vektörlerini de entegre ediyoruz.