@ethlambdaのアップデート。状態遷移関数の実装を完了し、ブロック認証処理も完了しました。リポジトリには3sf-miniのバックオフ機構についても簡単な説明を追加しました。 現在、leanSpecテストベクターも統合しています。