According to one of the original designers of Zanzibar, they specifically designed the semantics to be able to answer this [1]. Whether a given implementation i

According to one of the original designers of Zanzibar, they specifically designed the semantics to be able to answer this [1]. Whether a given implementation is able to do this efficiently is another matter though! [1]: https://mobile.twitter.com/leakissner/status/1410016718643032069 https://mobile.twitter.com/leakissner/status/141001671864303...