I described Google Zanzibar’s Leopard Index, which stores two pre‑computed lookup tables—member → group and group → group—to make authorization checks constant‑time regardless of nesting depth.
- Membership check: 2 table lookups + 1 set overlap.
- Index is refreshed by a full rebuild plus incremental streaming updates; write‑side cost is higher.