chiark / gitweb /
63d5a4e5fe62f50b8eab683f916ab854be82a151
[zones] / distorted.lisp
1 ;;; Zone file for distorted.org.uk
2
3 (load "hosts.lisp" :verbose nil)
4
5 ;;;--------------------------------------------------------------------------
6 ;;; Anycast services.
7
8 (defvar *anycast-routable-families* (list :ipv6))
9
10 (defzoneparse :anycast (name data rec :prefix prefix :zname zname)
11   (destructuring-bind (any-provider default-provider &rest other-providers)
12       data
13
14     ;; First, the default address.  If the anycast network is preferred then
15     ;; this is easy; otherwise we have something complicated to do because
16     ;; IPv6 anycast addresses are globally routable, while IPv4 ones aren't.
17     (if (zone-preferred-subnet-p (car any-provider))
18         (zone-set-address #'rec (cdr any-provider) :make-ptr-p t)
19         (do-host (addr (cdr any-provider))
20           (let ((family (ipaddr-family addr)))
21             (if (member family *anycast-routable-families*)
22                 (zone-set-address #'rec addr
23                                   :family family :make-ptr-p t)
24                 (zone-set-address #'rec (cdr default-provider)
25                                   :family family :make-ptr-p nil)))))
26
27     ;; Now for all of the others.
28     (dolist (provider (list* any-provider default-provider other-providers))
29       (zone-set-address #'rec (cdr provider)
30                         :make-ptr-p (eq provider any-provider)
31                         :name (domain-name-concat prefix
32                                                   (zone-parse-host
33                                                    (car provider)
34                                                    zname))))))
35
36 ;;;--------------------------------------------------------------------------
37 ;;; Hostname abbreviations.
38
39 (defvar *abbrev-subdomain*
40   (make-domain-name :labels '("abbrev") :absolutep nil))
41 (defparameter *abbrev-used* (make-hash-table :test #'equal))
42
43 (defzoneparse :abbrev (name data rec :zname zname)
44   (let* ((domain (zone-parse-host data
45                                   (domain-name-concat *abbrev-subdomain*
46                                                       zname)))
47          (key (princ-to-string domain))
48          (existing (gethash key *abbrev-used*)))
49     (when existing
50       (error "Abbrev collision for ~A between ~A and ~A."
51              domain existing name))
52     (setf (gethash key *abbrev-used*) name)
53     (rec :name domain
54          :type :cname
55          :data name)))
56
57 ;;;--------------------------------------------------------------------------
58 ;;; Other definitions.
59
60 (setf *default-zone-admin* "hostmaster@distorted.org.uk")
61
62 (setf *default-zone-source* 'radius.distorted.org.uk.)
63
64 ;;;--------------------------------------------------------------------------
65 ;;; Main zone definition.
66
67 (defzone distorted.org.uk
68
69   ;; Nameservers.
70   :ns ((radius.ns :ip radius)
71        (precision.ns :ip precision)
72        (telecaster.ns :ip telecaster)
73        (national.ns :ip national)
74        #+view/inside (vampire.ns :ip vampire)
75        #-view/inside (mythic-beasts-1.ns :ip mythic-ns1)
76        #-view/inside (mythic-beasts-2.ns :ip mythic-ns2)
77        #-view/inside (mythic-beasts-3.ns :ip mythic-ns3)
78        #-view/inside (chiark.ns :ip chiark.greenend.org.uk))
79
80   ;; Certification.
81   :caa ((:issue "letsencrypt.org")
82         (:issue "distorted.org.uk"))
83
84   ;; Mail servers.
85   ((@ mail blackhole) :mx mail :srv ((:smtp mail)))
86   ((bugs) :ttl 300 :mx lists :srv ((:smtp bugs)))
87   ((lists) :ttl 300 :mx lists :srv ((:smtp lists)))
88
89   (stratocaster.20140403._domainkey
90    :dkim ("stratocaster-20140403"
91           :v "DKIM1" :k "rsa" :h "sha256" :s "email"))
92
93   ;; Anycast services.
94   (dns0 :anycast ((any dns0.any)
95                   (jump precision.jump)
96                   (colo precision.colo)
97                   (dmz radius.dmz)
98                   (unsafe radius.unsafe)))
99   (dns1 :anycast ((any dns1.any)
100                   (jump telecaster.jump)
101                   (dmz vampire.dmz)
102                   (unsafe vampire.unsafe)
103                   (colo telecaster.colo)))
104   (dns :cname dns0)
105
106   (ntp0 :anycast ((any ntp0.any)
107                   (jump fender.jump)
108                   (dmz ibanez.dmz)
109                   (unsafe ibanez.unsafe)
110                   (colo  fender.colo)))
111   (ntp1 :anycast ((any ntp1.any)
112                   (dmz vampire.dmz)
113                   (unsafe vampire.unsafe)))
114   (ntp :cname ntp0)
115
116   (www-cache :anycast ((any www-cache.any)
117                        (jump telecaster.jump)
118                        (dmz roadstar.dmz)
119                        (unsafe roadstar.unsafe)
120                        (colo telecaster.colo)))
121   (wpad :cname www-cache)
122
123   (_kerberos :txt "DISTORTED.ORG.UK")
124   (krb0 :anycast ((any krb0.any)
125                   (jump precision.jump)
126                   (dmz radius.dmz)
127                   (unsafe radius.unsafe)
128                   (colo precision.colo)))
129   (krb1 :anycast ((any krb1.any)
130                   (dmz vampire.dmz)
131                   (unsafe vampire.unsafe)))
132   (krb-master (unsafe :svc radius.unsafe)
133               (dmz :svc radius.dmz))
134   :srv (((:kerberos :protocol :udp)
135          krb0
136          (krb1 :prio 100))
137         ((:kerberos-master :protocol :udp :port 88) krb-master)
138         (:kerberos-adm krb-master)
139         ((:kpasswd :protocol :udp) krb-master))
140   (krb :cname krb0)
141
142   ;; Other services.
143   :srv ((:http www)
144         (:ftp ftp))
145
146   ;; Colocated services.
147   ((irc vox keys wiki) (colo :svc jazz.colo :sshfp "jazz")
148                        (jump :svc jazz.jump :sshfp "jazz"))
149   ((irc vox keys wiki) :tlsa (:https (:service-certificate-constraint
150                                       :public-key :sha-256 #p"https-jazz")))
151   ((bugs lists db ftp) (colo :svc telecaster.colo :sshfp "telecaster")
152                        (jump :svc telecaster.jump :sshfp "telecaster"))
153   ((bugs lists ftp) :tlsa (:https #3=(:service-certificate-constraint
154                                       :public-key :sha-256
155                                       #p"https-telecaster")))
156   (dyndns :svc telecaster.jump :sshfp "telecaster")
157   ((git www mail) (colo :svc stratocaster.colo :sshfp "stratocaster")
158                   (jump :svc stratocaster.jump :sshfp "stratocaster"))
159   ((www git mail @) :tlsa (:https #2=(:service-certificate-constraint
160                                       :public-key :sha-256
161                                       #p"https-stratocaster")))
162   (www-cache :tlsa (3127 #1=(:trust-anchor-assertion
163                              :certificate :sha-256 #p"distorted-ca")))
164   (mail :tlsa ((:submission :imap :imaps) #1#))
165   (mail :tlsa (:smtp
166                #+view/inside #1#
167                #-view/inside (:domain-issued-certificate
168                               :public-key :sha-256
169                               #p"smtps-stratocaster")))
170   ((bugs lists) :tlsa (:smtp
171                        #+view/inside #1#
172                        #-view/inside (:domain-issued-certificate
173                                       :public-key :sha-256
174                                       #p"smtps-telecaster")))
175   :svc #+view/inside stratocaster.colo
176        #-view/inside stratocaster.jump
177   (cabal :svc stratocaster.colo :sshfp "stratocaster")
178
179   ;; Local services.
180   (rawk (unsafe :svc artist.unsafe) (dmz :svc artist.dmz))
181   (rawk :tlsa (:https (:service-certificate-constraint
182                        :public-key :sha-256
183                        #p"https-artist")))
184   (mirror (dmz :svc roadstar.dmz :sshfp "roadstar")
185           (unsafe :svc roadstar.unsafe :sshfp "roadstar"))
186
187   ;; Internal services.
188   #+view/inside ((news lpr) :svc vampire.unsafe :sshfp "vampire")
189
190   ;; Anonymity services.
191   (anon (colo :svc jazz.colo)
192         (unsafe :svc vampire.unsafe)
193         (jump :addr anon.jump)
194         (dmz :addr anon.dmz))
195
196   ;; Fancy connectivity.
197   (iodine (jump :svc jazz.jump))
198   (hippotat (jump :svc jazz.jump))
199
200   ;; Colocated hosts.
201   (colo :net colo)
202   (jump :net jump)
203   (gate (jump :addr gate.jump :sshfp "precision"))
204   (fender :abbrev f (colo :abbrev fc) (jump :abbrev fj))
205   (fender (colo :addr fender.colo :sshfp "fender")
206           (jump :addr fender.jump :sshfp "fender"))
207   (precision :abbrev p (colo :abbrev pc) (jump :abbrev pj) (vpn :abbrev pv))
208   (precision (colo :addr precision.colo :sshfp "precision")
209              (jump :addr precision.jump :sshfp "precision")
210              (vpn :addr precision.vpn :sshfp "precision"))
211   (telecaster :alias tele :abbrev t
212               (colo :alias tele.colo :abbrev tc)
213               (jump :alias tele.jump :abbrev tj))
214   (telecaster (colo :addr telecaster.colo :sshfp "telecaster")
215               (jump :addr telecaster.jump :sshfp "telecaster"))
216   (stratocaster :alias strat :abbrev s
217                 (colo :alias strat.colo :abbrev sc)
218                 (jump :alias strat.jump :abbrev sj))
219   (stratocaster (colo :addr stratocaster.colo :sshfp "stratocaster")
220                 (jump :addr stratocaster.jump :sshfp "stratocaster"))
221   (jazz :abbrev z (colo :abbrev zc) (jump :abbrev zj) (vpn :abbrev :zv))
222   (jazz (colo :addr jazz.colo :sshfp "jazz")
223         (jump :addr jazz.jump :sshfp "jazz")
224         (vpn :addr jazz.vpn :sshfp "jazz")
225         (iodine :addr jazz.iodine :sshfp "jazz")
226         (hippo :addr jazz.hippo :sshfp "jazz"))
227
228   ;; Virtual hosts.
229   (national :abbrev n (linode :abbrev nl) (upn :abbrev ny))
230   (national (linode :addr national.linode)
231             (upn :addr national.upn))
232   (mdwdev (upn :addr mdwdev.upn))
233
234   ;; Media server (on loan to Good Technology HSTG).
235
236   ;; Nicko's servers.
237   (richmond (jump :svc richmond.jump))
238   (marshall (jump :svc marshall.jump))
239
240   ;; Entry is via little router box.
241   (dmz :net dmz)
242   (guvnor (dmz :addr guvnor.dmz))
243   (nat (dmz :addr nat.dmz))
244
245   ;; Wireless access points.
246   (wireless :net wireless)
247   (evolution (safe :addr evolution.safe))
248   (evolution :alias evo)
249   (kitkat :alias ap0)
250   (kitkat (safe :addr kitkat.safe))
251   (lunch :alias ap1)
252   (lunch (safe :addr lunch.safe))
253
254   ;; Printer.
255   (burntaxe :alias lp0)
256   (burntaxe (safe :addr burntaxe.safe))
257
258   ;; Switches.
259   (grigsby :alias tp0)
260   (grigsby (safe :addr grigsby.safe))
261   (carling :alias tp1)
262   (carling (safe :addr carling.safe))
263   (tritan :alias tp2)
264   (tritan (safe :addr tritan.safe))
265
266   ;; Wired ethernet.
267   (unsafe :net unsafe)
268   (safe :net safe)
269   (untrusted :net untrusted)
270   (vampire :abbrev v
271            (unsafe :abbrev vu) (dmz :abbrev vd) (vpn :abbrev vv)
272            (safe :abbrev vs) (untrusted :abbrev vx))
273   (vampire (unsafe :addr vampire.unsafe :sshfp "vampire")
274            (dmz :addr vampire.dmz :sshfp "vampire")
275            (vpn :addr vampire.vpn :sshfp "vampire")
276            (safe :addr vampire.safe :sshfp "vampire")
277            (untrusted :addr vampire.untrusted :sshfp "vampire"))
278   (ibanez :abbrev i (unsafe :abbrev iu) (dmz :abbrev id))
279   (ibanez (unsafe :addr ibanez.unsafe :sshfp "ibanez")
280           (dmz :addr ibanez.dmz :sshfp "ibanez"))
281   (radius :abbrev r
282           (unsafe :abbrev ru) (dmz :abbrev rd) (vpn :abbrev rv)
283           (safe :abbrev rs) (untrusted :abbrev rx))
284   (radius (unsafe :addr radius.unsafe :sshfp "radius")
285           (dmz :addr radius.dmz :sshfp "radius")
286           (vpn :addr radius.vpn :sshfp "radius")
287           (safe :addr radius.safe :sshfp "radius")
288           (untrusted :addr radius.untrusted :sshfp "radius"))
289   (roadstar :abbrev rg (unsafe :abbrev rgu) (dmz :abbrev rgd))
290   (roadstar (unsafe :addr roadstar.unsafe :sshfp "roadstar")
291             (dmz :addr roadstar.dmz :sshfp "roadstar"))
292   (jem :abbrev j (unsafe :abbrev ju) (dmz :abbrev jd))
293   (jem (unsafe :addr jem.unsafe :sshfp "jem")
294        (dmz :addr jem.dmz :sshfp "jem"))
295   (universe :abbrev u (unsafe :abbrev uu) (dmz :abbrev ud))
296   (universe (unsafe :addr universe.unsafe :sshfp "universe")
297             (dmz :addr universe.dmz :sshfp "universe"))
298   (artist :abbrev a
299           (unsafe :abbrev au) (dmz :abbrev ad) (untrusted :abbrev ax))
300   (artist (unsafe :addr artist.unsafe :sshfp "artist")
301           (dmz :addr artist.dmz :sshfp "artist")
302           (untrusted :addr artist.untrusted :sshfp "artist"))
303   (groove :abbrev gr)
304   (groove (unsafe :addr groove.unsafe :sshfp "groove"))
305
306   ;; DHCP hosts.
307   (gibson :cname gibson.dhcp :abbrev g)
308   (lespaul :cname lespaul.dhcp)
309   (firebird :cname firebird.dhcp)
310   (marauder :cname marauder.dhcp)
311   (invader :cname invader.dhcp)
312   (gretsch :cname gretsch.dhcp)
313
314   ;; Virtual network.
315   (vpn :net vpn)
316   (crybaby :abbrev cb)
317   (crybaby (vpn :addr crybaby.vpn :sshfp "crybaby")
318            (hippo :addr crybaby.hippo :sshfp "crybaby"))
319   (spirit (vpn :addr spirit.vpn :sshfp "spirit")
320           (hippo :addr spirit.hippo :sshfp "spirit"))
321   (terror (vpn :addr terror.vpn :sshfp "terror"))
322   (orange :abbrev o)
323   (orange (vpn :addr orange.vpn :sshfp "orange"))
324   (haze :abbrev h)
325   (haze (vpn :addr haze.vpn :sshfp "haze"))
326   (iodine :net iodine)
327   (hippo :net hippo)
328
329   ;; ITS.
330   (its :net its)
331   (gw (its :addr gw.its))
332   (mz (its :addr mz.its))
333
334   ;; Strange things.
335   (blackhole (jump :addr blackhole.jump))
336
337   ;; Delegations.
338   (dhcp :ns ((radius.ns.dhcp :ip radius)
339              (vampire.ns.dhcp :ip vampire)
340              (precision.ns.dhcp :ip precision)
341              (telecaster.ns.dhcp :ip telecaster)
342              (national.ns.dhcp :ip national))
343         :ds ((55966 :rsasha256 :sha1
344              "95b05c1f4e84f950f29630004bac447f8a87ca33")
345              (55966 :rsasha256 :sha256
346               #.(concatenate 'string "31696bf54b577362b2eb75793adeb9ec"
347                                      "2e8440ec671371b35d8d978cd9ca3007"))))
348   (dyn :ns ((radius.ns.dyn :ip radius)
349             (vampire.ns.dyn :ip vampire)
350             (precision.ns.dyn :ip precision)
351             (telecaster.ns.dyn :ip telecaster)
352             (national.ns.dyn :ip national))
353        :ds ((11335 :rsasha256 :sha1
354             "7ed2b843b0bfb38ceca68617dfacbeafab1d1ea9")
355             (11335 :rsasha256 :sha256
356              #.(concatenate 'string "6eb15eb587c48f5b84ca128a656a4cce"
357                                     "0a41cf040d3d0f15a44dffd6476b2b55"))))
358   (dnserr :ns ((radius.ns.dnserr :ip radius.dmz)
359                (vampire.ns.dnserr :ip vampire.dmz)
360                (precision.ns.dnserr :ip precision.jump)
361                (telecaster.ns.dnserr :ip telecaster.jump)
362                (national.ns.dnserr :ip national.linode))
363           :ds ((40945 :rsasha256 :sha1
364                 "f35b5d0b877b940e63ad1b3afc21d6ba83cd1b3b")
365                (40945 :rsasha256 :sha256
366                 #.(concatenate 'string "fb171d206d4d64c5a7a6c290ce6e20df"
367                                        "44f1db7f41e2260f1fe8d7c55d524c11"))))
368   (io :ns ((ns.io :ip jazz.jump))))
369
370 ;;;--------------------------------------------------------------------------
371 ;;; Other subsidiary zones.
372
373 (defzone dhcp.distorted.org.uk
374   :ns ((radius.ns :ip radius.dmz)
375        (vampire.ns :ip vampire.dmz)
376        (precision.ns :ip precision.jump)
377        (telecaster.ns :ip telecaster.jump)
378        (national.ns :ip national.linode))
379   (gibson :addr gibson.unsafe)
380   (crybaby :addr crybaby.unsafe)
381   (lespaul :addr lespaul.unsafe)
382   (gretsch :addr gretsch.unsafe)
383   (spirit :addr spirit.unsafe)
384   (haze :addr haze.unsafe)
385   (invader :addr invader.safe)
386   (marauder :addr marauder.safe))
387
388 (defzone dyn.distorted.org.uk
389   :ns ((radius.ns :ip radius)
390        (vampire.ns :ip vampire)
391        (precision.ns :ip precision)
392        (telecaster.ns :ip telecaster)
393        (national.ns :ip national)))
394
395 (defzone nicko.org
396   (richmond :addr richmond.jump))
397
398 (defrevzone trusted
399   :ns (radius.distorted.org.uk.
400        vampire.distorted.org.uk.
401        precision.distorted.org.uk.
402        telecaster.distorted.org.uk.
403        national.distorted.org.uk.)
404   :reverse unsafe
405   :reverse vpn
406   :reverse colo
407   :reverse its
408   :reverse any
409   (dhcp :ns (radius.distorted.org.uk.
410              vampire.distorted.org.uk.
411              precision.distorted.org.uk.
412              telecaster.distorted.org.uk.
413              national.distorted.org.uk.))
414   :multi (((dhcp safe) :family :ipv4 :suffix "199.29.172.dhcp") :cname *))
415
416 (defzone dhcp.199.29.172.in-addr.arpa
417   :ns (radius.distorted.org.uk.
418        vampire.distorted.org.uk.
419        precision.distorted.org.uk.
420        telecaster.distorted.org.uk.
421        national.distorted.org.uk.))
422
423 (defrevzone untrusted
424   :ns (radius.distorted.org.uk.
425        vampire.distorted.org.uk.
426        precision.distorted.org.uk.
427        telecaster.distorted.org.uk.
428        national.distorted.org.uk.))
429
430 (defzone 128-143.238.187.81.in-addr.arpa
431   :ns (radius.distorted.org.uk.
432        vampire.distorted.org.uk.
433        precision.distorted.org.uk.
434        telecaster.distorted.org.uk.
435        national.distorted.org.uk.
436        secondary-dns.co.uk.)
437   :reverse ((((:ipv4 dmz)))))
438
439 (defzone 195.113.2.81.in-addr.arpa
440   :ns (radius.distorted.org.uk.
441        vampire.distorted.org.uk.
442        precision.distorted.org.uk.
443        telecaster.distorted.org.uk.
444        national.distorted.org.uk.
445        secondary-dns.co.uk.)
446   :reverse ((((:ipv4 gw)))))
447
448 (defrevzone (jump :family :ipv6)
449   :ns (radius.distorted.org.uk.
450        vampire.distorted.org.uk.
451        precision.distorted.org.uk.
452        telecaster.distorted.org.uk.
453        national.distorted.org.uk.)
454   :reverse jump)
455
456 (defrevzone (jump :family :ipv4)
457   (64-79 :ns (radius.distorted.org.uk.
458               vampire.distorted.org.uk.
459               precision.distorted.org.uk.
460               telecaster.distorted.org.uk.
461               national.distorted.org.uk.))
462   :multi ((jump :suffix "64-79") :cname *))
463
464 (defzone 64-79.198.13.212.in-addr.arpa
465   :ns (radius.distorted.org.uk.
466        vampire.distorted.org.uk.
467        precision.distorted.org.uk.
468        telecaster.distorted.org.uk.
469        national.distorted.org.uk.)
470   :reverse ((((:ipv4 jump)))))
471
472 (defrevzone (distorted.org.uk-aaisp :family :ipv6)
473   :ns (radius.distorted.org.uk.
474        vampire.distorted.org.uk.
475        precision.distorted.org.uk.
476        telecaster.distorted.org.uk.
477        national.distorted.org.uk.
478        secondary-dns.co.uk.)
479   (0.7.3.6.8.6.4.6.1.0.0.0 :ns (radius.distorted.org.uk.
480                                 vampire.distorted.org.uk.
481                                 precision.distorted.org.uk.
482                                 telecaster.distorted.org.uk.
483                                 national.distorted.org.uk.))
484   :reverse ((((:ipv6 distorted.org.uk-aaisp)))))
485
486 (defrevzone (dhcp :family :ipv6)
487   :ns (radius.distorted.org.uk.
488        vampire.distorted.org.uk.
489        precision.distorted.org.uk.
490        telecaster.distorted.org.uk.
491        national.distorted.org.uk.))
492
493 (defrevzone distorted.org.uk-jump
494   :ns (radius.distorted.org.uk.
495        vampire.distorted.org.uk.
496        precision.distorted.org.uk.
497        telecaster.distorted.org.uk.
498        national.distorted.org.uk.)
499   :reverse distorted.org.uk-jump)
500
501 (defzone io.distorted.org.uk
502   :ns ((ns :ip jazz.jump))
503   (about :txt "Fake zone used for IP-over-DNS tunnelling."))
504
505 ;;;----- That's all, folks --------------------------------------------------