ZCdpBudget::new()
should be fallible, error on epsilon=0
#1095
Labels
ZCdpBudget::new()
should be fallible, error on epsilon=0
#1095
Most DP mechanisms are only well-defined for$\varepsilon > 0$ . We disallow negative values by using
Ratio<BigUint>
, but we don't yet reject zero. Currently, trying to use an epsilon of zero results in a panic due to division by zero increate_distribution()
. We should make the budget constructor fallible, and check for this.The text was updated successfully, but these errors were encountered: