LinkDNS gives provably correct DNS responses