|
1 | 1 | """Privacy budget accounting for DP pipelines."""
|
2 | 2 |
|
| 3 | +import logging |
| 4 | +from dataclasses import dataclass |
| 5 | + |
| 6 | +@dataclass |
| 7 | +class Budget: |
| 8 | + """Manages the budget allocated for an operation. |
| 9 | +
|
| 10 | + The values for eps and delta are computed when the method compute_budgets |
| 11 | + of the corresponding BudgetAccount is called. |
| 12 | + """ |
| 13 | + _eps: float = None |
| 14 | + _delta: float = None |
| 15 | + |
| 16 | + @property |
| 17 | + def eps(self): |
| 18 | + """Parameter of (eps, delta)-differential privacy. |
| 19 | +
|
| 20 | + Raises: |
| 21 | + AssertionError: The privacy budget is not calculated yet. |
| 22 | + """ |
| 23 | + if self._eps is None: |
| 24 | + raise AssertionError("Privacy budget is not calculated yet.") |
| 25 | + return self._eps |
| 26 | + |
| 27 | + @property |
| 28 | + def delta(self): |
| 29 | + """Parameter of (eps, delta)-differential privacy. |
| 30 | +
|
| 31 | + Raises: |
| 32 | + AssertionError: The privacy budget is not calculated yet. |
| 33 | + """ |
| 34 | + if self._delta is None: |
| 35 | + raise AssertionError("Privacy budget is not calculated yet.") |
| 36 | + return self._delta |
| 37 | + |
| 38 | + def set_eps_delta(self, eps, delta): |
| 39 | + self._eps = eps |
| 40 | + self._delta = delta |
| 41 | + |
| 42 | +@dataclass |
| 43 | +class RequestedBudget: |
| 44 | + """Manages the budget requested for an operation.""" |
| 45 | + budget: Budget |
| 46 | + weight: float |
| 47 | + use_eps: bool |
| 48 | + use_delta: bool |
3 | 49 |
|
4 | 50 | class BudgetAccountant:
|
5 |
| - """Manages privacy budget.""" |
| 51 | + """Manages the privacy budget.""" |
6 | 52 |
|
7 |
| - def __init__(self, epsilon, delta): |
8 |
| - """Construct a BudgetAccountant |
| 53 | + def __init__(self, epsilon: float, delta: float): |
| 54 | + """Constructs a BudgetAccountant. |
9 | 55 |
|
10 |
| - Args: |
11 |
| - epsilon, delta: parameters of (epsilon, delta)-differential privacy. |
12 |
| - """ |
13 |
| - if epsilon <= 0: |
14 |
| - raise ValueError(f"Epsilon must be positive, not {epsilon}") |
15 |
| - if delta < 0: |
16 |
| - raise ValueError(f"Delta must non-negative, not {delta}") |
17 |
| - self._eps = epsilon |
18 |
| - self._delta = delta |
19 |
| - |
20 |
| - # TODO: implement BudgetAccountant functionality. |
| 56 | + Args: |
| 57 | + epsilon, delta: Parameters of (epsilon, delta)-differential privacy. |
| 58 | + """ |
| 59 | + if epsilon <= 0: |
| 60 | + raise ValueError(f"Epsilon must be positive, not {epsilon}.") |
| 61 | + if delta < 0: |
| 62 | + raise ValueError(f"Delta must be non-negative, not {delta}.") |
| 63 | + |
| 64 | + self._eps = epsilon |
| 65 | + self._delta = delta |
| 66 | + self._requested_budgets = [] |
| 67 | + |
| 68 | + def request_budget(self, weight: float, *, use_eps: bool, use_delta: bool) -> Budget: |
| 69 | + """Requests a budget. |
| 70 | +
|
| 71 | + Args: |
| 72 | + weight: The weight used to compute epsilon and delta for the budget. |
| 73 | + use_eps: A boolean that is False when the operation doesn't need epsilon. |
| 74 | + use_delta: A boolean that is False when the operation doesn't need delta. |
| 75 | +
|
| 76 | + Returns: |
| 77 | + A "lazy" budget object that doesn't contain epsilon/delta until the |
| 78 | + method compute_budgets is called. |
| 79 | + """ |
| 80 | + budget = Budget() |
| 81 | + requested_budget = RequestedBudget(budget, weight, use_eps, use_delta) |
| 82 | + self._requested_budgets.append(requested_budget) |
| 83 | + return budget |
| 84 | + |
| 85 | + def compute_budgets(self): |
| 86 | + """All previously requested Budget objects are updated with corresponding budget values.""" |
| 87 | + if not self._requested_budgets: |
| 88 | + logging.warning("No budgets were requested.") |
| 89 | + return |
| 90 | + |
| 91 | + total_weight_eps = total_weight_delta = 0 |
| 92 | + for requested_budget in self._requested_budgets: |
| 93 | + total_weight_eps += requested_budget.use_eps * requested_budget.weight |
| 94 | + total_weight_delta += requested_budget.use_delta * requested_budget.weight |
| 95 | + |
| 96 | + for requested_budget in self._requested_budgets: |
| 97 | + eps = delta = 0 |
| 98 | + if total_weight_eps: |
| 99 | + eps = requested_budget.use_eps * self._eps * requested_budget.weight / total_weight_eps |
| 100 | + if total_weight_delta: |
| 101 | + delta = requested_budget.use_delta * self._delta * requested_budget.weight / total_weight_delta |
| 102 | + requested_budget.budget.set_eps_delta(eps, delta) |
0 commit comments