[tor-dev] Distributed RNG Research