[tor-commits] [torspec] 05/19: Give a formal name to shared_random_value