[tor-bugs] #17434 [DocTor]: DocTor should understand the shared randomness protocol

[Tor Bug Tracker & Wiki]

#17434: DocTor should understand the shared randomness protocol
------------------------+--------------------
     Reporter:  asn     |      Owner:  atagar
         Type:  defect  |     Status:  new
     Priority:  Medium  |  Milestone:
    Component:  DocTor  |    Version:
     Severity:  Normal  |   Keywords:
Actual Points:          |  Parent ID:  #16943
       Points:          |    Sponsor:
------------------------+--------------------
 There are a few partioning attacks on the shared randomness protocol
 (#16943) that are not easy to fix. The attacks are not that dangerous and
 they are quite detectable. It would be nice if DocTor could catch them.

 Some detection ideas can be found in this mail:
  https://lists.torproject.org/pipermail/tor-dev/2015-September/009460.html


 Thanks!

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