Re: [tor-dev] Needs Code Review: Shared Randomness Generation for Tor