@User keeping in mind I'm not completely 100% objective, SpiceDB is a logic-complete implementation of the Zanzibar paper (including full support for arrows, etc), along with improvements we've added such as Schema, a large amount of tooling and new APIs (e.g. lookup). Keto seems to be much earlier in its implementation, and last I checked, doesn't support the full range of Zanzibar operations