chiark / gitweb /
distorted.lisp, escorted.lisp, odin.lisp: Take off the training wheels.
[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 (mythic-beasts-1.ns :ip mythic-ns1)
75        #-view/inside (mythic-beasts-2.ns :ip mythic-ns2)
76        #-view/inside (mythic-beasts-3.ns :ip mythic-ns3)
77        #-view/inside (chiark.ns :ip chiark.greenend.org.uk))
78
79   ;; Certification.
80   :caa ((:issue "letsencrypt.org")
81         (:issue "distorted.org.uk"))
82
83   ;; Mail servers.
84   ((@ mail blackhole) :mx mail :srv ((:smtp mail)))
85   (bugs :mx lists :srv ((:smtp bugs)))
86   (lists :mx lists :srv ((:smtp lists)))
87   (_dmarc :dmarc (:v "DMARC1"
88                   :p "quarantine" :sp "quarantine"
89                   :adkim "s" :aspf "s"))
90   ((_domainkey _domainkey.mail) :dname stratocaster.dkim)
91   ((stratocaster @ mail) :spf ((:version "spf1")
92                                (:pass :ip stratocaster.dmz)
93                                (:soft :all)))
94   ((_domainkey.bugs _domainkey.lists) :dname telecaster.dkim)
95   ((telecaster bugs lists) :spf ((:version "spf1")
96                                  (:pass :ip telecaster.dmz)
97                                  (:soft :all)))
98
99   ;; Anycast services.
100   (dns0 :anycast ((any dns0.any) (dmz radius.dmz)
101                   (unsafe radius.unsafe)))
102   (dns1 :anycast ((any dns1.any) (dmz precision.dmz)
103                   (unsafe precision.unsafe)))
104   (dns :cname dns0)
105
106   (ntp0 :anycast ((any ntp0.any) (dmz ibanez.dmz)
107                   (unsafe ibanez.unsafe)))
108   (ntp1 :anycast ((any ntp1.any) (dmz fender.dmz)
109                   (unsafe fender.unsafe)))
110   (ntp :cname ntp0)
111
112   (www-cache :anycast ((any www-cache.any) (dmz telecaster.dmz)
113                        (unsafe telecaster.unsafe)))
114   (wpad :cname www-cache)
115
116   (_kerberos :txt "DISTORTED.ORG.UK")
117   (krb0 :anycast ((any krb0.any) (dmz radius.dmz)
118                   (unsafe radius.unsafe)))
119   (krb1 :anycast ((any krb1.any) (dmz precision.dmz)
120                   (unsafe precision.unsafe)))
121   (krb-master (unsafe :svc radius.unsafe)
122               (dmz :svc radius.dmz))
123   :srv (((:kerberos :protocol :udp)
124          krb0
125          (krb1 :prio 100))
126         ((:kerberos-master :protocol :udp :port 88) krb-master)
127         (:kerberos-adm krb-master)
128         ((:kpasswd :protocol :udp) krb-master))
129   (krb :cname krb0)
130
131   ;; Other services.
132   :srv ((:http www)
133         (:ftp ftp))
134
135   ;; Formerly colocated services.
136   ((irc vox keys wiki) (unsafe :svc jazz.unsafe :sshfp "jazz")
137                        (dmz :svc jazz.dmz :sshfp "jazz"))
138   ((irc vox keys wiki) :tlsa (:https (:service-certificate-constraint
139                                       :public-key :sha-256 #p"https-jazz")))
140   ((bugs lists db ftp) (unsafe :svc telecaster.unsafe :sshfp "telecaster")
141                        (dmz :svc telecaster.dmz :sshfp "telecaster"))
142   ((bugs lists ftp) :tlsa (:https #3=(:service-certificate-constraint
143                                       :public-key :sha-256
144                                       #p"https-telecaster")))
145   (dyndns :svc telecaster.dmz :sshfp "telecaster")
146   ((git www mail) (unsafe :svc stratocaster.unsafe :sshfp "stratocaster")
147                   (dmz :svc stratocaster.dmz :sshfp "stratocaster"))
148   ((www git mail @) :tlsa (:https #2=(:service-certificate-constraint
149                                       :public-key :sha-256
150                                       #p"https-stratocaster")))
151   (www-cache :tlsa (3127 #1=(:trust-anchor-assertion
152                              :certificate :sha-256 #p"distorted-ca")))
153   (mail :tlsa ((:submission :imap :imaps) #1#))
154   (mail :tlsa (:smtp
155                #+view/inside #1#
156                #-view/inside (:domain-issued-certificate
157                               :public-key :sha-256
158                               #p"smtps-stratocaster")))
159   ((bugs lists) :tlsa (:smtp
160                        #+view/inside #1#
161                        #-view/inside (:domain-issued-certificate
162                                       :public-key :sha-256
163                                       #p"smtps-telecaster")))
164   :svc #+view/inside stratocaster.unsafe
165        #-view/inside stratocaster.dmz
166   (cabal :svc stratocaster.dmz :sshfp "stratocaster")
167
168   ;; Local services.
169   (rawk (unsafe :svc artist.unsafe) (dmz :svc artist.dmz))
170   (rawk :tlsa (:https (:service-certificate-constraint
171                        :public-key :sha-256
172                        #p"https-artist")))
173   (mirror (dmz :svc roadstar.dmz :sshfp "roadstar")
174           (unsafe :svc roadstar.unsafe :sshfp "roadstar"))
175
176   ;; Internal services.
177   ((news lpr) :svc roadstar.unsafe :sshfp "roadstar")
178
179   ;; Anonymity services.
180   (anon (dmz :svc anon.dmz)
181         (unsafe :svc jazz.unsafe))
182
183   ;; Fancy connectivity.
184   (iodine (dmz :svc jazz.dmz))
185   (hippotat (dmz :svc jazz.dmz))
186
187   ;; Formerly colocated hosts.
188   (fender :abbrev f (unsafe :abbrev fu) (dmz :abbrev fd))
189   (fender (unsafe :addr fender.unsafe :sshfp "fender")
190           (dmz :addr fender.dmz :sshfp "fender"))
191   (precision :abbrev p (unsafe :abbrev pu) (dmz :abbrev pd) (vpn :abbrev pv))
192   (precision (unsafe :addr precision.unsafe :sshfp "precision")
193              (dmz :addr precision.dmz :sshfp "precision")
194              (vpn :addr precision.vpn :sshfp "precision"))
195   (telecaster :alias tele :abbrev t
196               (unsafe :alias tele.unsafe :abbrev tu)
197               (dmz :alias tele.dmz :abbrev td))
198   (telecaster (unsafe :addr telecaster.unsafe :sshfp "telecaster")
199               (dmz :addr telecaster.dmz :sshfp "telecaster"))
200   (stratocaster :alias strat :abbrev s
201                 (unsafe :alias strat.unsafe :abbrev su)
202                 (dmz :alias strat.dmz :abbrev sd))
203   (stratocaster (unsafe :addr stratocaster.unsafe :sshfp "stratocaster")
204                 (dmz :addr stratocaster.dmz :sshfp "stratocaster"))
205   (jazz :abbrev z (unsafe :abbrev zu) (dmz :abbrev zd) (vpn :abbrev :zv))
206   (jazz (unsafe :addr jazz.unsafe :sshfp "jazz")
207         (dmz :addr jazz.dmz :sshfp "jazz")
208         (vpn :addr jazz.vpn :sshfp "jazz")
209         (iodine :addr jazz.iodine :sshfp "jazz")
210         (hippo :addr jazz.hippo :sshfp "jazz"))
211
212   ;; Virtual hosts.
213   (national :abbrev n (linode :abbrev nl) (upn :abbrev ny))
214   (national (linode :addr national.linode)
215             (upn :addr national.upn))
216   (mdwdev (upn :addr mdwdev.upn))
217
218   ;; Nicko's servers.
219   (richmond (dmz :svc richmond.dmz))
220   (marshall (dmz :svc marshall.dmz))
221
222   ;; Entry is via little router box.
223   (dmz :net dmz)
224   (guvnor (dmz :addr guvnor.dmz))
225   (nat (dmz :addr nat.dmz))
226
227   ;; Wireless access points.
228   (wireless :net wireless)
229   (evolution (safe :addr evolution.safe))
230   (evolution :alias evo)
231   (kitkat :alias ap0)
232   (kitkat (safe :addr kitkat.safe))
233   (lunch :alias ap1)
234   (lunch (safe :addr lunch.safe))
235
236   ;; Printer.
237   (burntaxe :alias lp0)
238   (burntaxe (safe :addr burntaxe.safe))
239
240   ;; Switches.
241   (grigsby :alias tp0)
242   (grigsby (safe :addr grigsby.safe))
243   (carling :alias tp1)
244   (carling (safe :addr carling.safe))
245   (tritan :alias tp2)
246   (tritan (safe :addr tritan.safe))
247
248   ;; Wired ethernet.
249   (unsafe :net unsafe)
250   (safe :net safe)
251   (untrusted :net untrusted)
252   (vampire :abbrev v
253            (unsafe :abbrev vu) (dmz :abbrev vd) (vpn :abbrev vv)
254            (safe :abbrev vs) (untrusted :abbrev vx))
255   (vampire (unsafe :addr vampire.unsafe :sshfp "vampire")
256            (dmz :addr vampire.dmz :sshfp "vampire")
257            (vpn :addr vampire.vpn :sshfp "vampire")
258            (safe :addr vampire.safe :sshfp "vampire")
259            (untrusted :addr vampire.untrusted :sshfp "vampire"))
260   (ibanez :abbrev i (unsafe :abbrev iu) (dmz :abbrev id))
261   (ibanez (unsafe :addr ibanez.unsafe :sshfp "ibanez")
262           (dmz :addr ibanez.dmz :sshfp "ibanez"))
263   (radius :abbrev r
264           (unsafe :abbrev ru) (dmz :abbrev rd) (vpn :abbrev rv)
265           (safe :abbrev rs) (untrusted :abbrev rx))
266   (radius (unsafe :addr radius.unsafe :sshfp "radius")
267           (dmz :addr radius.dmz :sshfp "radius")
268           (vpn :addr radius.vpn :sshfp "radius")
269           (safe :addr radius.safe :sshfp "radius")
270           (untrusted :addr radius.untrusted :sshfp "radius"))
271   (roadstar :abbrev rg (unsafe :abbrev rgu) (dmz :abbrev rgd))
272   (roadstar (unsafe :addr roadstar.unsafe :sshfp "roadstar")
273             (dmz :addr roadstar.dmz :sshfp "roadstar"))
274   (jem :abbrev j (unsafe :abbrev ju) (dmz :abbrev jd))
275   (jem (unsafe :addr jem.unsafe :sshfp "jem")
276        (dmz :addr jem.dmz :sshfp "jem"))
277   (universe :abbrev u (unsafe :abbrev uu) (dmz :abbrev ud))
278   (universe (unsafe :addr universe.unsafe :sshfp "universe")
279             (dmz :addr universe.dmz :sshfp "universe"))
280   (artist :abbrev a
281           (unsafe :abbrev au) (dmz :abbrev ad) (untrusted :abbrev ax))
282   (artist (unsafe :addr artist.unsafe :sshfp "artist")
283           (dmz :addr artist.dmz :sshfp "artist")
284           (untrusted :addr artist.untrusted :sshfp "artist"))
285   (groove :abbrev gr
286           (vpn :abbrev grv) (unsafe :abbrev gru))
287   (groove (vpn :addr groove.vpn :sshfp "groove")
288           (unsafe :addr groove.unsafe :sshfp "groove"))
289
290   ;; DHCP hosts.
291   (gibson :cname gibson.dhcp :abbrev g)
292   (lespaul :cname lespaul.dhcp)
293   (firebird :cname firebird.dhcp)
294   (marauder :cname marauder.dhcp)
295   (invader :cname invader.dhcp)
296   (gretsch :cname gretsch.dhcp)
297
298   ;; Virtual network.
299   (vpn :net vpn)
300   (crybaby :abbrev cb)
301   (crybaby (vpn :addr crybaby.vpn :sshfp "crybaby")
302            (hippo :addr crybaby.hippo :sshfp "crybaby"))
303   (spirit (vpn :addr spirit.vpn :sshfp "spirit")
304           (hippo :addr spirit.hippo :sshfp "spirit"))
305   (terror (vpn :addr terror.vpn :sshfp "terror"))
306   (orange :abbrev o)
307   (orange (vpn :addr orange.vpn :sshfp "orange"))
308   (haze :abbrev h)
309   (haze (vpn :addr haze.vpn :sshfp "haze"))
310   (iodine :net iodine)
311   (hippo :net hippo)
312
313   ;; ITS.
314   (its :net its)
315   (gw (its :addr gw.its))
316   (mz (its :addr mz.its))
317
318   ;; Strange things.
319   (blackhole (dmz :addr blackhole.dmz))
320
321   ;; Delegations.
322   (dhcp :ns ((radius.ns.dhcp :ip radius)
323              (precision.ns.dhcp :ip precision)
324              (telecaster.ns.dhcp :ip telecaster)
325              (national.ns.dhcp :ip national))
326         :ds ((55966 :rsasha256 :sha1
327              "95b05c1f4e84f950f29630004bac447f8a87ca33")
328              (55966 :rsasha256 :sha256
329               #.(concatenate 'string "31696bf54b577362b2eb75793adeb9ec"
330                                      "2e8440ec671371b35d8d978cd9ca3007"))))
331   (dyn :ns ((radius.ns.dyn :ip radius)
332             (precision.ns.dyn :ip precision)
333             (telecaster.ns.dyn :ip telecaster)
334             (national.ns.dyn :ip national))
335        :ds ((11335 :rsasha256 :sha1
336             "7ed2b843b0bfb38ceca68617dfacbeafab1d1ea9")
337             (11335 :rsasha256 :sha256
338              #.(concatenate 'string "6eb15eb587c48f5b84ca128a656a4cce"
339                                     "0a41cf040d3d0f15a44dffd6476b2b55"))))
340   (dnserr :ns ((radius.ns.dnserr :ip radius.dmz)
341                (precision.ns.dnserr :ip precision.dmz)
342                (telecaster.ns.dnserr :ip telecaster.dmz)
343                (national.ns.dnserr :ip national.linode))
344           :ds ((40945 :rsasha256 :sha1
345                 "f35b5d0b877b940e63ad1b3afc21d6ba83cd1b3b")
346                (40945 :rsasha256 :sha256
347                 #.(concatenate 'string "fb171d206d4d64c5a7a6c290ce6e20df"
348                                        "44f1db7f41e2260f1fe8d7c55d524c11"))))
349   (stratocaster.dkim
350    :ns ((radius.ns.stratocaster.dkim :ip radius.dmz)
351         (precision.ns.stratocaster.dkim :ip precision.dmz)
352         (telecaster.ns.stratocaster.dkim :ip telecaster.dmz)
353         (national.ns.stratocaster.dkim :ip national.linode)
354         (mythic-beasts-1.ns.stratocaster.dkim :ip mythic-ns1)
355         (mythic-beasts-2.ns.stratocaster.dkim :ip mythic-ns2)
356         (mythic-beasts-3.ns.stratocaster.dkim :ip mythic-ns3))
357    :ds ((24577 :rsasha256 :sha1
358          "d06847c01e19098509a8d07a9aafaceff532c9c7")
359         (24577 :rsasha256 :sha256
360          #.(concatenate 'string "a40cdb1c633041cfbc1b80a400cff527"
361                                 "2cad051915fc0cd40296a2d4590b9d2b"))))
362   (telecaster.dkim
363    :ns ((radius.ns.telecaster.dkim :ip radius.dmz)
364         (precision.ns.telecaster.dkim :ip precision.dmz)
365         (telecaster.ns.telecaster.dkim :ip telecaster.dmz)
366         (national.ns.telecaster.dkim :ip national.linode)
367         (mythic-beasts-1.ns.telecaster.dkim :ip mythic-ns1)
368         (mythic-beasts-2.ns.telecaster.dkim :ip mythic-ns2)
369         (mythic-beasts-3.ns.telecaster.dkim :ip mythic-ns3))
370    :ds ((38896 :rsasha256 :sha1
371          "2c2daea658784e22c46bf9e86da67def1e34cf40")
372         (38896 :rsasha256 :sha256
373          #.(concatenate 'string "66997571c7d47f912caa65f2154ecd37"
374                                 "5b9d391e3ed44d79ac35eef59264e521"))))
375   (io :ns ((ns.io :ip jazz.dmz)))
376   (play :ns (radius.ns precision.ns telecaster.ns national.ns)))
377
378 ;;;--------------------------------------------------------------------------
379 ;;; Other subsidiary zones.
380
381 #+view/outside
382 (defzone dhcp.distorted.org.uk
383   :ns ((radius.ns :ip radius.dmz)
384        (precision.ns :ip precision.dmz)
385        (telecaster.ns :ip telecaster.dmz)
386        (national.ns :ip national.linode))
387   (gibson :addr gibson.unsafe)
388   (crybaby :addr crybaby.unsafe)
389   (lespaul :addr lespaul.unsafe)
390   (gretsch :addr gretsch.unsafe)
391   (spirit :addr spirit.unsafe)
392   (haze :addr haze.unsafe)
393   (invader :addr invader.safe)
394   (marauder :addr marauder.safe))
395
396 #+view/outside
397 (defzone (dyn.distorted.org.uk :source telecaster.distorted.org.uk.)
398   :ns ((radius.ns :ip radius)
399        (precision.ns :ip precision)
400        (telecaster.ns :ip telecaster)
401        (national.ns :ip national)))
402
403 #+view/outside
404 (defzone nicko.org
405   (richmond :addr richmond.dmz))
406
407 #+view/outside
408 (defzone stratocaster.dkim.distorted.org.uk
409   :ns ((radius.ns :ip radius.dmz)
410        (precision.ns :ip precision.dmz)
411        (telecaster.ns :ip telecaster.dmz)
412        (national.ns :ip national.linode)
413        (mythic-beasts-1.ns :ip mythic-ns1)
414        (mythic-beasts-2.ns :ip mythic-ns2)
415        (mythic-beasts-3.ns :ip mythic-ns3)))
416 #+view/outside
417 (defzone telecaster.dkim.distorted.org.uk
418   :ns ((radius.ns :ip radius.dmz)
419        (precision.ns :ip precision.dmz)
420        (telecaster.ns :ip telecaster.dmz)
421        (national.ns :ip national.linode)
422        (mythic-beasts-1.ns :ip mythic-ns1)
423        (mythic-beasts-2.ns :ip mythic-ns2)
424        (mythic-beasts-3.ns :ip mythic-ns3)))
425
426 (defrevzone trusted
427   :ns (radius.distorted.org.uk.
428        precision.distorted.org.uk.
429        telecaster.distorted.org.uk.
430        national.distorted.org.uk.)
431   :reverse unsafe
432   :reverse vpn
433   :reverse its
434   :reverse any
435   (dhcp :ns (radius.distorted.org.uk.
436              precision.distorted.org.uk.
437              telecaster.distorted.org.uk.
438              national.distorted.org.uk.))
439   :multi (((dhcp safe) :family :ipv4 :suffix "199.29.172.dhcp") :cname *))
440
441 #+view/outside
442 (defzone dhcp.199.29.172.in-addr.arpa
443   :ns (radius.distorted.org.uk.
444        precision.distorted.org.uk.
445        telecaster.distorted.org.uk.
446        national.distorted.org.uk.))
447
448 (defrevzone untrusted
449   :ns (radius.distorted.org.uk.
450        precision.distorted.org.uk.
451        telecaster.distorted.org.uk.
452        national.distorted.org.uk.))
453
454 (defzone 128-143.238.187.81.in-addr.arpa
455   :ns (radius.distorted.org.uk.
456        precision.distorted.org.uk.
457        telecaster.distorted.org.uk.
458        national.distorted.org.uk.
459        secondary-dns.co.uk.)
460   :reverse ((((:ipv4 dmz)))))
461
462 (defzone 64-79.12.169.217.in-addr.arpa
463   :ns (radius.distorted.org.uk.
464        precision.distorted.org.uk.
465        telecaster.distorted.org.uk.
466        national.distorted.org.uk.
467        secondary-dns.co.uk.)
468   :reverse ((((:ipv4 dmz1)))))
469
470 (defzone 195.113.2.81.in-addr.arpa
471   :ns (radius.distorted.org.uk.
472        precision.distorted.org.uk.
473        telecaster.distorted.org.uk.
474        national.distorted.org.uk.
475        secondary-dns.co.uk.)
476   :reverse ((((:ipv4 gw)))))
477
478 (defrevzone (distorted.org.uk-aaisp :family :ipv6)
479   :ns (radius.distorted.org.uk.
480        precision.distorted.org.uk.
481        telecaster.distorted.org.uk.
482        national.distorted.org.uk.
483        secondary-dns.co.uk.)
484   (0.7.3.6.8.6.4.6.1.0.0.0 :ns (radius.distorted.org.uk.
485                                 precision.distorted.org.uk.
486                                 telecaster.distorted.org.uk.
487                                 national.distorted.org.uk.))
488   :reverse ((((:ipv6 distorted.org.uk-aaisp)))))
489
490 (defrevzone (dhcp :family :ipv6)
491   :ns (radius.distorted.org.uk.
492        precision.distorted.org.uk.
493        telecaster.distorted.org.uk.
494        national.distorted.org.uk.))
495
496 #+view/outside
497 (defzone io.distorted.org.uk
498   :ns ((ns :ip jazz.dmz))
499   (about :txt "Fake zone used for IP-over-DNS tunnelling."))
500
501 ;;;----- That's all, folks --------------------------------------------------