We need a set of down detectors that all detect if each other are down, and produce an answer via quorum.

I think CAP theorem says this is impossible.