akd

Summary Introduces crate as the leaf dependency defining the abstract trait for any key directory implementation Moves core types (, , , , ) into , with backward-compatible aliases (, ) in Inverts the dependency graph: (leaf) → → Implements for Adds generic benchmarking harness ( trait + Criterion benchmarks) Adds scaling benchmark CLI () with database caching, sweep mode, and table/CSV/JSON output

Summary Adds to the trait Implements it in , , , and MySQL implementation pushes the range filter to the query layer to avoid over-fetching Closes #165

Closes #367 Adds three new subcommands to the binary, each as a multi-file module following the same pattern as the existing and examples: – publish a user pool in a single epoch and verify a client lookup proof – simulate successive key rotations for one user and verify the complete history proof across all versions – populate several epochs and verify append-only integrity as an independent auditor Each example is split across focused sub-files (, , , etc.) for readability, and each ships with a sub-module that exercises both and via the macro. All 179 tests pass (). Test plan [ ] compiles cleanly [ ] — all 179 tests pass [ ] runs and prints a verified lookup [ ] runs and prints a verified history table [ ] runs and prints a verified audit result [ ] works [ ] works [ ] works