[tor-bugs] #22422 [Core Tor/Tor]: Add noise to PaddingStatistics

[Tor Bug Tracker & Wiki]

#22422: Add noise to PaddingStatistics
------------------------------+--------------------------------
     Reporter:  teor          |      Owner:
         Type:  defect        |     Status:  new
     Priority:  Medium        |  Milestone:  Tor: 0.3.1.x-final
    Component:  Core Tor/Tor  |    Version:  Tor: 0.3.1.1-alpha
     Severity:  Normal        |   Keywords:
Actual Points:                |  Parent ID:
       Points:  0.5           |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 It's safer to publish statistics if they have noise added.

 Even though we round the totals, that's not enough to ensure privacy for a
 certain amount of user activity without added noise.

 We need to fix this before 0.3.1 becomes stable.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/22422>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online