DNS proofs work in progress

need to handle id_table weirdness first
DNS is now working