Using RandHerd for distributed public randomness | Hacker News Reader