1 ;;; GNU Guix --- Functional package management for GNU
2 ;;; Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org>
4 ;;; This file is part of GNU Guix.
6 ;;; GNU Guix is free software; you can redistribute it and/or modify it
7 ;;; under the terms of the GNU General Public License as published by
8 ;;; the Free Software Foundation; either version 3 of the License, or (at
9 ;;; your option) any later version.
11 ;;; GNU Guix is distributed in the hope that it will be useful, but
12 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 ;;; GNU General Public License for more details.
16 ;;; You should have received a copy of the GNU General Public License
17 ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
19 (define-module (test-pk-crypto)
20 #:use-module (guix pk-crypto)
21 #:use-module (guix utils)
22 #:use-module (guix hash)
23 #:use-module (srfi srfi-1)
24 #:use-module (srfi srfi-11)
25 #:use-module (srfi srfi-26)
26 #:use-module (srfi srfi-64)
27 #:use-module (rnrs bytevectors)
28 #:use-module (rnrs io ports)
29 #:use-module (ice-9 match))
31 ;; Test the (guix pk-crypto) module.
34 ;; RSA key pair that was generated with:
35 ;; (generate-key (string->canonical-sexp "(genkey (rsa (nbits 4:1024)))"))
36 ;; which takes a bit of time.
40 (n #00C1F764069F54FFE93A126B02328903E984E4AE3AF6DF402B5B6B3907911B88C385F1BA76A002EC9DEA109A5228EF0E62EE31A06D1A5861CAB474F6C857AC66EB65A1905F25BBA1869579E73A3B7FED13AF5A1667326F88CDFC2FF24B03C14FD1384AA7E73CA89572880B606E3A974E15347963FC7B6378574936A47580DBCB45#)
44 (n #00C1F764069F54FFE93A126B02328903E984E4AE3AF6DF402B5B6B3907911B88C385F1BA76A002EC9DEA109A5228EF0E62EE31A06D1A5861CAB474F6C857AC66EB65A1905F25BBA1869579E73A3B7FED13AF5A1667326F88CDFC2FF24B03C14FD1384AA7E73CA89572880B606E3A974E15347963FC7B6378574936A47580DBCB45#)
46 (d #58CAD84653D0046A8EC3F9AA82D9C829B145422109FC3F12DA01A694B92FA296E70D366FB166454D30E632CEE3A033B4C41781BA10325F69FCDC0250CA19C8EEB352FA085992494098DB133E682ED38A931701F0DED1A1E508F4341A4FB446A04F019427C7CB3C44F251EEA9D386100DA80F125E0FD5CE1B0DFEC6D21516EACD#)
47 (p #00D47F185147EC39393CCDA4E7323FFC20FC8B8073E2A54DD63BA392A66975E4204CA48572496A9DFD7522436B852C07472A5AB25B7706F7C14E6F33FBC420FF3B#)
48 (q #00E9AD22F158060BC9AE3601DA623AFC60FFF3058795802CA92371C00097335CF9A23D7782DE353C9DBA93D7BB99E6A24A411107605E722481C5C191F80D7EB77F#)
49 (u #59B45B95AE01A7A7370FAFDB08FE73A4793CE37F228961B09B1B1E7DDAD9F8D3E28F5C5E8B4B067E6B8E0BBF3F690B42991A79E46108DDCDA2514323A66964DE#))))")
52 ;; Ed25519 key pair generated with:
53 ;; (generate-key (string->canonical-sexp "(genkey (ecdsa (curve Ed25519) (flags rfc6979 transient)))"))
58 (q #94869C1B9E69DB8DD910B7F7F4D6E56A63A964A59AE8F90F6703ACDDF6F50C81#)))
62 (q #94869C1B9E69DB8DD910B7F7F4D6E56A63A964A59AE8F90F6703ACDDF6F50C81#)
63 (d #6EFB32D0B4EC6B3237B523539F1979379B82726AAA605EB2FBA6775B2B777B78#))))")
65 (test-begin "pk-crypto")
67 (test-assert "version"
70 (let ((sexps '("(foo bar)"
72 ;; In Libgcrypt 1.5.3 the following integer is rendered as
73 ;; binary, whereas in 1.6.0 it's rendered as is (hexadecimal.)
76 "(genkey \n (rsa \n (nbits \"1024\")\n )\n )")))
77 (test-equal "string->canonical-sexp->string"
79 (let ((sexps (map string->canonical-sexp sexps)))
80 (and (every canonical-sexp? sexps)
81 (map (compose string-trim-both canonical-sexp->string) sexps)))))
85 (let ((sexps `(("(foo bar)" foo -> "(foo bar)")
86 ("(foo (bar (baz 3:123)))" baz -> "(baz \"123\")")
87 ("(foo (bar 3:123))" baz -> #f))))
88 (test-equal "find-sexp-token"
95 (let ((sexp (find-sexp-token (string->canonical-sexp input) token)))
97 (string-trim-both (canonical-sexp->string sexp))))))
102 (test-equal "canonical-sexp-length"
104 (map (compose canonical-sexp-length string->canonical-sexp)
105 '("()" "(a)" "(a b)" "(a #616263# b #C001#)" "a" "#123456#")))
107 (test-equal "canonical-sexp-list?"
109 (map (compose canonical-sexp-list? string->canonical-sexp)
110 '("()" "\"abc\"" "(a b c)" "#123456#")))
114 (test-equal "canonical-sexp-car + cdr"
115 '("(b \n (c xyz)\n )")
116 (let ((lst (string->canonical-sexp "(a (b (c xyz)))")))
118 (and sexp (string-trim-both (canonical-sexp->string sexp))))
119 ;; Note: 'car' returns #f when the first element is an atom.
120 (list (canonical-sexp-car (canonical-sexp-cdr lst))))))
124 (test-equal "canonical-sexp-nth"
125 '("(b pqr)" "(c \"456\")" "(d xyz)" #f #f)
127 (let ((lst (string->canonical-sexp "(a (b 3:pqr) (c 3:456) (d 3:xyz))")))
128 ;; XXX: In Libgcrypt 1.5.3, (canonical-sexp-nth lst 0) returns LST, whereas in
129 ;; 1.6.0 it returns #f.
131 (and sexp (string-trim-both (canonical-sexp->string sexp))))
133 (cut canonical-sexp-nth lst <>)
139 (test-equal "canonical-sexp-nth-data"
140 `(Name Otto Meier #f ,(base16-string->bytevector "123456") #f)
141 (let ((lst (string->canonical-sexp
142 "(Name Otto Meier (address Burgplatz) #123456#)")))
144 (cut canonical-sexp-nth-data lst <>)
148 (let ((bv (base16-string->bytevector
149 "5eff0b55c9c5f5e87b4e34cd60a2d5654ca1eb78c7b3c67c3179fed1cff07b4c")))
150 (test-equal "hash corrupt due to restrictive locale encoding"
153 ;; In Guix up to 0.6 included this test would fail because at some point
154 ;; the hash value would be cropped to ASCII. In practice 'guix
155 ;; authenticate' would produce invalid signatures that would fail
156 ;; signature verification. See <http://bugs.gnu.org/17312>.
157 (let ((locale (setlocale LC_ALL)))
160 (setlocale LC_ALL "C"))
162 (hash-data->bytevector
163 (string->canonical-sexp
164 (canonical-sexp->string
165 (bytevector->hash-data bv "sha256")))))
167 (setlocale LC_ALL locale))))))
171 ;; XXX: The test below is typically too long as it needs to gather enough entropy.
173 ;; (test-assert "generate-key"
174 ;; (let ((key (generate-key (string->canonical-sexp
175 ;; "(genkey (rsa (nbits 3:128)))"))))
176 ;; (and (canonical-sexp? key)
177 ;; (find-sexp-token key 'key-data)
178 ;; (find-sexp-token key 'public-key)
179 ;; (find-sexp-token key 'private-key))))
181 (test-assert "bytevector->hash-data->bytevector"
182 (let* ((bv (sha256 (string->utf8 "Hello, world.")))
183 (data (bytevector->hash-data bv "sha256")))
184 (and (canonical-sexp? data)
185 (let-values (((value algo) (hash-data->bytevector data)))
186 (and (string=? algo "sha256")
187 (bytevector=? value bv))))))
189 (test-equal "key-type"
191 (map (compose key-type
192 (cut find-sexp-token <> 'public-key)
193 string->canonical-sexp)
194 (list %key-pair %ecc-key-pair)))
196 (test-assert "sign + verify"
197 (let* ((pair (string->canonical-sexp %key-pair))
198 (secret (find-sexp-token pair 'private-key))
199 (public (find-sexp-token pair 'public-key))
200 (data (bytevector->hash-data
201 (sha256 (string->utf8 "Hello, world."))
202 #:key-type (key-type public)))
203 (sig (sign data secret)))
204 (and (verify sig data public)
206 (bytevector->hash-data
207 (sha256 (string->utf8 "Hi!"))
208 #:key-type (key-type public))
211 ;; Ed25519 appeared in libgcrypt 1.6.0.
212 (test-skip (if (version>? (gcrypt-version) "1.6.0") 0 1))
213 (test-assert "sign + verify, Ed25519"
214 (let* ((pair (string->canonical-sexp %ecc-key-pair))
215 (secret (find-sexp-token pair 'private-key))
216 (public (find-sexp-token pair 'public-key))
217 (data (bytevector->hash-data
218 (sha256 (string->utf8 "Hello, world."))))
219 (sig (sign data secret)))
220 (and (verify sig data public)
222 (bytevector->hash-data
223 (sha256 (string->utf8 "Hi!")))
228 (test-equal "canonical-sexp->sexp"
232 ,(base16-string->bytevector
233 "2749f0ea9f26c6c7be746a9cff8fa4c2f2a02b000070dba78429e9a11f87c6eb")))
237 (n ,(base16-string->bytevector
239 "00C1F764069F54FFE93A126B02328903E984E4AE3AF6DF402B5B6B3907911B88C385F1BA76A002EC9DEA109A5228EF0E62EE31A06D1A5861CAB474F6C857AC66EB65A1905F25BBA1869579E73A3B7FED13AF5A1667326F88CDFC2FF24B03C14FD1384AA7E73CA89572880B606E3A974E15347963FC7B6378574936A47580DBCB45")))
240 (e ,(base16-string->bytevector
243 (list (canonical-sexp->sexp
244 (string->canonical-sexp
248 #2749f0ea9f26c6c7be746a9cff8fa4c2f2a02b000070dba78429e9a11f87c6eb#))"))
250 (canonical-sexp->sexp
251 (find-sexp-token (string->canonical-sexp %key-pair)
259 ,(base16-string->bytevector
260 "2749f0ea9f26c6c7be746a9cff8fa4c2f2a02b000070dba78429e9a11f87c6eb")))
264 (n ,(base16-string->bytevector
266 "00C1F764069F54FFE93A126B02328903E984E4AE3AF6DF402B5B6B3907911B88C385F1BA76A002EC9DEA109A5228EF0E62EE31A06D1A5861CAB474F6C857AC66EB65A1905F25BBA1869579E73A3B7FED13AF5A1667326F88CDFC2FF24B03C14FD1384AA7E73CA89572880B606E3A974E15347963FC7B6378574936A47580DBCB45")))
267 (e ,(base16-string->bytevector
270 ,(base16-string->bytevector
271 "2749f0ea9f26c6c7be746a9cff8fa4c2f2a02b000070dba78429e9a11f87c6eb"))))
272 (test-equal "sexp->canonical-sexp->sexp"
274 (map (compose canonical-sexp->sexp sexp->canonical-sexp)
277 (let ((sexp `(signature
280 (n ,(make-bytevector 1024 1))
281 (e ,(base16-string->bytevector "010001")))))))
282 (test-equal "https://bugs.g10code.com/gnupg/issue1594"
283 ;; The gcrypt bug above was primarily affecting our uses in
284 ;; 'canonical-sexp->sexp', typically when applied to a signature sexp (in
285 ;; 'guix authenticate -verify') with a "big" RSA key, such as 4096 bits.
287 (canonical-sexp->sexp (sexp->canonical-sexp sexp))))
292 (exit (= (test-runner-fail-count (test-runner-current)) 0))