distorted.lisp: Avoid repeating the tedious details for our internal CA.

[zones] / distorted.lisp

diff --git a/distorted.lisp b/distorted.lisp
index 369e606dbe7f8c59da972120c3d2da964ced355d..0277696709823166ab9d8c68d5e0e2adb01ffa18 100644 (file)
--- a/distorted.lisp
+++ b/distorted.lisp
@@ -2,6 +2,58 @@
 
 (load "hosts.lisp" :verbose nil)
 
 
 (load "hosts.lisp" :verbose nil)
 

+;;;--------------------------------------------------------------------------
+;;; Anycast services.
+
+(defvar *anycast-routable-families* (list :ipv6))
+
+(defzoneparse :anycast (name data rec :prefix prefix :zname zname)
+  (destructuring-bind (any-provider default-provider &rest other-providers)
+      data
+
+    ;; First, the default address.  If the anycast network is preferred then
+    ;; this is easy; otherwise we have something complicated to do because
+    ;; IPv6 anycast addresses are globally routable, while IPv4 ones aren't.
+    (if (zone-preferred-subnet-p (car any-provider))
+       (zone-set-address #'rec (cdr any-provider) :make-ptr-p t)
+       (do-host (addr (cdr any-provider))
+         (let ((family (ipaddr-family addr)))
+           (if (member family *anycast-routable-families*)
+               (zone-set-address #'rec addr
+                                 :family family :make-ptr-p t)
+               (zone-set-address #'rec (cdr default-provider)
+                                 :family family :make-ptr-p nil)))))
+
+    ;; Now for all of the others.
+    (dolist (provider (list* any-provider default-provider other-providers))
+      (zone-set-address #'rec (cdr provider)
+                       :make-ptr-p (eq provider any-provider)
+                       :name (domain-name-concat prefix
+                                                 (zone-parse-host
+                                                  (car provider)
+                                                  zname))))))
+
+;;;--------------------------------------------------------------------------
+;;; Hostname abbreviations.
+
+(defvar *abbrev-subdomain*
+  (make-domain-name :labels '("abbrev") :absolutep nil))
+(defparameter *abbrev-used* (make-hash-table :test #'equal))
+
+(defzoneparse :abbrev (name data rec :zname zname)
+  (let* ((domain (zone-parse-host data
+                                 (domain-name-concat *abbrev-subdomain*
+                                                     zname)))
+        (key (princ-to-string domain))
+        (existing (gethash key *abbrev-used*)))
+    (when existing
+      (error "Abbrev collision for ~A between ~A and ~A."
+            domain existing name))
+    (setf (gethash key *abbrev-used*) name)
+    (rec :name domain
+        :type :cname
+        :data name)))
+

 ;;;--------------------------------------------------------------------------
 ;;; Other definitions.
 
 ;;;--------------------------------------------------------------------------
 ;;; Other definitions.
 


@@ -16,100 +68,361 @@ (defzone distorted.org.uk
 
   ;; Nameservers.
   :ns #+view/inside ((radius.ns :ip radius)
 
   ;; Nameservers.
   :ns #+view/inside ((radius.ns :ip radius)

+                    (precision.ns :ip precision)
+                    (telecaster.ns :ip telecaster)

                     (vampire.ns :ip vampire))
       #-view/inside ((radius.ns :ip radius)
                     (vampire.ns :ip vampire))
       #-view/inside ((radius.ns :ip radius)

-                    (vampire.ns :ip vampire)
+                    (precision.ns :ip precision)
+                    (telecaster.ns :ip telecaster)

                     (mythic-beasts-1.ns :ip mythic-ns1)
                     (mythic-beasts-2.ns :ip mythic-ns2)
                     (chiark.ns :ip chiark.greenend.org.uk))
 
   ;; Mail servers.
                     (mythic-beasts-1.ns :ip mythic-ns1)
                     (mythic-beasts-2.ns :ip mythic-ns2)
                     (chiark.ns :ip chiark.greenend.org.uk))
 
   ;; Mail servers.

-  ((@ mail lists bugs cryptomail)
-   :mx mail
-   :srv ((:smtp mail)))
+  ((@ mail blackhole) :mx mail :srv ((:smtp mail)))
+  ((bugs) :ttl 300 :mx lists :srv ((:smtp bugs)))
+  ((lists) :ttl 300 :mx lists :srv ((:smtp lists)))
+
+  (stratocaster.20140403._domainkey
+   :dkim ("stratocaster-20140403"
+         :v "DKIM1" :k "rsa" :h "sha256" :s "email"))
+
+  ;; Anycast services.
+  (dns0 :anycast ((any dns0.any)
+                 (jump precision.jump)
+                 (colo precision.colo)
+                 (dmz radius.dmz)
+                 (unsafe radius.unsafe)))
+  (dns1 :anycast ((any dns1.any)
+                 (jump telecaster.jump)
+                 (dmz vampire.dmz)
+                 (unsafe vampire.unsafe)
+                 (colo telecaster.colo)))
+  (dns :cname dns0)
+
+  (ntp0 :anycast ((any ntp0.any)
+                 (jump fender.jump)
+                 (dmz ibanez.dmz)
+                 (unsafe ibanez.unsafe)
+                 (colo  fender.colo)))
+  (ntp1 :anycast ((any ntp1.any)
+                 (dmz vampire.dmz)
+                 (unsafe vampire.unsafe)))
+  (ntp :cname ntp0)
+
+  (www-cache :anycast ((any www-cache.any)
+                      (jump telecaster.jump)
+                      (dmz roadstar.dmz)
+                      (unsafe roadstar.unsafe)
+                      (colo telecaster.colo)))
+  (wpad :cname www-cache)
+
+  (_kerberos :txt "DISTORTED.ORG.UK")
+  (krb0 :anycast ((any krb0.any)
+                 (jump precision.jump)
+                 (dmz radius.dmz)
+                 (unsafe radius.unsafe)
+                 (colo precision.colo)))
+  (krb1 :anycast ((any krb1.any)
+                 (dmz vampire.dmz)
+                 (unsafe vampire.unsafe)))
+  (krb-master (unsafe :svc radius.unsafe)
+             (dmz :svc radius.dmz))
+  :srv (((:kerberos :protocol :udp)
+        krb0
+        (krb1 :prio 100))
+       ((:kerberos-master :protocol :udp :port 88) krb-master)
+       (:kerberos-adm krb-master)
+       ((:kpasswd :protocol :udp) krb-master))
+  (krb :cname krb0)

 
   ;; Other services.
   :srv ((:http www)
        (:ftp ftp))
 
 
   ;; Other services.
   :srv ((:http www)
        (:ftp ftp))
 

+  ;; Colocated services.
+  ((irc vox keys) (colo :svc jazz.colo :sshfp "jazz")
+                 (jump :svc jazz.jump :sshfp "jazz"))
+  ((bugs lists) (colo :svc telecaster.colo :sshfp "telecaster")
+               (jump :svc telecaster.jump :sshfp "telecaster"))
+  ((git www mail) (colo :svc stratocaster.colo :sshfp "stratocaster")
+                 (jump :svc stratocaster.jump :sshfp "stratocaster"))
+  ((www @) :tlsa (:https (:service-certificate-constraint
+                         :certificate :sha-256 #p"http-server-www#1")))
+  ((git mail) :tlsa (:https #1=(:trust-anchor-assertion
+                               :certificate :sha-256 #p"distorted-ca")))
+  (www-cache :tlsa (3127 #1#))
+  ((bugs lists) :tlsa (:smtp #1#))
+  (mail :tlsa ((:smtp :submission :imap :imaps) #1#))
+  :svc #+view/inside stratocaster.colo
+       #-view/inside stratocaster.jump
+  (cabal :svc stratocaster.colo :sshfp "stratocaster")
+  ((db ftp) (colo :svc telecaster.colo :sshfp "telecaster")
+           (jump :svc telecaster.jump :sshfp "telecaster"))
+  (dyndns :svc telecaster.jump :sshfp "telecaster")
+
+  ;; Local services.
+  ((rawk pifi) (unsafe :svc artist.unsafe)
+              (dmz :svc artist.dmz))
+  (mirror (dmz :svc roadstar.dmz :sshfp "roadstar")
+         (unsafe :svc roadstar.unsafe :sshfp "roadstar"))
+
+  ;; Internal services.
+  #+view/inside ((news lpr) :svc vampire.unsafe :sshfp "vampire")
+
+  ;; Anonymity services.
+  (anon (colo :svc jazz.colo)
+       (unsafe :svc vampire.unsafe)
+       (jump :addr anon.jump)
+       (dmz :addr anon.dmz))
+
+  ;; Fancy connectivity.
+  (iodine (jump :svc jazz.jump))
+
+  ;; Colocated hosts.
+  (colo :net colo)
+  (jump :net jump)
+  (gate (jump :addr gate.jump :sshfp "precision"))
+  (fender :abbrev f (colo :abbrev fc) (jump :abbrev fj))
+  (fender (colo :addr fender.colo :sshfp "fender")
+         (jump :addr fender.jump :sshfp "fender"))
+  (precision :abbrev p (colo :abbrev pc) (jump :abbrev pj) (vpn :abbrev pv))
+  (precision (colo :addr precision.colo :sshfp "precision")
+            (jump :addr precision.jump :sshfp "precision")
+            (vpn :addr precision.vpn :sshfp "precision"))
+  (telecaster :alias tele :abbrev t
+             (colo :alias tele.colo :abbrev tc)
+             (jump :alias tele.jump :abbrev tj))
+  (telecaster (colo :addr telecaster.colo :sshfp "telecaster")
+             (jump :addr telecaster.jump :sshfp "telecaster"))
+  (stratocaster :alias strat :abbrev s
+               (colo :alias strat.colo :abbrev sc)
+               (jump :alias strat.jump :abbrev sj))
+  (stratocaster (colo :addr stratocaster.colo :sshfp "stratocaster")
+               (jump :addr stratocaster.jump :sshfp "stratocaster"))
+  (jazz :abbrev z (colo :abbrev zc) (jump :abbrev zj) (vpn :abbrev :zv))
+  (jazz (colo :addr jazz.colo :sshfp "jazz")
+       (jump :addr jazz.jump :sshfp "jazz")
+       (vpn :addr jazz.vpn :sshfp "jazz")
+       (iodine :addr jazz.iodine :sshfp "jazz"))
+
+  ;; Virtual hosts.
+  (national :abbrev n (linode :abbrev nl) (upn :abbrev ny))
+  (national (linode :addr national.linode)
+           (upn :addr national.upn))
+
+  ;; Media server (on loan to Good Technology HSTG).
+  (jaguar :abbrev jag)
+  (jaguar (jump :addr jaguar.jump :sshfp "jaguar"))
+
+  ;; Nicko's server.
+  (richmond (jump :svc richmond.jump))
+

   ;; Entry is via little router box.
   (dmz :net dmz)
   ;; Entry is via little router box.
   (dmz :net dmz)

-  (guvnor (inside :svc gate.dmz) (dmz :a guvnor.dmz))
-  (gate (dmz :a gate.dmz))
-  (nat (dmz :a nat.dmz))
+  (guvnor (dmz :addr guvnor.dmz))
+  (nat (dmz :addr nat.dmz))

 
   ;; Wireless gateway.
   (wireless :net wireless)
 
   ;; Wireless gateway.
   (wireless :net wireless)

-  (evolution (untrusted :a evolution.untrusted))
+  (evolution (safe :addr evolution.safe))
+  (evolution :alias evo)

 
 

-  ;; Local services.
-  :svc vampire
-  ((www ftp rsync wiki git bugs mail db tor i2p rawk vox www-cache)
-   :svc vampire)
-
-  ;; Internal services.
-  #+view/inside ((ntp) :svc ibanez.unsafe)
-  #+view/inside ((wpad ntp1 news) :svc vampire.unsafe)
+  ;; Switches.
+  (grigsby :alias tp0)
+  (grigsby (safe :addr grigsby.safe))
+  (carling :alias tp1)
+  (carling (safe :addr carling.safe))
+  (tritan :alias tp2)
+  (tritan (safe :addr tritan.safe))

 
   ;; Wired ethernet.
 
   ;; Wired ethernet.

-  (wired :net wired)
-  (vampire (unsafe :a vampire.unsafe)
-          (dmz :a vampire.dmz)
-          (untrusted :a vampire.untrusted)
-          (iodine :a vampire.iodine))
-  (obsidian (safe :a obsidian.safe))
-  (ibanez (unsafe :a ibanez.unsafe)
-         (dmz :a ibanez.dmz))
-  (radius (unsafe :a radius.unsafe)
-         (dmz :a radius.dmz)
-         (untrusted :a radius.untrusted))
-  (roadstar (unsafe :a roadstar.unsafe)
-           (dmz :a roadstar.dmz))
-  (jem (unsafe :a jem.unsafe)
-       (dmz :a jem.dmz))
-  (artist (unsafe :a artist.unsafe)
-         (dmz :a artist.dmz))
+  (unsafe :net unsafe)
+  (safe :net safe)
+  (untrusted :net untrusted)
+  (vampire :abbrev v
+          (unsafe :abbrev vu) (dmz :abbrev vd) (vpn :abbrev vv)
+          (safe :abbrev vs) (untrusted :abbrev vx))
+  (vampire (unsafe :addr vampire.unsafe :sshfp "vampire")
+          (dmz :addr vampire.dmz :sshfp "vampire")
+          (vpn :addr vampire.vpn :sshfp "vampire")
+          (safe :addr vampire.safe :sshfp "vampire")
+          (untrusted :addr vampire.untrusted :sshfp "vampire"))
+  (ibanez :abbrev i (unsafe :abbrev iu) (dmz :abbrev id))
+  (ibanez (unsafe :addr ibanez.unsafe :sshfp "ibanez")
+         (dmz :addr ibanez.dmz :sshfp "ibanez"))
+  (radius :abbrev r
+         (unsafe :abbrev ru) (dmz :abbrev rd) (vpn :abbrev rv)
+         (safe :abbrev rs) (untrusted :abbrev rx))
+  (radius (unsafe :addr radius.unsafe :sshfp "radius")
+         (dmz :addr radius.dmz :sshfp "radius")
+         (vpn :addr radius.vpn :sshfp "radius")
+         (safe :addr radius.safe :sshfp "radius")
+         (untrusted :addr radius.untrusted :sshfp "radius"))
+  (roadstar :abbrev rg (unsafe :abbrev rgu) (dmz :abbrev rgd))
+  (roadstar (unsafe :addr roadstar.unsafe :sshfp "roadstar")
+           (dmz :addr roadstar.dmz :sshfp "roadstar"))
+  (jem :abbrev j (unsafe :abbrev ju) (dmz :abbrev jd))
+  (jem (unsafe :addr jem.unsafe :sshfp "jem")
+       (dmz :addr jem.dmz :sshfp "jem"))
+  (artist :abbrev a
+         (unsafe :abbrev au) (dmz :abbrev ad) (untrusted :abbrev ax))
+  (artist (unsafe :addr artist.unsafe :sshfp "artist")
+         (dmz :addr artist.dmz :sshfp "artist")
+         (untrusted :addr artist.untrusted :sshfp "artist"))
+  (groove :abbrev gr)
+  (groove (unsafe :addr groove.unsafe :sshfp "groove"))

 
   ;; DHCP hosts.
 
   ;; DHCP hosts.

-  (gibson :cname gibson.dhcp)
+  (gibson :cname gibson.dhcp :abbrev g)

   (lespaul :cname lespaul.dhcp)
   (firebird :cname firebird.dhcp)
   (marauder :cname marauder.dhcp)
   (invader :cname invader.dhcp)
   (lespaul :cname lespaul.dhcp)
   (firebird :cname firebird.dhcp)
   (marauder :cname marauder.dhcp)
   (invader :cname invader.dhcp)

+  (gretsch :cname gretsch.dhcp)

 
   ;; Virtual network.
 
   ;; Virtual network.

-  (virtual :net virtual)
-  (crybaby (virtual :a crybaby.virtual))
-  (terror (virtual :a terror.virtual))
+  (vpn :net vpn)
+  (crybaby :abbrev cb)
+  (crybaby (vpn :addr crybaby.vpn :sshfp "crybaby"))
+  (terror (vpn :addr terror.vpn :sshfp "terror"))
+  (orange :abbrev o)
+  (orange (vpn :addr orange.vpn :sshfp "orange"))
+  (haze :abbrev h)
+  (haze (vpn :addr haze.vpn :sshfp "haze"))

   (iodine :net iodine)
 
   ;; ITS.
   (its :net its)
   (iodine :net iodine)
 
   ;; ITS.
   (its :net its)

-  (gw (its :a gw.its))
-  (mz (its :a mz.its))
+  (gw (its :addr gw.its))
+  (mz (its :addr mz.its))
+
+  ;; Strange things.
+  (blackhole (jump :addr blackhole.jump))

 
   ;; Delegations.
 
   ;; Delegations.

-  #+view/inside (dhcp :ns (radius.ns vampire.ns))
-  (io :ns ((ns.io :ip vampire))))
+  (dhcp :ns ((radius.ns.dhcp :ip radius)
+            (precision.ns.dhcp :ip precision)
+            (telecaster.ns.dhcp :ip telecaster)
+            (vampire.ns.dhcp :ip vampire))
+       :ds ((55966 :rsasha256 :sha1
+            "95b05c1f4e84f950f29630004bac447f8a87ca33")
+            (55966 :rsasha256 :sha256
+             #.(concatenate 'string "31696bf54b577362b2eb75793adeb9ec"
+                                    "2e8440ec671371b35d8d978cd9ca3007"))))
+  (dyn :ns ((radius.ns.dyn :ip radius)
+           (precision.ns.dyn :ip precision)
+           (telecaster.ns.dyn :ip telecaster)
+           (vampire.ns.dyn :ip vampire))
+       :ds ((11335 :rsasha256 :sha1
+           "7ed2b843b0bfb38ceca68617dfacbeafab1d1ea9")
+           (11335 :rsasha256 :sha256
+            #.(concatenate 'string "6eb15eb587c48f5b84ca128a656a4cce"
+                                   "0a41cf040d3d0f15a44dffd6476b2b55"))))
+  (dnserr :ns ((radius.ns.dnserr :ip radius.dmz)
+              (precision.ns.dnserr :ip precision.jump)
+              (telecaster.ns.dnserr :ip telecaster)
+              (vampire.ns.dnserr :ip vampire.dmz))
+         :ds ((40945 :rsasha256 :sha1
+               "f35b5d0b877b940e63ad1b3afc21d6ba83cd1b3b")
+              (40945 :rsasha256 :sha256
+               #.(concatenate 'string "fb171d206d4d64c5a7a6c290ce6e20df"
+                                      "44f1db7f41e2260f1fe8d7c55d524c11"))))
+  (io :ns ((ns.io :ip jazz.jump))))

 
 ;;;--------------------------------------------------------------------------
 ;;; Other subsidiary zones.
 
 
 ;;;--------------------------------------------------------------------------
 ;;; Other subsidiary zones.
 

+(defzone dhcp.distorted.org.uk
+  :ns ((radius.ns :ip radius.dmz)
+       (precision.ns :ip precision.jump)
+       (telecaster.ns :ip telecaster.jump)
+       (vampire.ns :ip vampire.dmz))
+  (gibson :addr gibson.unsafe)
+  (crybaby :addr crybaby.unsafe)
+  (lespaul :addr lespaul.unsafe)
+  (gretsch :addr gretsch.unsafe)
+  (haze :addr haze.unsafe)
+  (invader :addr invader.safe)
+  (marauder :addr marauder.safe))
+
+(defzone nicko.org
+  (richmond :addr richmond.jump))
+

 (defrevzone trusted
 (defrevzone trusted

-  :ns ((radius.ns :ip radius)
-       (vampire.ns :ip vampire))
-  :reverse trusted
-  (dhcp :ns (radius.ns vampire.ns))
-  (@ :cidr-delegation
-     (dhcp (dhcp 199.29.172.dhcp.199.29.172.in-addr.arpa))))
-
-(defrevzone dmz
-  :ns ((radius.ns :ip radius)
-       (vampire.ns :ip vampire))
+  :ns (radius.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       vampire.distorted.org.uk.)
+  :reverse unsafe
+  :reverse vpn
+  :reverse colo
+  :reverse its
+  :reverse any
+  (dhcp :ns (radius.distorted.org.uk.
+            precision.distorted.org.uk.
+            telecaster.distorted.org.uk.
+            vampire.distorted.org.uk.))
+  :multi (((dhcp safe) :family :ipv4 :suffix "199.29.172.dhcp") :cname *))
+
+(defrevzone (dmz :family :ipv6)
+  :ns (radius.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       vampire.distorted.org.uk.)

   :reverse dmz)
 
   :reverse dmz)
 

+(defrevzone (dmz :family :ipv4)
+  (144-159 :ns (radius.distorted.org.uk.
+               precision.distorted.org.uk.
+               telecaster.distorted.org.uk.
+               vampire.distorted.org.uk.))
+  :multi ((dmz :suffix "144-159") :cname *))
+
+(defzone 144-159.204.49.62.in-addr.arpa
+  :ns (radius.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       vampire.distorted.org.uk.)
+  :reverse ((((:ipv4 dmz)))))
+
+(defrevzone (jump :family :ipv6)
+  :ns (radius.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       vampire.distorted.org.uk.)
+  :reverse jump)
+
+(defrevzone (jump :family :ipv4)
+  (64-79 :ns (radius.distorted.org.uk.
+             precision.distorted.org.uk.
+             telecaster.distorted.org.uk.
+             vampire.distorted.org.uk.))
+  :multi ((jump :suffix "64-79") :cname *))
+
+(defzone 64-79.198.13.212.in-addr.arpa
+  :ns (radius.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       vampire.distorted.org.uk.)
+  :reverse ((((:ipv4 jump)))))
+
+(defrevzone distorted.org.uk-he
+  :ns (radius.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       vampire.distorted.org.uk.)
+  :reverse distorted.org.uk-he)
+
+(defrevzone distorted.org.uk-jump
+  :ns (radius.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       vampire.distorted.org.uk.)
+  :reverse distorted.org.uk-jump)
+

 (defzone io.distorted.org.uk
 (defzone io.distorted.org.uk

-  :ns ((ns :ip vampire))
+  :ns ((ns :ip jazz.jump))

   (about :txt "Fake zone used for IP-over-DNS tunnelling."))
 
 ;;;----- That's all, folks --------------------------------------------------
   (about :txt "Fake zone used for IP-over-DNS tunnelling."))
 
 ;;;----- That's all, folks --------------------------------------------------