Differentially Private Health Tokens (for Estimating COVID-19 Risk) - View it on GitHub