Essays
Reverse-chronological. Full text is also available over RSS.
-
Proving a Gradient Was Clipped
Secure aggregation hides client updates, which also hides whether they were clipped. A look at what a zero-knowledge proof of a norm bound actually costs in a federated round, and where the bound stops being the hard part.