123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440 |
- ;;; GNU Guix --- Functional package management for GNU
- ;;; Copyright © 2019, 2020, 2021 Ludovic Courtès <ludo@gnu.org>
- ;;;
- ;;; This file is part of GNU Guix.
- ;;;
- ;;; GNU Guix is free software; you can redistribute it and/or modify it
- ;;; under the terms of the GNU General Public License as published by
- ;;; the Free Software Foundation; either version 3 of the License, or (at
- ;;; your option) any later version.
- ;;;
- ;;; GNU Guix is distributed in the hope that it will be useful, but
- ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
- ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- ;;; GNU General Public License for more details.
- ;;;
- ;;; You should have received a copy of the GNU General Public License
- ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
- (define-module (guix git-authenticate)
- #:use-module (git)
- #:autoload (gcrypt hash) (sha256)
- #:use-module (guix base16)
- #:autoload (guix base64) (base64-encode)
- #:use-module ((guix git)
- #:select (commit-difference false-if-git-not-found))
- #:use-module (guix i18n)
- #:use-module ((guix diagnostics) #:select (formatted-message))
- #:use-module (guix openpgp)
- #:use-module ((guix utils)
- #:select (cache-directory with-atomic-file-output))
- #:use-module ((guix build utils)
- #:select (mkdir-p))
- #:use-module (guix progress)
- #:use-module (srfi srfi-1)
- #:use-module (srfi srfi-11)
- #:use-module (srfi srfi-26)
- #:use-module (srfi srfi-34)
- #:use-module (srfi srfi-35)
- #:use-module (rnrs bytevectors)
- #:use-module (rnrs io ports)
- #:use-module (ice-9 match)
- #:autoload (ice-9 pretty-print) (pretty-print)
- #:export (read-authorizations
- commit-signing-key
- commit-authorized-keys
- authenticate-commit
- authenticate-commits
- load-keyring-from-reference
- previously-authenticated-commits
- cache-authenticated-commit
- repository-cache-key
- authenticate-repository
- git-authentication-error?
- git-authentication-error-commit
- unsigned-commit-error?
- unauthorized-commit-error?
- unauthorized-commit-error-signing-key
- signature-verification-error?
- signature-verification-error-keyring
- signature-verification-error-signature
- missing-key-error?
- missing-key-error-signature))
- ;;; Commentary:
- ;;;
- ;;; This module provides tools to authenticate a range of Git commits. A
- ;;; commit is considered "authentic" if and only if it is signed by an
- ;;; authorized party. Parties authorized to sign a commit are listed in the
- ;;; '.guix-authorizations' file of the parent commit.
- ;;;
- ;;; Code:
- (define-condition-type &git-authentication-error &error
- git-authentication-error?
- (commit git-authentication-error-commit))
- (define-condition-type &unsigned-commit-error &git-authentication-error
- unsigned-commit-error?)
- (define-condition-type &unauthorized-commit-error &git-authentication-error
- unauthorized-commit-error?
- (signing-key unauthorized-commit-error-signing-key))
- (define-condition-type &signature-verification-error &git-authentication-error
- signature-verification-error?
- (signature signature-verification-error-signature)
- (keyring signature-verification-error-keyring))
- (define-condition-type &missing-key-error &git-authentication-error
- missing-key-error?
- (signature missing-key-error-signature))
- (define* (commit-signing-key repo commit-id keyring
- #:key (disallowed-hash-algorithms '(sha1)))
- "Return the OpenPGP key that signed COMMIT-ID (an OID). Raise an exception
- if the commit is unsigned, has an invalid signature, has a signature using one
- of the hash algorithms in DISALLOWED-HASH-ALGORITHMS, or if its signing key is
- not in KEYRING."
- (let-values (((signature signed-data)
- (catch 'git-error
- (lambda ()
- (commit-extract-signature repo commit-id))
- (lambda _
- (values #f #f)))))
- (unless signature
- (raise (make-compound-condition
- (condition (&unsigned-commit-error (commit commit-id)))
- (formatted-message (G_ "commit ~a lacks a signature")
- (oid->string commit-id)))))
- (let ((signature (string->openpgp-packet signature)))
- (when (memq (openpgp-signature-hash-algorithm signature)
- `(,@disallowed-hash-algorithms md5))
- (raise (make-compound-condition
- (condition (&unsigned-commit-error (commit commit-id)))
- (formatted-message (G_ "commit ~a has a ~a signature, \
- which is not permitted")
- (oid->string commit-id)
- (openpgp-signature-hash-algorithm
- signature)))))
- (with-fluids ((%default-port-encoding "UTF-8"))
- (let-values (((status data)
- (verify-openpgp-signature signature keyring
- (open-input-string signed-data))))
- (match status
- ('bad-signature
- ;; There's a signature but it's invalid.
- (raise (make-compound-condition
- (condition
- (&signature-verification-error (commit commit-id)
- (signature signature)
- (keyring keyring)))
- (formatted-message (G_ "signature verification failed \
- for commit ~a")
- (oid->string commit-id)))))
- ('missing-key
- (raise (make-compound-condition
- (condition (&missing-key-error (commit commit-id)
- (signature signature)))
- (formatted-message (G_ "could not authenticate \
- commit ~a: key ~a is missing")
- (oid->string commit-id)
- (openpgp-format-fingerprint data)))))
- ('good-signature data)))))))
- (define (read-authorizations port)
- "Read authorizations in the '.guix-authorizations' format from PORT, and
- return a list of authorized fingerprints."
- (match (read port)
- (('authorizations ('version 0)
- (((? string? fingerprints) _ ...) ...)
- _ ...)
- (map (lambda (fingerprint)
- (base16-string->bytevector
- (string-downcase (string-filter char-set:graphic fingerprint))))
- fingerprints))))
- (define* (commit-authorized-keys repository commit
- #:optional (default-authorizations '()))
- "Return the list of OpenPGP fingerprints authorized to sign COMMIT, based on
- authorizations listed in its parent commits. If one of the parent commits
- does not specify anything, fall back to DEFAULT-AUTHORIZATIONS."
- (define (parents-have-authorizations-file? commit)
- ;; Return true if at least one of the parents of COMMIT has the
- ;; '.guix-authorizations' file.
- (find (lambda (commit)
- (false-if-git-not-found
- (tree-entry-bypath (commit-tree commit)
- ".guix-authorizations")))
- (commit-parents commit)))
- (define (assert-parents-lack-authorizations commit)
- ;; If COMMIT removes the '.guix-authorizations' file found in one of its
- ;; parents, raise an error.
- (when (parents-have-authorizations-file? commit)
- (raise (make-compound-condition
- (condition
- (&unauthorized-commit-error (commit (commit-id commit))
- (signing-key #f)))
- (formatted-message (G_ "commit ~a attempts \
- to remove '.guix-authorizations' file")
- (oid->string (commit-id commit)))))))
- (define (commit-authorizations commit)
- (catch 'git-error
- (lambda ()
- (let* ((tree (commit-tree commit))
- (entry (tree-entry-bypath tree ".guix-authorizations"))
- (blob (blob-lookup repository (tree-entry-id entry))))
- (read-authorizations
- (open-bytevector-input-port (blob-content blob)))))
- (lambda (key error)
- (if (= (git-error-code error) GIT_ENOTFOUND)
- (begin
- ;; Prevent removal of '.guix-authorizations' since it would make
- ;; it trivial to force a fallback to DEFAULT-AUTHORIZATIONS.
- (assert-parents-lack-authorizations commit)
- default-authorizations)
- (throw key error)))))
- (match (commit-parents commit)
- (() default-authorizations)
- (parents
- (apply lset-intersection bytevector=?
- (map commit-authorizations parents)))))
- (define* (authenticate-commit repository commit keyring
- #:key (default-authorizations '()))
- "Authenticate COMMIT from REPOSITORY and return the signing key fingerprint.
- Raise an error when authentication fails. If one of the parent commits does
- not specify anything, fall back to DEFAULT-AUTHORIZATIONS."
- (define id
- (commit-id commit))
- (define recent-commit?
- (false-if-git-not-found
- (tree-entry-bypath (commit-tree commit) ".guix-authorizations")))
- (define signing-key
- (commit-signing-key repository id keyring
- ;; Reject SHA1 signatures unconditionally as suggested
- ;; by the authors of "SHA-1 is a Shambles" (2019).
- ;; Accept it for "historical" commits (there are such
- ;; signatures from April 2020 in the repository).
- #:disallowed-hash-algorithms
- (if recent-commit? '(sha1) '())))
- (unless (member (openpgp-public-key-fingerprint signing-key)
- (commit-authorized-keys repository commit
- default-authorizations))
- (raise (make-compound-condition
- (condition
- (&unauthorized-commit-error (commit id)
- (signing-key signing-key)))
- (formatted-message (G_ "commit ~a not signed by an authorized \
- key: ~a")
- (oid->string id)
- (openpgp-format-fingerprint
- (openpgp-public-key-fingerprint
- signing-key))))))
- signing-key)
- (define (load-keyring-from-blob repository oid keyring)
- "Augment KEYRING with the keyring available in the blob at OID, which may or
- may not be ASCII-armored."
- (let* ((blob (blob-lookup repository oid))
- (port (open-bytevector-input-port (blob-content blob))))
- (get-openpgp-keyring (if (port-ascii-armored? port)
- (open-bytevector-input-port (read-radix-64 port))
- port)
- keyring)))
- (define (load-keyring-from-reference repository reference)
- "Load the '.key' files from the tree at REFERENCE in REPOSITORY and return
- an OpenPGP keyring."
- (let* ((reference (branch-lookup repository reference BRANCH-ALL))
- (target (reference-target reference))
- (commit (commit-lookup repository target))
- (tree (commit-tree commit)))
- (fold (lambda (name keyring)
- (if (string-suffix? ".key" name)
- (let ((entry (tree-entry-bypath tree name)))
- (load-keyring-from-blob repository
- (tree-entry-id entry)
- keyring))
- keyring))
- %empty-keyring
- (tree-list tree))))
- (define* (authenticate-commits repository commits
- #:key
- (default-authorizations '())
- (keyring-reference "keyring")
- (keyring (load-keyring-from-reference
- repository keyring-reference))
- (report-progress (const #t)))
- "Authenticate COMMITS, a list of commit objects, calling REPORT-PROGRESS for
- each of them. Return an alist showing the number of occurrences of each key.
- If KEYRING is omitted, the OpenPGP keyring is loaded from KEYRING-REFERENCE in
- REPOSITORY."
- (fold (lambda (commit stats)
- (report-progress)
- (let ((signer (authenticate-commit repository commit keyring
- #:default-authorizations
- default-authorizations)))
- (match (assq signer stats)
- (#f (cons `(,signer . 1) stats))
- ((_ . count) (cons `(,signer . ,(+ count 1))
- (alist-delete signer stats))))))
- '()
- commits))
- ;;;
- ;;; Caching.
- ;;;
- (define (authenticated-commit-cache-file key)
- "Return the name of the file that contains the cache of
- previously-authenticated commits for KEY."
- (string-append (cache-directory) "/authentication/" key))
- (define (previously-authenticated-commits key)
- "Return the previously-authenticated commits under KEY as a list of commit
- IDs (hex strings)."
- (catch 'system-error
- (lambda ()
- (call-with-input-file (authenticated-commit-cache-file key)
- (lambda (port)
- ;; If PORT has the wrong permissions, it might have been tampered
- ;; with by another user so ignore its contents.
- (if (= #o600 (stat:perms (stat port)))
- (read port)
- (begin
- (chmod port #o600)
- '())))))
- (lambda args
- (if (= ENOENT (system-error-errno args))
- '()
- (apply throw args)))))
- (define (cache-authenticated-commit key commit-id)
- "Record in ~/.cache, under KEY, COMMIT-ID and its closure as
- authenticated (only COMMIT-ID is written to cache, though)."
- (define %max-cache-length
- ;; Maximum number of commits in cache.
- 200)
- (let ((lst (delete-duplicates
- (cons commit-id (previously-authenticated-commits key))))
- (file (authenticated-commit-cache-file key)))
- (mkdir-p (dirname file))
- (with-atomic-file-output file
- (lambda (port)
- (let ((lst (if (> (length lst) %max-cache-length)
- (take lst %max-cache-length) ;truncate
- lst)))
- (chmod port #o600)
- (display ";; List of previously-authenticated commits.\n\n"
- port)
- (pretty-print lst port))))))
- ;;;
- ;;; High-level interface.
- ;;;
- (define (repository-cache-key repository)
- "Return a unique key to store the authenticate commit cache for REPOSITORY."
- (string-append "checkouts/"
- (base64-encode
- (sha256 (string->utf8 (repository-directory repository))))))
- (define (verify-introductory-commit repository keyring commit expected-signer)
- "Look up COMMIT in REPOSITORY, and raise an exception if it is not signed by
- EXPECTED-SIGNER."
- (define actual-signer
- (openpgp-public-key-fingerprint
- (commit-signing-key repository (commit-id commit) keyring)))
- (unless (bytevector=? expected-signer actual-signer)
- (raise (formatted-message (G_ "initial commit ~a is signed by '~a' \
- instead of '~a'")
- (oid->string (commit-id commit))
- (openpgp-format-fingerprint actual-signer)
- (openpgp-format-fingerprint expected-signer)))))
- (define* (authenticate-repository repository start signer
- #:key
- (keyring-reference "keyring")
- (cache-key (repository-cache-key repository))
- (end (reference-target
- (repository-head repository)))
- (authentic-commits '())
- (historical-authorizations '())
- (make-reporter
- (const progress-reporter/silent)))
- "Authenticate REPOSITORY up to commit END, an OID. Authentication starts
- with commit START, an OID, which must be signed by SIGNER; an exception is
- raised if that is not the case. Commits listed in AUTHENTIC-COMMITS and their
- closure are considered authentic. Return an alist mapping OpenPGP public keys
- to the number of commits signed by that key that have been traversed.
- The OpenPGP keyring is loaded from KEYRING-REFERENCE in REPOSITORY, where
- KEYRING-REFERENCE is the name of a branch. The list of authenticated commits
- is cached in the authentication cache under CACHE-KEY.
- HISTORICAL-AUTHORIZATIONS must be a list of OpenPGP fingerprints (bytevectors)
- denoting the authorized keys for commits whose parent lack the
- '.guix-authorizations' file."
- (define start-commit
- (commit-lookup repository start))
- (define end-commit
- (commit-lookup repository end))
- (define keyring
- (load-keyring-from-reference repository keyring-reference))
- (define authenticated-commits
- ;; Previously-authenticated commits that don't need to be checked again.
- (filter-map (lambda (id)
- (false-if-git-not-found
- (commit-lookup repository (string->oid id))))
- (append (previously-authenticated-commits cache-key)
- authentic-commits)))
- (define commits
- ;; Commits to authenticate, excluding the closure of
- ;; AUTHENTICATED-COMMITS.
- (commit-difference end-commit start-commit
- authenticated-commits))
- ;; When COMMITS is empty, it's because END-COMMIT is in the closure of
- ;; START-COMMIT and/or AUTHENTICATED-COMMITS, in which case it's known to
- ;; be authentic already.
- (if (null? commits)
- '()
- (let ((reporter (make-reporter start-commit end-commit commits)))
- ;; If it's our first time, verify START-COMMIT's signature.
- (when (null? authenticated-commits)
- (verify-introductory-commit repository keyring
- start-commit signer))
- (let ((stats (call-with-progress-reporter reporter
- (lambda (report)
- (authenticate-commits repository commits
- #:keyring keyring
- #:default-authorizations
- historical-authorizations
- #:report-progress report)))))
- (cache-authenticated-commit cache-key
- (oid->string (commit-id end-commit)))
- stats))))
|