# ShardStore Amazon S3 が展開する新しいキーバリューストレージノード実装。40,000 行超の Rust コードベースを持ち、既存の S3 ストレージノードソフトウェアと API 互換である。LSM ツリーによりキー(shard 識別子)をチャンクへマッピングしつつ、shard データ自体はツリー外のエクステントへ書き込み amplification を抑える(WiscKey 類似)。クラッシュ整合性は soft updates に着想を得た `Dependency` 型による宣言的な書き込み順序制御で実現している(Source: [[@2021__SOSP__Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3]])。 正しさの検証には、実装と同じ言語(Rust)で書かれた実行可能な参照モデルを property-based テストと stateless model checking(Loom / Shuttle)で照合する軽量形式手法アプローチを採用し、本番投入前に 16 件の不具合を検出した。