Comment by robjan

TraceTogether[1] by the Singapore government meets most of these requirements and is/will be open sourced soon.

1: https://www.tracetogether.gov.sg