[tor-bugs] #31787 [Core Tor/Tor]: Full HMM support for circuit padding state transition

[Tor Bug Tracker & Wiki]

#31787: Full HMM support for circuit padding state transition
-------------------------+-------------------------------------------------
     Reporter:           |      Owner:  (none)
  mikeperry              |
         Type:           |     Status:  new
  enhancement            |
     Priority:  Medium   |  Milestone:
    Component:  Core     |    Version:
  Tor/Tor                |   Keywords:  circpad-researchers-maybe-want,
     Severity:  Normal   |  wtf-pad
Actual Points:           |  Parent ID:
       Points:           |   Reviewer:
      Sponsor:           |
-------------------------+-------------------------------------------------
 The circuit padding state transition system is quasi-deterministic. A non-
 deterministic state machine can be built from this using many states
 through clever use of the infinity bin, but this will lead to excessively
 complicated machines.

 One can imagine a non-deterministic state machine/HMM that simulates an
 entire web browsing session on a circuit. If this kind of machine seems
 useful, it may be better simply to transform the
 circpad_state_t.next_state transition field into an array of structs that
 specifies the next state as well as a probability for transitioning to
 that state for that event.

 We would accept patches for this modification if it seems useful.

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