Commit 4100dfa
committed
fix!: replace GPL-3.0-only crystals-dilithium with fips204 (ML-DSA)
The signer used the `crystals-dilithium` crate, which implements the round-3
CRYSTALS submission. NIST changed the algorithm during standardisation, so
Dilithium and ML-DSA are different schemes with different wire formats. Keys
and signatures produced here could therefore be verified only by this code —
no FIPS 204 implementation can read them, and vice versa. For a signature
scheme whose entire purpose is letting someone else check your work, that is
a defect rather than a preference.
`fips204` also resolves a licensing problem. `crystals-dilithium` is
GPL-3.0-only; this package is MIT and builds as cdylib/staticlib, and
`hook/build.dart` compiles it unconditionally for every dependent app — with
the ordinary Schnorr verifier living in the same library, so even apps that
never touch post-quantum code link it. Statically linking GPL-3.0-only code
makes the combined binary a derivative work, which obliges every downstream
app to ship under GPL-3.0. That is a hard problem for closed-source
consumers, and GPL-3.0 is also widely held incompatible with App Store
distribution terms. `fips204` is MIT OR Apache-2.0 and imposes none of it.
Also adds seed derivation. Keys were random-only, so a signing key could
never be restored from a mnemonic — losing it lost the identity permanently.
`qs_derive_keypair_from_seed` derives from a 64-byte BIP-39 seed via
HKDF-SHA256 with `nip-pqc/v1/ml-dsa-<level>/<account>`, making the key a
sibling of the secp256k1 key rather than a child: breaking secp256k1 does not
reach it, and one mnemonic restores both. A 32-byte secp256k1 private key is
rejected as input, because deriving from it would be circular.
`level` now takes the ML-DSA numbers (44/65/87). The Dilithium values 2/3/5
are rejected rather than remapped, so an un-updated caller fails loudly
instead of silently receiving different security properties than it asked
for. Existing Dilithium keys do not carry over; they could never have
interoperated, and this is shipped as an experimental signer.
Two safety fixes found while auditing this code:
- `write_buffer` leaked a Vec recording only its length, while
`qs_free_buffer` reconstructed it with `Vec::from_raw_parts(data, len,
len)`. That is undefined behaviour whenever capacity exceeds length. It
holds for every value passed today, so this was a latent trap rather than a
live bug — the next contributor building an output with `push` or `extend`
would have introduced heap corruption in the free path with no compiler
diagnostic. `into_boxed_slice` reallocates to the exact size.
- `qs_free_buffer` now zeroizes before deallocating. These buffers carry
secret keys, and a freed-but-unwiped secret is recoverable from a core
dump or swap file.
Tests pin an ML-DSA-87 public key byte-for-byte against `@noble/post-quantum`
from the same derived seed, which is the interoperability the previous
implementation could not have satisfied.
BREAKING CHANGE: `level` now takes the ML-DSA parameter numbers (44/65/87)
instead of the Dilithium ones (2/3/5), and the old values are rejected rather
than remapped. Existing quantum-secure keys and signatures do not carry over:
they were round-3 CRYSTALS-Dilithium, which no FIPS 204 implementation can
read. The quantum-secure signer is experimental and this is the only way to
make it interoperable.1 parent 4e28d2e commit 4100dfa
10 files changed
Lines changed: 460 additions & 277 deletions
File tree
- packages/ndk
- lib
- data_layer/repositories
- signers
- verifiers
- src
- rust
- src
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
Lines changed: 12 additions & 11 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | | - | |
| 12 | + | |
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
| |||
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
26 | | - | |
| 26 | + | |
27 | 27 | | |
28 | | - | |
| 28 | + | |
29 | 29 | | |
30 | 30 | | |
31 | 31 | | |
| |||
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | | - | |
| 39 | + | |
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
| |||
48 | 48 | | |
49 | 49 | | |
50 | 50 | | |
51 | | - | |
| 51 | + | |
52 | 52 | | |
53 | 53 | | |
54 | | - | |
| 54 | + | |
| 55 | + | |
55 | 56 | | |
56 | 57 | | |
57 | 58 | | |
58 | 59 | | |
59 | 60 | | |
60 | 61 | | |
61 | 62 | | |
62 | | - | |
63 | | - | |
| 63 | + | |
| 64 | + | |
64 | 65 | | |
65 | | - | |
| 66 | + | |
66 | 67 | | |
67 | 68 | | |
68 | 69 | | |
| |||
71 | 72 | | |
72 | 73 | | |
73 | 74 | | |
74 | | - | |
| 75 | + | |
75 | 76 | | |
76 | 77 | | |
77 | 78 | | |
| |||
126 | 127 | | |
127 | 128 | | |
128 | 129 | | |
129 | | - | |
| 130 | + | |
130 | 131 | | |
131 | 132 | | |
132 | 133 | | |
| |||
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
27 | | - | |
| 27 | + | |
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
| |||
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | | - | |
| 38 | + | |
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
Lines changed: 3 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
| 19 | + | |
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
10 | | - | |
| 10 | + | |
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
20 | | - | |
21 | | - | |
22 | | - | |
23 | | - | |
24 | | - | |
25 | | - | |
26 | | - | |
27 | | - | |
28 | | - | |
29 | | - | |
30 | | - | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
31 | 30 | | |
32 | 31 | | |
33 | 32 | | |
| |||
40 | 39 | | |
41 | 40 | | |
42 | 41 | | |
43 | | - | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
44 | 50 | | |
45 | 51 | | |
46 | 52 | | |
47 | 53 | | |
48 | 54 | | |
49 | | - | |
| 55 | + | |
50 | 56 | | |
51 | | - | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
52 | 61 | | |
53 | 62 | | |
54 | 63 | | |
55 | | - | |
56 | | - | |
57 | | - | |
58 | | - | |
59 | | - | |
60 | | - | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
61 | 69 | | |
62 | 70 | | |
63 | 71 | | |
64 | 72 | | |
65 | 73 | | |
66 | 74 | | |
67 | | - | |
| 75 | + | |
68 | 76 | | |
69 | | - | |
| 77 | + | |
70 | 78 | | |
71 | 79 | | |
72 | 80 | | |
73 | 81 | | |
74 | 82 | | |
75 | | - | |
76 | | - | |
77 | | - | |
78 | | - | |
79 | | - | |
80 | | - | |
81 | | - | |
82 | | - | |
83 | | - | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
84 | 91 | | |
85 | 92 | | |
86 | 93 | | |
| |||
90 | 97 | | |
91 | 98 | | |
92 | 99 | | |
93 | | - | |
| 100 | + | |
94 | 101 | | |
95 | | - | |
| 102 | + | |
96 | 103 | | |
97 | 104 | | |
98 | | - | |
99 | | - | |
100 | | - | |
101 | | - | |
102 | | - | |
103 | | - | |
104 | | - | |
105 | | - | |
106 | | - | |
107 | | - | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
| 113 | + | |
108 | 114 | | |
109 | 115 | | |
110 | 116 | | |
| |||
114 | 120 | | |
115 | 121 | | |
116 | 122 | | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
0 commit comments