2019 05 24 Protocol prioritization summary

Discussion summary:

Type level validation of user commands (#2535): we should do this, it will prevent some duplicate validations we end up doing to work around the inflexible types we have now. Next 14 days.

Defunctor staged ledger (#2532): @johnwu93 thought this would take two hours but took all day. Will be easier once @nholland94's refactor is done.

Downloading keys (#1492): we need to know which keys we need. @imeckler confused, we'll circle back.

Dynamic changing SNARK worker pubkey/key (#2503): easy, doing next week.

proposing with multiple keys/changing proposer key (#2501 #2502): defer, current workaround works for changing proposer key

Inconsistent nonce assertion (#2499): has been instrumented with some more logs, "watchful waiting" is indicated.

Authenticate rpc_parallel worker conns (card): a problem, but not a priority until stability.

System time sync (#1494): "do what bitcoin/cardano does". a bit of a pain in any case. NTP is unauthenticated.

Long fork consensus changes (card): @es92 updating RFC.

Total_money (#501): not sure if fixed, @nholland94 will follow up with @imeckler

Punting on Staged_ledger.t.creator forgery (#2396)

Transition router refactor (#1473): doing next week, should help resolve the write to closed pipe and also a pipe overflow.

Segfaults in unit tests (#2540): EEP! Need to track down.

Medium curves need to be tested in CI; @jkrauska investigating