, where the author shows that...
Accepted to TCC 2025 - see you in Aarhus. Funnily enough, it has a simpler model and proofs of the paper of Faonio et al. that was published at ACM CCS 2025, which is supposed to be an applied conference, while TCC is a theory conference.
877