_ Git - dnssec-prover/blob - src/validation.rs

   1 //! Utilities to deserialize and validate RFC 9102 proofs
   2
   3 use alloc::borrow::ToOwned;
   4 use alloc::vec::Vec;
   5 use alloc::vec;
   6 use core::cmp::{self, Ordering};
   7
   8 use ring::signature;
   9
  10 use crate::base32;
  11 use crate::crypto;
  12 use crate::rr::*;
  13 use crate::ser::write_name;
  14
  15 /// Gets the trusted root anchors
  16 ///
  17 /// These are available at <https://data.iana.org/root-anchors/root-anchors.xml>
  18 pub fn root_hints() -> Vec<DS> {
  19         #[allow(unused_mut)]
  20         let mut res = vec![DS {
  21                 name: ".".try_into().unwrap(), key_tag: 19036, alg: 8, digest_type: 2,
  22                 digest: hex_lit::hex!("49AAC11D7B6F6446702E54A1607371607A1A41855200FD2CE1CDDE32F24E8FB5").to_vec(),
  23         }, DS {
  24                 name: ".".try_into().unwrap(), key_tag: 20326, alg: 8, digest_type: 2,
  25                 digest: hex_lit::hex!("E06D44B80B8F1D39A95C0B0D7C65D08458E880409BBC683457104237C7F8EC8D").to_vec(),
  26         }];
  27         // In tests, add the trust anchor from RFC 9102
  28         #[cfg(test)]
  29         res.push(DS {
  30                 name: ".".try_into().unwrap(), key_tag: 47005, alg: 13, digest_type: 2,
  31                 digest: hex_lit::hex!("2eb6e9f2480126691594d649a5a613de3052e37861634641bb568746f2ffc4d4").to_vec(),
  32         });
  33         res
  34 }
  35
  36 #[derive(Debug, PartialEq)]
  37 /// An error when validating DNSSEC signatures or other data
  38 pub enum ValidationError {
  39         /// An algorithm used in signing was not supported.
  40         ///
  41         /// In general DNS usage the resulting data should be used anyway, as we were able to verify
  42         /// that a zone wished to use the unsupported algorithm.
  43         ///
  44         /// However, in cases where signing is mandatory, this can be treated as an error.
  45         UnsupportedAlgorithm,
  46         /// The provided data was invalid or signatures did not validate.
  47         Invalid,
  48 }
  49
  50 pub(crate) fn bytes_to_rsa_pk<'a>(pubkey: &'a [u8])
  51 -> Result<signature::RsaPublicKeyComponents<&'a [u8]>, ()> {
  52         if pubkey.len() <= 3 { return Err(()); }
  53
  54         let mut pos = 0;
  55         let exponent_length;
  56         if pubkey[0] == 0 {
  57                 exponent_length = ((pubkey[1] as usize) << 8) | (pubkey[2] as usize);
  58                 pos += 3;
  59         } else {
  60                 exponent_length = pubkey[0] as usize;
  61                 pos += 1;
  62         }
  63
  64         if pubkey.len() <= pos + exponent_length { return Err(()); }
  65         Ok(signature::RsaPublicKeyComponents {
  66                 n: &pubkey[pos + exponent_length..],
  67                 e: &pubkey[pos..pos + exponent_length]
  68         })
  69 }
  70
  71 fn verify_rrsig<'a, RR: Record, Keys>(sig: &RRSig, dnskeys: Keys, mut records: Vec<&RR>)
  72 -> Result<(), ValidationError>
  73 where Keys: IntoIterator<Item = &'a DnsKey> {
  74         for record in records.iter() {
  75                 if sig.ty != record.ty() { return Err(ValidationError::Invalid); }
  76         }
  77         for dnskey in dnskeys.into_iter() {
  78                 if dnskey.key_tag() == sig.key_tag {
  79                         // Protocol must be 3, otherwise its not DNSSEC
  80                         if dnskey.protocol != 3 { continue; }
  81                         // The ZONE flag must be set if we're going to validate RRs with this key.
  82                         if dnskey.flags & 0b1_0000_0000 == 0 { continue; }
  83                         if dnskey.alg != sig.alg { continue; }
  84
  85                         let mut signed_data = Vec::with_capacity(2048);
  86                         signed_data.extend_from_slice(&sig.ty.to_be_bytes());
  87                         signed_data.extend_from_slice(&sig.alg.to_be_bytes());
  88                         signed_data.extend_from_slice(&sig.labels.to_be_bytes());
  89                         signed_data.extend_from_slice(&sig.orig_ttl.to_be_bytes());
  90                         signed_data.extend_from_slice(&sig.expiration.to_be_bytes());
  91                         signed_data.extend_from_slice(&sig.inception.to_be_bytes());
  92                         signed_data.extend_from_slice(&sig.key_tag.to_be_bytes());
  93                         write_name(&mut signed_data, &sig.key_name);
  94
  95                         records.sort_unstable();
  96
  97                         for record in records.iter() {
  98                                 let record_labels = record.name().labels() as usize;
  99                                 let labels = sig.labels.into();
 100                                 // For NSec types, the name should already match the wildcard, so we don't do any
 101                                 // filtering here. This is relied upon in `verify_rr_stream` to check whether an
 102                                 // NSec record is matching via wildcard (as otherwise we'd allow a resolver to
 103                                 // change the name out from under us and change the wildcard to something else).
 104                                 if record.ty() != NSec::TYPE && record_labels != labels {
 105                                         if record_labels < labels { return Err(ValidationError::Invalid); }
 106                                         let signed_name = record.name().trailing_n_labels(sig.labels);
 107                                         debug_assert!(signed_name.is_some());
 108                                         if let Some(name) = signed_name {
 109                                                 signed_data.extend_from_slice(b"\x01*");
 110                                                 write_name(&mut signed_data, name);
 111                                         } else { return Err(ValidationError::Invalid); }
 112                                 } else {
 113                                         write_name(&mut signed_data, record.name());
 114                                 }
 115                                 signed_data.extend_from_slice(&record.ty().to_be_bytes());
 116                                 signed_data.extend_from_slice(&1u16.to_be_bytes()); // The INternet class
 117                                 signed_data.extend_from_slice(&sig.orig_ttl.to_be_bytes());
 118                                 record.write_u16_len_prefixed_data(&mut signed_data);
 119                         }
 120
 121                         let sig_validation = match sig.alg {
 122                                 8|10 => {
 123                                         let alg = if sig.alg == 8 {
 124                                                 &signature::RSA_PKCS1_1024_8192_SHA256_FOR_LEGACY_USE_ONLY
 125                                         } else {
 126                                                 &signature::RSA_PKCS1_1024_8192_SHA512_FOR_LEGACY_USE_ONLY
 127                                         };
 128                                         bytes_to_rsa_pk(&dnskey.pubkey).map_err(|_| ValidationError::Invalid)?
 129                                                 .verify(alg, &signed_data, &sig.signature)
 130                                                 .map_err(|_| ValidationError::Invalid)
 131                                 },
 132                                 13|14 => {
 133                                         let alg = if sig.alg == 13 {
 134                                                 &signature::ECDSA_P256_SHA256_FIXED
 135                                         } else {
 136                                                 &signature::ECDSA_P384_SHA384_FIXED
 137                                         };
 138
 139                                         // Add 0x4 identifier to the ECDSA pubkey as expected by ring.
 140                                         let mut key = Vec::with_capacity(dnskey.pubkey.len() + 1);
 141                                         key.push(0x4);
 142                                         key.extend_from_slice(&dnskey.pubkey);
 143
 144                                         signature::UnparsedPublicKey::new(alg, &key)
 145                                                 .verify(&signed_data, &sig.signature)
 146                                                 .map_err(|_| ValidationError::Invalid)
 147                                 },
 148                                 15 => {
 149                                         signature::UnparsedPublicKey::new(&signature::ED25519, &dnskey.pubkey)
 150                                                 .verify(&signed_data, &sig.signature)
 151                                                 .map_err(|_| ValidationError::Invalid)
 152                                 },
 153                                 _ => return Err(ValidationError::UnsupportedAlgorithm),
 154                         };
 155                         #[cfg(fuzzing)] {
 156                                 // When fuzzing, treat any signature starting with a 1 as valid, but only after
 157                                 // parsing and checking signatures to give that code a chance to panic.
 158                                 if sig.signature.get(0) == Some(&1) {
 159                                         return Ok(());
 160                                 }
 161                         }
 162                         sig_validation?;
 163
 164                         return Ok(());
 165                 }
 166         }
 167         Err(ValidationError::Invalid)
 168 }
 169
 170 fn verify_dnskey_rrsig<'a, T, I>(sig: &RRSig, dses: T, records: Vec<&DnsKey>)
 171 -> Result<(), ValidationError>
 172 where T: IntoIterator<IntoIter = I>, I: Iterator<Item = &'a DS> + Clone {
 173         let mut validated_dnskeys = Vec::with_capacity(records.len());
 174         let dses = dses.into_iter();
 175
 176         let mut had_known_digest_type = false;
 177         let mut had_ds = false;
 178         for ds in dses.clone() {
 179                 had_ds = true;
 180                 if ds.digest_type == 1 || ds.digest_type == 2 || ds.digest_type == 4 {
 181                         had_known_digest_type = true;
 182                         break;
 183                 }
 184         }
 185         if !had_ds { return Err(ValidationError::Invalid); }
 186         if !had_known_digest_type { return Err(ValidationError::UnsupportedAlgorithm); }
 187
 188         for dnskey in records.iter() {
 189                 // Only use SHA1 DS records if we don't have any SHA256/SHA384 DS RRs.
 190                 let trust_sha1 = dses.clone().all(|ds| ds.digest_type != 2 && ds.digest_type != 4);
 191                 for ds in dses.clone() {
 192                         if ds.alg != dnskey.alg { continue; }
 193                         if dnskey.key_tag() == ds.key_tag {
 194                                 let mut ctx = match ds.digest_type {
 195                                         1 if trust_sha1 => crypto::hash::Hasher::sha1(),
 196                                         2 => crypto::hash::Hasher::sha256(),
 197                                         // TODO: 4 => crypto::hash::Hasher::sha384(),
 198                                         _ => continue,
 199                                 };
 200                                 write_name(&mut ctx, &dnskey.name);
 201                                 ctx.update(&dnskey.flags.to_be_bytes());
 202                                 ctx.update(&dnskey.protocol.to_be_bytes());
 203                                 ctx.update(&dnskey.alg.to_be_bytes());
 204                                 ctx.update(&dnskey.pubkey);
 205                                 let hash = ctx.finish();
 206                                 if hash.as_ref() == &ds.digest {
 207                                         validated_dnskeys.push(*dnskey);
 208                                         break;
 209                                 }
 210                         }
 211                 }
 212         }
 213         verify_rrsig(sig, validated_dnskeys.iter().map(|k| *k), records)
 214 }
 215
 216 /// Given a set of [`RR`]s, [`verify_rr_stream`] checks what it can and returns the set of
 217 /// non-[`RRSig`]/[`DnsKey`]/[`DS`] records which it was able to verify using this struct.
 218 ///
 219 /// It also contains signing and expiry times, which must be validated before considering the
 220 /// contained records verified.
 221 #[derive(Debug, Clone)]
 222 pub struct VerifiedRRStream<'a> {
 223         /// The set of verified [`RR`]s, not including [`DnsKey`], [`RRSig`], [`NSec`], and [`NSec3`]
 224         /// records.
 225         ///
 226         /// These are not valid unless the current UNIX time is between [`Self::valid_from`] and
 227         /// [`Self::expires`].
 228         pub verified_rrs: Vec<&'a RR>,
 229         /// The latest [`RRSig::inception`] of all the [`RRSig`]s validated to verify
 230         /// [`Self::verified_rrs`].
 231         ///
 232         /// Any records in [`Self::verified_rrs`] should not be considered valid unless this is before
 233         /// the current UNIX time.
 234         ///
 235         /// While the field here is a u64, the algorithm used to identify rollovers will fail in 2133.
 236         pub valid_from: u64,
 237         /// The earliest [`RRSig::expiration`] of all the [`RRSig`]s validated to verify
 238         /// [`Self::verified_rrs`].
 239         ///
 240         /// Any records in [`Self::verified_rrs`] should not be considered valid unless this is after
 241         /// the current UNIX time.
 242         ///
 243         /// While the field here is a u64, the algorithm used to identify rollovers will fail in 2133.
 244         pub expires: u64,
 245         /// The minimum [`RRSig::orig_ttl`] of all the [`RRSig`]s validated to verify
 246         /// [`Self::verified_rrs`].
 247         ///
 248         /// Any caching of [`Self::verified_rrs`] must not last longer than this value, in seconds.
 249         pub max_cache_ttl: u32,
 250 }
 251
 252 fn resolve_time(time: u32) -> u64 {
 253         // RFC 2065 was published in January 1997, so we arbitrarily use that as a cutoff and assume
 254         // any timestamps before then are actually past 2106 instead.
 255         // We ignore leap years for simplicity.
 256         if time < 60*60*24*365*27 {
 257                 (time as u64) + (u32::MAX as u64)
 258         } else {
 259                 time.into()
 260         }
 261 }
 262
 263 fn nsec_ord(a: &str, b: &str) -> Ordering {
 264         let mut a_label_iter = a.rsplit(".");
 265         let mut b_label_iter = b.rsplit(".");
 266         loop {
 267                 match (a_label_iter.next(), b_label_iter.next()) {
 268                         (Some(_), None) => return Ordering::Greater,
 269                         (None, Some(_)) => return Ordering::Less,
 270                         (Some(a_label), Some(b_label)) => {
 271                                 let mut a_bytes = a_label.bytes();
 272                                 let mut b_bytes = b_label.bytes();
 273                                 loop {
 274                                         match (a_bytes.next(), b_bytes.next()) {
 275                                                 (Some(_), None) => return Ordering::Greater,
 276                                                 (None, Some(_)) => return Ordering::Less,
 277                                                 (Some(mut a), Some(mut b)) => {
 278                                                         if a >= 'A' as u8 && a <= 'Z' as u8 {
 279                                                                 a += 'a' as u8 - 'A' as u8;
 280                                                         }
 281                                                         if b >= 'A' as u8 && b <= 'Z' as u8 {
 282                                                                 b += 'a' as u8 - 'A' as u8;
 283                                                         }
 284                                                         if a != b { return a.cmp(&b); }
 285                                                 },
 286                                                 (None, None) => break,
 287                                         }
 288                                 }
 289                         },
 290                         (None, None) => return Ordering::Equal,
 291                 }
 292         }
 293 }
 294 fn nsec_ord_extra<T, U>(a: &(&str, T, U), b: &(&str, T, U)) -> Ordering {
 295         nsec_ord(a.0, b.0)
 296 }
 297
 298 #[cfg(test)]
 299 #[test]
 300 fn rfc4034_sort_test() {
 301         // Test nsec_ord based on RFC 4034 section 6.1's example
 302         // Note that we replace the \200 example  with \7f as I have no idea what \200 is
 303         let v = vec!["example.", "a.example.", "yljkjljk.a.example.", "Z.a.example.",
 304                 "zABC.a.EXAMPLE.", "z.example.", "\001.z.example.", "*.z.example.", "\x7f.z.example."];
 305         let mut sorted = v.clone();
 306         sorted.sort_unstable_by(|a, b| nsec_ord(*a, *b));
 307         assert_eq!(sorted, v);
 308 }
 309
 310 /// Verifies the given set of resource records.
 311 ///
 312 /// Given a set of arbitrary records, this attempts to validate DNSSEC data from the [`root_hints`]
 313 /// through to any supported non-DNSSEC record types.
 314 ///
 315 /// All records which could be validated are returned, though if an error is found validating any
 316 /// contained record, only `Err` will be returned.
 317 ///
 318 /// You MUST check that the current UNIX time is between [`VerifiedRRStream::valid_from`] and
 319 /// [`VerifiedRRStream::expires`].
 320 pub fn verify_rr_stream<'a>(inp: &'a [RR]) -> Result<VerifiedRRStream<'a>, ValidationError> {
 321         let mut zone = ".";
 322         let mut res = Vec::new();
 323         let mut rrs_needing_non_existence_proofs = Vec::new();
 324         let mut pending_ds_sets = Vec::with_capacity(1);
 325         let mut latest_inception = 0;
 326         let mut earliest_expiry = u64::MAX;
 327         let mut min_ttl = u32::MAX;
 328         'next_zone: while zone == "." || !pending_ds_sets.is_empty() {
 329                 let mut found_unsupported_alg = false;
 330                 let next_ds_set;
 331                 if let Some((next_zone, ds_set)) = pending_ds_sets.pop() {
 332                         next_ds_set = Some(ds_set);
 333                         zone = next_zone;
 334                 } else {
 335                         debug_assert_eq!(zone, ".");
 336                         next_ds_set = None;
 337                 }
 338
 339                 for rrsig in inp.iter()
 340                         .filter_map(|rr| if let RR::RRSig(sig) = rr { Some(sig) } else { None })
 341                         .filter(|rrsig| rrsig.name.as_str() == zone && rrsig.ty == DnsKey::TYPE)
 342                 {
 343                         let dnskeys = inp.iter()
 344                                 .filter_map(|rr| if let RR::DnsKey(dnskey) = rr { Some(dnskey) } else { None })
 345                                 .filter(move |dnskey| dnskey.name.as_str() == zone);
 346                         let dnskeys_verified = if zone == "." {
 347                                 verify_dnskey_rrsig(rrsig, &root_hints(), dnskeys.clone().collect())
 348                         } else {
 349                                 debug_assert!(next_ds_set.is_some());
 350                                 if next_ds_set.is_none() { break 'next_zone; }
 351                                 verify_dnskey_rrsig(rrsig, next_ds_set.clone().unwrap(), dnskeys.clone().collect())
 352                         };
 353                         if dnskeys_verified.is_ok() {
 354                                 latest_inception = cmp::max(latest_inception, resolve_time(rrsig.inception));
 355                                 earliest_expiry = cmp::min(earliest_expiry, resolve_time(rrsig.expiration));
 356                                 min_ttl = cmp::min(min_ttl, rrsig.orig_ttl);
 357                                 for rrsig in inp.iter()
 358                                         .filter_map(|rr| if let RR::RRSig(sig) = rr { Some(sig) } else { None })
 359                                         .filter(move |rrsig| rrsig.key_name.as_str() == zone && rrsig.ty != DnsKey::TYPE)
 360                                 {
 361                                         if !rrsig.name.ends_with(zone) { return Err(ValidationError::Invalid); }
 362                                         let signed_records = inp.iter()
 363                                                 .filter(|rr| rr.name() == &rrsig.name && rr.ty() == rrsig.ty);
 364                                         verify_rrsig(rrsig, dnskeys.clone(), signed_records.clone().collect())?;
 365                                         latest_inception = cmp::max(latest_inception, resolve_time(rrsig.inception));
 366                                         earliest_expiry = cmp::min(earliest_expiry, resolve_time(rrsig.expiration));
 367                                         min_ttl = cmp::min(min_ttl, rrsig.orig_ttl);
 368                                         match rrsig.ty {
 369                                                 // RRSigs shouldn't cover child `DnsKey`s or other `RRSig`s
 370                                                 RRSig::TYPE|DnsKey::TYPE => return Err(ValidationError::Invalid),
 371                                                 DS::TYPE => {
 372                                                         if !pending_ds_sets.iter().any(|(pending_zone, _)| pending_zone == &rrsig.name.as_str()) {
 373                                                                 pending_ds_sets.push((
 374                                                                         &rrsig.name,
 375                                                                         signed_records.filter_map(|rr|
 376                                                                                 if let RR::DS(ds) = rr { Some(ds) }
 377                                                                                 else { debug_assert!(false, "We already filtered by type"); None })
 378                                                                 ));
 379                                                         }
 380                                                 },
 381                                                 _ => {
 382                                                         if rrsig.labels != rrsig.name.labels() && rrsig.ty != NSec::TYPE {
 383                                                                 if rrsig.ty == NSec3::TYPE {
 384                                                                         // NSEC3 records should never appear on wildcards, so treat the
 385                                                                         // whole proof as invalid
 386                                                                         return Err(ValidationError::Invalid);
 387                                                                 }
 388                                                                 // If the RR used a wildcard, we need an NSEC/NSEC3 proof, which we
 389                                                                 // check for at the end. Note that the proof should be for the
 390                                                                 // "next closest" name, i.e. if the name here is a.b.c and it was
 391                                                                 // signed as *.c, we want a proof for nothing being in b.c.
 392                                                                 // Alternatively, if it was signed as *.b.c, we'd want a proof for
 393                                                                 // a.b.c.
 394                                                                 let proof_name = rrsig.name.trailing_n_labels(rrsig.labels + 1)
 395                                                                         .ok_or(ValidationError::Invalid)?;
 396                                                                 rrs_needing_non_existence_proofs.push((proof_name, &rrsig.key_name, rrsig.ty));
 397                                                         }
 398                                                         for record in signed_records {
 399                                                                 if !res.contains(&record) { res.push(record); }
 400                                                         }
 401                                                 },
 402                                         }
 403                                 }
 404                                 continue 'next_zone;
 405                         } else if dnskeys_verified == Err(ValidationError::UnsupportedAlgorithm) {
 406                                 // There may be redundant signatures by different keys, where one we don't supprt
 407                                 // and another we do. Ignore ones we don't support, but if there are no more,
 408                                 // return UnsupportedAlgorithm
 409                                 found_unsupported_alg = true;
 410                         } else {
 411                                 // We don't explicitly handle invalid signatures here, instead we move on to the
 412                                 // next RRSig (if there is one) and return `Invalid` if no `RRSig`s match.
 413                         }
 414                 }
 415                 // No RRSigs were able to verify our DnsKey set
 416                 if found_unsupported_alg {
 417                         return Err(ValidationError::UnsupportedAlgorithm);
 418                 } else {
 419                         return Err(ValidationError::Invalid);
 420                 }
 421         }
 422         if res.is_empty() { return Err(ValidationError::Invalid) }
 423         if latest_inception >= earliest_expiry { return Err(ValidationError::Invalid) }
 424
 425         // First sort the proofs we're looking for so that the retains below avoid shifting.
 426         rrs_needing_non_existence_proofs.sort_unstable_by(nsec_ord_extra);
 427         'proof_search_loop: while let Some((name, zone, ty)) = rrs_needing_non_existence_proofs.pop() {
 428                 let nsec_search = res.iter()
 429                         .filter_map(|rr| if let RR::NSec(nsec) = rr { Some(nsec) } else { None })
 430                         .filter(|nsec| nsec.name.ends_with(zone.as_str()));
 431                 for nsec in nsec_search {
 432                         let name_matches = nsec.name.as_str() == name;
 433                         let name_contained = nsec_ord(&nsec.name,  &name) != Ordering::Greater &&
 434                                 nsec_ord(&nsec.next_name, name) == Ordering::Greater;
 435                         if (name_matches && !nsec.types.contains_type(ty)) || name_contained {
 436                                 rrs_needing_non_existence_proofs
 437                                         .retain(|(n, _, t)| *n != name || (name_matches && nsec.types.contains_type(*t)));
 438                                 continue 'proof_search_loop;
 439                         }
 440                 }
 441                 let nsec3_search = res.iter()
 442                         .filter_map(|rr| if let RR::NSec3(nsec3) = rr { Some(nsec3) } else { None })
 443                         .filter(|nsec3| nsec3.name.ends_with(zone.as_str()));
 444
 445                 // Because we will only ever have two entries, a Vec is simpler than a map here.
 446                 let mut nsec3params_to_name_hash = Vec::new();
 447                 for nsec3 in nsec3_search.clone() {
 448                         if nsec3.hash_iterations > 2500 {
 449                                 // RFC 5115 places different limits on the iterations based on the signature key
 450                                 // length, but we just use 2500 for all key types
 451                                 continue;
 452                         }
 453                         if nsec3.hash_algo != 1 { continue; }
 454                         if nsec3params_to_name_hash.iter()
 455                                 .any(|(iterations, salt, _)| *iterations == nsec3.hash_iterations && *salt == &nsec3.salt)
 456                         { continue; }
 457
 458                         let mut hasher = crypto::hash::Hasher::sha1();
 459                         write_name(&mut hasher, &name);
 460                         hasher.update(&nsec3.salt);
 461                         for _ in 0..nsec3.hash_iterations {
 462                                 let res = hasher.finish();
 463                                 hasher = crypto::hash::Hasher::sha1();
 464                                 hasher.update(res.as_ref());
 465                                 hasher.update(&nsec3.salt);
 466                         }
 467                         nsec3params_to_name_hash.push((nsec3.hash_iterations, &nsec3.salt, hasher.finish()));
 468
 469                         if nsec3params_to_name_hash.len() >= 2 {
 470                                 // We only allow for up to two sets of hash_iterations/salt per zone. Beyond that
 471                                 // we assume this is a malicious DoSing proof and give up.
 472                                 break;
 473                         }
 474                 }
 475                 for nsec3 in nsec3_search {
 476                         if nsec3.flags != 0 {
 477                                 // This is an opt-out NSEC3 (or has unknown flags set). Thus, we shouldn't rely on
 478                                 // it as proof that some record doesn't exist.
 479                                 continue;
 480                         }
 481                         if nsec3.hash_algo != 1 { continue; }
 482                         let name_hash = if let Some((_, _, hash)) =
 483                                 nsec3params_to_name_hash.iter()
 484                                 .find(|(iterations, salt, _)| *iterations == nsec3.hash_iterations && *salt == &nsec3.salt)
 485                         {
 486                                 hash
 487                         } else { continue };
 488
 489                         let (start_hash_base32, _) = nsec3.name.split_once(".")
 490                                 .unwrap_or_else(|| { debug_assert!(false); ("", "")});
 491                         let start_hash = if let Ok(start_hash) = base32::decode(start_hash_base32) {
 492                                 start_hash
 493                         } else { continue };
 494                         if start_hash.len() != 20 || nsec3.next_name_hash.len() != 20 { continue; }
 495
 496                         let hash_matches = &start_hash[..] == name_hash.as_ref();
 497                         let hash_contained =
 498                                 &start_hash[..] <= name_hash.as_ref() && &nsec3.next_name_hash[..] > name_hash.as_ref();
 499                         if (hash_matches && !nsec3.types.contains_type(ty)) || hash_contained {
 500                                 rrs_needing_non_existence_proofs
 501                                         .retain(|(n, _, t)| *n != name || (hash_matches && nsec3.types.contains_type(*t)));
 502                                 continue 'proof_search_loop;
 503                         }
 504                 }
 505                 return Err(ValidationError::Invalid);
 506         }
 507
 508         res.retain(|rr| rr.ty() != NSec::TYPE && rr.ty() != NSec3::TYPE);
 509
 510         Ok(VerifiedRRStream {
 511                 verified_rrs: res, valid_from: latest_inception, expires: earliest_expiry,
 512                 max_cache_ttl: min_ttl,
 513         })
 514 }
 515
 516 impl<'a> VerifiedRRStream<'a> {
 517         /// Given a name, resolve any [`CName`] records and return any verified records which were
 518         /// pointed to by the original name.
 519         ///
 520         /// Note that because of [`CName`]s, the [`RR::name`] in the returned records may or may not be
 521         /// equal to `name`.
 522         ///
 523         /// You MUST still check that the current UNIX time is between
 524         /// [`VerifiedRRStream::valid_from`] and [`VerifiedRRStream::expires`] before
 525         /// using any records returned here.
 526         pub fn resolve_name<'b>(&self, name_param: &'b Name) -> Vec<&'a RR> where 'a: 'b {
 527                 let mut dname_name;
 528                 let mut name = name_param;
 529                 loop {
 530                         let mut cname_search = self.verified_rrs.iter()
 531                                 .filter(|rr| rr.name() == name)
 532                                 .filter_map(|rr| if let RR::CName(cn) = rr { Some(cn) } else { None });
 533                         if let Some(cname) = cname_search.next() {
 534                                 name = &cname.canonical_name;
 535                                 continue;
 536                         }
 537
 538                         let mut dname_search = self.verified_rrs.iter()
 539                                 .filter(|rr| name.ends_with(&**rr.name()))
 540                                 .filter_map(|rr| if let RR::DName(dn) = rr { Some(dn) } else { None });
 541                         if let Some(dname) = dname_search.next() {
 542                                 let prefix = name.strip_suffix(&*dname.name).expect("We just filtered for this");
 543                                 let resolved_name = prefix.to_owned() + &dname.delegation_name;
 544                                 dname_name = if let Ok(name) = resolved_name.try_into() {
 545                                         name
 546                                 } else {
 547                                         // This should only happen if the combined name ended up being too long
 548                                         return Vec::new();
 549                                 };
 550                                 name = &dname_name;
 551                                 continue;
 552                         }
 553
 554                         return self.verified_rrs.iter().filter(|rr| rr.name() == name).map(|rr| *rr).collect();
 555                 }
 556         }
 557 }
 558
 559 #[cfg(test)]
 560 mod tests {
 561         #![allow(deprecated)]
 562
 563         use super::*;
 564
 565         use alloc::borrow::ToOwned;
 566
 567         use crate::ser::{parse_rr_stream, write_rr};
 568
 569         use hex_conservative::FromHex;
 570         use rand::seq::SliceRandom;
 571
 572         fn root_dnskey() -> (Vec<DnsKey>, Vec<RR>) {
 573                 let dnskeys = vec![DnsKey {
 574                         name: ".".try_into().unwrap(), flags: 256, protocol: 3, alg: 8,
 575                         pubkey: base64::decode("AwEAAentCcIEndLh2QSK+pHFq/PkKCwioxt75d7qNOUuTPMo0Fcte/NbwDPbocvbZ/eNb5RV/xQdapaJASQ/oDLsqzD0H1+JkHNuuKc2JLtpMxg4glSE4CnRXT2CnFTW5IwOREL+zeqZHy68OXy5ngW5KALbevRYRg/q2qFezRtCSQ0knmyPwgFsghVYLKwi116oxwEU5yZ6W7npWMxt5Z+Qs8diPNWrS5aXLgJtrWUGIIuFfuZwXYziGRP/z3o1EfMo9zZU19KLopkoLXX7Ls/diCXdSEdJXTtFA8w0/OKQviuJebfKscoElCTswukVZ1VX5gbaFEo2xWhHJ9Uo63wYaTk=").unwrap(),
 576                 }, DnsKey {
 577                         name: ".".try_into().unwrap(), flags: 257, protocol: 3, alg: 8,
 578                         pubkey: base64::decode("AwEAAaz/tAm8yTn4Mfeh5eyI96WSVexTBAvkMgJzkKTOiW1vkIbzxeF3+/4RgWOq7HrxRixHlFlExOLAJr5emLvN7SWXgnLh4+B5xQlNVz8Og8kvArMtNROxVQuCaSnIDdD5LKyWbRd2n9WGe2R8PzgCmr3EgVLrjyBxWezF0jLHwVN8efS3rCj/EWgvIWgb9tarpVUDK/b58Da+sqqls3eNbuv7pr+eoZG+SrDK6nWeL3c6H5Apxz7LjVc1uTIdsIXxuOLYA4/ilBmSVIzuDWfdRUfhHdY6+cn8HFRm+2hM8AnXGXws9555KrUB5qihylGa8subX2Nn6UwNR1AkUTV74bU=").unwrap(),
 579                 }];
 580                 let dnskey_rrsig = RRSig {
 581                         name: ".".try_into().unwrap(), ty: DnsKey::TYPE, alg: 8, labels: 0, orig_ttl: 172800,
 582                         expiration: 1710201600, inception: 1708387200, key_tag: 20326, key_name: ".".try_into().unwrap(),
 583                         signature: base64::decode("GIgwndRLXgt7GX/JNEqSvpYw5ij6EgeQivdC/hmNNuOd2MCQRSxZx2DdLZUoK0tmn2XmOd0vYP06DgkIMUpIXcBstw/Um55WQhvBkBTPIhuB3UvKYJstmq+8hFHWVJwKHTg9xu38JA43VgCV2AbzurbzNOLSgq+rDPelRXzpLr5aYE3y+EuvL+I5gusm4MMajnp5S+ioWOL+yWOnQE6XKoDmlrfcTrYfRSxRtJewPmGeCbNdwEUBOoLUVdkCjQG4uFykcKL40cY8EOhVmM3kXAyuPuNe2Xz1QrIcVad/U4FDns+hd8+W+sWnr8QAtIUFT5pBjXooGS02m6eMdSeU6g==").unwrap(),
 584                 };
 585                 let root_hints = root_hints();
 586                 verify_dnskey_rrsig(&dnskey_rrsig, &root_hints, dnskeys.iter().collect()).unwrap();
 587                 let rrs = vec![dnskeys[0].clone().into(), dnskeys[1].clone().into(), dnskey_rrsig.into()];
 588                 (dnskeys, rrs)
 589         }
 590
 591         fn com_dnskey() -> (Vec<DnsKey>, Vec<RR>) {
 592                 let root_dnskeys = root_dnskey().0;
 593                 let mut com_ds = vec![DS {
 594                         name: "com.".try_into().unwrap(), key_tag: 19718, alg: 13, digest_type: 2,
 595                         digest: Vec::from_hex("8ACBB0CD28F41250A80A491389424D341522D946B0DA0C0291F2D3D771D7805A").unwrap(),
 596                 }];
 597                 let ds_rrsig = RRSig {
 598                         name: "com.".try_into().unwrap(), ty: DS::TYPE, alg: 8, labels: 1, orig_ttl: 86400,
 599                         expiration: 1710133200, inception: 1709006400, key_tag: 30903, key_name: ".".try_into().unwrap(),
 600                         signature: base64::decode("WEf7UPqoulxab83nVy/518TpZcC3og0paZ7Lag5iOqGdmGvZnB0yQ42s25iqB/mL6ZU+sSUwYoclcW36Tv/yHgS813T2wOgQ4Jh01aCsjkjvpgpbtnDTxg8bL30LV1obhQhOBFu5SqD4FOMeaV9Fqcff7Z72vC1UdVy0us2Kbhti3uQYrKQlGYcDMlgQAyOE0WEaLT74YfKFTpZvIK0UfUfdUAAiM0Z6PUi7BoyToIN+eKKPvny/+4BP9iVvAOmPMgr+kq/qIWOdsvUaq/S+k7VEPTJEi+i2gODgbMC+3EZZpZie9kv1EEAwGwBtGjE7bLlA1QUbuVeTgczIzrYriQ==").unwrap(),
 601                 };
 602                 verify_rrsig(&ds_rrsig, &root_dnskeys, com_ds.iter().collect()).unwrap();
 603                 let dnskeys = vec![DnsKey {
 604                         name: "com.".try_into().unwrap(), flags: 256, protocol: 3, alg: 13,
 605                         pubkey: base64::decode("5i9qjJgyH+9MBz7VO269/srLQB/xRRllyUoVq8oLBZshPe4CGzDSFGnXAM3L/QPzB9ULpJuuy7jcxmBZ5Ebo7A==").unwrap(),
 606                 }, DnsKey {
 607                         name: "com.".try_into().unwrap(), flags: 257, protocol: 3, alg: 13,
 608                         pubkey: base64::decode("tx8EZRAd2+K/DJRV0S+hbBzaRPS/G6JVNBitHzqpsGlz8huE61Ms9ANe6NSDLKJtiTBqfTJWDAywEp1FCsEINQ==").unwrap(),
 609                 }];
 610                 let dnskey_rrsig = RRSig {
 611                         name: "com.".try_into().unwrap(), ty: DnsKey::TYPE, alg: 13, labels: 1, orig_ttl: 86400,
 612                         expiration: 1710342155, inception: 1709045855, key_tag: 19718, key_name: "com.".try_into().unwrap(),
 613                         signature: base64::decode("lF2B9nXZn0CgytrHH6xB0NTva4G/aWvg/ypnSxJ8+ZXlvR0C4974yB+nd2ZWzWMICs/oPYMKoQHqxVjnGyu8nA==").unwrap(),
 614                 };
 615                 verify_dnskey_rrsig(&dnskey_rrsig, &com_ds, dnskeys.iter().collect()).unwrap();
 616                 let rrs = vec![com_ds.pop().unwrap().into(), ds_rrsig.into(),
 617                         dnskeys[0].clone().into(), dnskeys[1].clone().into(), dnskey_rrsig.into()];
 618                 (dnskeys, rrs)
 619         }
 620
 621         fn ninja_dnskey() -> (Vec<DnsKey>, Vec<RR>) {
 622                 let root_dnskeys = root_dnskey().0;
 623                 let mut ninja_ds = vec![DS {
 624                         name: "ninja.".try_into().unwrap(), key_tag: 46082, alg: 8, digest_type: 2,
 625                         digest: Vec::from_hex("C8F816A7A575BDB2F997F682AAB2653BA2CB5EDDB69B036A30742A33BEFAF141").unwrap(),
 626                 }];
 627                 let ds_rrsig = RRSig {
 628                         name: "ninja.".try_into().unwrap(), ty: DS::TYPE, alg: 8, labels: 1, orig_ttl: 86400,
 629                         expiration: 1710133200, inception: 1709006400, key_tag: 30903, key_name: ".".try_into().unwrap(),
 630                         signature: base64::decode("4fLiekxJy1tHW3sMzmPA/i4Mn6TYoCHDKbcvk3t3N6IXMkACSgU+6P5NxSMxo5Xa7YL5UuE1ICDKxel5o5WzyvjaRQA//hZomjwnCzqyG2XoS6Va8cULSOA5jOU153NSCvos39iHeJnuPINzbMAfsKcg6Ib/IDmNnpouQF53hQzVy+5MGLlGPUZjSO6b4GIslyKpLG0tBLKXM5rZXREPJClEY+LWKOtAS1iARqdsWmSnKxZCpgnEjmkqJBtjCus+s6AtMteBHIFyebwA7oUDNtJ3Im1dO5b6sUoGP8gUgnqdFELSLEeEhKYKpO+jSruI8g/gjNIb5C9vDwAtcSoAew==").unwrap(),
 631                 };
 632                 verify_rrsig(&ds_rrsig, &root_dnskeys, ninja_ds.iter().collect()).unwrap();
 633                 let dnskeys = vec![DnsKey {
 634                         name: "ninja.".try_into().unwrap(), flags: 256, protocol: 3, alg: 8,
 635                         pubkey: base64::decode("AwEAAb6FWe0O0qxUkA+LghF71OPWt0WNqBaCi34HCV6Agjz70RN/j7yGi3xCExM8MkzyrbXd5yYFP4X7TCGEzI5ofLNq7GVIj9laZO0WYS8DNdCMN7qkVVaYeR2UeeGsdvIJqRWzlynABAKnCzX+y5np77FBsle4cAIGxJE/0F5kn61F").unwrap(),
 636                 }, DnsKey {
 637                         name: "ninja.".try_into().unwrap(), flags: 256, protocol: 3, alg: 8,
 638                         pubkey: base64::decode("AwEAAZlkeshgX2Q9i/X4zZMc2ciKO2a3+mOiOCuYHYbwt/43XXdcHdjtOUrWFFJkGBBWsHQZ/Bg0CeUGqvUGywd3ndY5IAX+e7PnuIUlhKDcNmntcQbxhrH+cpmOoB3Xo/96JoVjurPxTuJE23I1oA+0aESc581f4pKEbTp4WI7m5xNn").unwrap(),
 639                 }, DnsKey {
 640                         name: "ninja.".try_into().unwrap(), flags: 257, protocol: 3, alg: 8,
 641                         pubkey: base64::decode("AwEAAcceTJ3Ekkmiez70L8uNVrTDrHZxXHrQHEHQ1DJZDRXDxizuSy0prDXy1yybMqcKAkPL0IruvJ9vHg5j2eHN/hM8RVqCQ1wHgLdQASyUL37VtmLuyNmuiFpYmT+njXVh/tzRHZ4cFxrLAtACWDe6YaPApnVkJ0FEcMnKCQaymBaLX02WQOYuG3XdBr5mQQTtMs/kR/oh83QBcSxyCg3KS7G8IPP6MQPK0za94gsW9zlI5rgN2gpSjbU2qViGjDhw7N3PsC37PLTSLirUmkufeMkP9sfhDjAbP7Nv6FmpTDAIRmBmV0HBT/YNBTUBP89DmEDsrYL8knjkrOaLqV5wgkk=").unwrap(),
 642                 }];
 643                 let dnskey_rrsig = RRSig {
 644                         name: "ninja.".try_into().unwrap(), ty: DnsKey::TYPE, alg: 8, labels: 1, orig_ttl: 3600,
 645                         expiration: 1710689605, inception: 1708871605, key_tag: 46082, key_name: "ninja.".try_into().unwrap(),
 646                         signature: base64::decode("kYxV1z+9Ikxqbr13N+8HFWWnAUcvHkr/dmkdf21mliUhH4cxeYCXC6a95X+YzjYQEQi3fU+S346QBDJkbFYCca5q/TzUdE7ej1B/0uTzhgNrQznm0O6sg6DI3HuqDfZp2oaBQm2C/H4vjkcUW9zxgKP8ON0KKLrZUuYelGazeGSOscjDDlmuNMD7tHhFrmK9BiiX+8sp8Cl+IE5ArP+CPXsII+P+R2QTmTqw5ovJch2FLRMRqCliEzTR/IswBI3FfegZR8h9xJ0gfyD2rDqf6lwJhD1K0aS5wxia+bgzpRIKwiGfP87GDYzkygHr83QbmZS2YG1nxlnQ2rgkqTGgXA==").unwrap(),
 647                 };
 648                 verify_dnskey_rrsig(&dnskey_rrsig, &ninja_ds, dnskeys.iter().collect()).unwrap();
 649                 let rrs = vec![ninja_ds.pop().unwrap().into(), ds_rrsig.into(),
 650                         dnskeys[0].clone().into(), dnskeys[1].clone().into(), dnskeys[2].clone().into(),
 651                         dnskey_rrsig.into()];
 652                 (dnskeys, rrs)
 653         }
 654
 655         fn mattcorallo_dnskey() -> (Vec<DnsKey>, Vec<RR>) {
 656                 let com_dnskeys = com_dnskey().0;
 657                 let mut mattcorallo_ds = vec![DS {
 658                         name: "mattcorallo.com.".try_into().unwrap(), key_tag: 25630, alg: 13, digest_type: 2,
 659                         digest: Vec::from_hex("DC608CA62BE89B3B9DB1593F9A59930D24FBA79D486E19C88A7792711EC00735").unwrap(),
 660                 }];
 661                 let ds_rrsig = RRSig {
 662                         name: "mattcorallo.com.".try_into().unwrap(), ty: DS::TYPE, alg: 13, labels: 2, orig_ttl: 86400,
 663                         expiration: 1709359258, inception: 1708750258, key_tag: 4534, key_name: "com.".try_into().unwrap(),
 664                         signature: base64::decode("VqYztN78+g170QPeFOqWFkU1ZrKIsndUYj3Y+8x1ZR1v/YGJXLQe5qkcLWjrl/vMyCgknC3Q/dhcS2ag0a7W1w==").unwrap(),
 665                 };
 666                 verify_rrsig(&ds_rrsig, &com_dnskeys, mattcorallo_ds.iter().collect()).unwrap();
 667                 let dnskeys = vec![DnsKey {
 668                         name: "mattcorallo.com.".try_into().unwrap(), flags: 257, protocol: 3, alg: 13,
 669                         pubkey: base64::decode("8BP51Etiu4V6cHvGCYqwNqCip4pvHChjEgkgG4zpdDvO9YRcTGuV/p71hAUut2/qEdxqXfUOT/082BJ/Z089DA==").unwrap(),
 670                 }, DnsKey {
 671                         name: "mattcorallo.com.".try_into().unwrap(), flags: 256, protocol: 3, alg: 13,
 672                         pubkey: base64::decode("AhUlQ8qk7413R0m4zKfTDHb/FQRlKag+ncGXxNxT+qTzSZTb9E5IGjo9VCEp6+IMqqpkd4GrXpN9AzDvlcU9Ig==").unwrap(),
 673                 }, DnsKey {
 674                         name: "mattcorallo.com.".try_into().unwrap(), flags: 256, protocol: 3, alg: 13,
 675                         pubkey: base64::decode("s165ZpubX31FC2CVeIVVvnPpTnJUoOM8CGt3wk4AtxPftYadgI8uFM43F4QaD67v8B8Vshl63frxN50dc44VHQ==").unwrap(),
 676                 }];
 677                 let dnskey_rrsig = RRSig {
 678                         name: "mattcorallo.com.".try_into().unwrap(), ty: DnsKey::TYPE, alg: 13, labels: 2, orig_ttl: 604800,
 679                         expiration:1710262250, inception: 1709047250, key_tag: 25630, key_name: "mattcorallo.com.".try_into().unwrap(),
 680                         signature: base64::decode("dMLDvNU96m+tfgpDIQPxMBJy7T0xyZDj3Wws4b4E6+g3nt5iULdWJ8Eqrj+86KLerOVt7KH4h/YcHP18hHdMGA==").unwrap(),
 681                 };
 682                 verify_dnskey_rrsig(&dnskey_rrsig, &mattcorallo_ds, dnskeys.iter().collect()).unwrap();
 683                 let rrs = vec![mattcorallo_ds.pop().unwrap().into(), ds_rrsig.into(),
 684                         dnskeys[0].clone().into(), dnskeys[1].clone().into(), dnskeys[2].clone().into(),
 685                         dnskey_rrsig.into()];
 686                 (dnskeys, rrs)
 687         }
 688
 689         fn mattcorallo_txt_record() -> (Txt, RRSig) {
 690                 let txt_resp = Txt {
 691                         name: "matt.user._bitcoin-payment.mattcorallo.com.".try_into().unwrap(),
 692                         data: "bitcoin:?b12=lno1qsgqmqvgm96frzdg8m0gc6nzeqffvzsqzrxqy32afmr3jn9ggkwg3egfwch2hy0l6jut6vfd8vpsc3h89l6u3dm4q2d6nuamav3w27xvdmv3lpgklhg7l5teypqz9l53hj7zvuaenh34xqsz2sa967yzqkylfu9xtcd5ymcmfp32h083e805y7jfd236w9afhavqqvl8uyma7x77yun4ehe9pnhu2gekjguexmxpqjcr2j822xr7q34p078gzslf9wpwz5y57alxu99s0z2ql0kfqvwhzycqq45ehh58xnfpuek80hw6spvwrvttjrrq9pphh0dpydh06qqspp5uq4gpyt6n9mwexde44qv7lstzzq60nr40ff38u27un6y53aypmx0p4qruk2tf9mjwqlhxak4znvna5y".to_owned().into_bytes(),
 693                 };
 694                 let txt_rrsig = RRSig {
 695                         name: "matt.user._bitcoin-payment.mattcorallo.com.".try_into().unwrap(),
 696                         ty: Txt::TYPE, alg: 13, labels: 5, orig_ttl: 3600, expiration: 1710182540,
 697                         inception: 1708967540, key_tag: 47959, key_name: "mattcorallo.com.".try_into().unwrap(),
 698                         signature: base64::decode("vwI89CkCzWI2Iwgl3UeiSo4GKSaKCh7/E/7nE8Hbb1WQvdpwdKSB6jE4nwM1BN4wdPhi7kxd7hyS/uGiKZjxsg==").unwrap(),
 699                 };
 700                 (txt_resp, txt_rrsig)
 701         }
 702
 703         fn bitcoin_ninja_dnskey() -> (Vec<DnsKey>, Vec<RR>) {
 704                 let ninja_dnskeys = ninja_dnskey().0;
 705                 let mut bitcoin_ninja_ds = vec![DS {
 706                         name: "bitcoin.ninja.".try_into().unwrap(), key_tag: 63175, alg: 13, digest_type: 2,
 707                         digest: Vec::from_hex("D554267D7F730B9602BF4436F46BB967EFE3C4202CA7F082F2D5DD24DF4EBDED").unwrap(),
 708                 }];
 709                 let ds_rrsig = RRSig {
 710                         name: "bitcoin.ninja.".try_into().unwrap(), ty: DS::TYPE, alg: 8, labels: 2, orig_ttl: 3600,
 711                         expiration: 1710689605, inception: 1708871605, key_tag: 34164, key_name: "ninja.".try_into().unwrap(),
 712                         signature: base64::decode("g/Xyv6cwrGlpEyhXDV1vdKpoy9ZH7HF6MK/41q0GyCrd9wL8BrzKQgwvLqOBhvfUWACJd66CJpEMZnSwH8ZDEcWYYsd8nY2giGX7In/zGz+PA35HlFqy2BgvQcWCaN5Ht/+BUTgZXHbJBEko1iWLZ1yhciD/wA+XTqS7ScQUu88=").unwrap(),
 713                 };
 714                 verify_rrsig(&ds_rrsig, &ninja_dnskeys, bitcoin_ninja_ds.iter().collect()).unwrap();
 715                 let dnskeys = vec![DnsKey {
 716                         name: "bitcoin.ninja.".try_into().unwrap(), flags: 257, protocol: 3, alg: 13,
 717                         pubkey: base64::decode("0lIZI5BH7kk75R/+1RMReQE0J2iQw0lY2aQ6eCM7F1E9ZMNcIGC1cDl5+FcAU1mP8F3Ws2FjgvCC0S2q8OBF2Q==").unwrap(),
 718                 }, DnsKey {
 719                         name: "bitcoin.ninja.".try_into().unwrap(), flags: 256, protocol: 3, alg: 13,
 720                         pubkey: base64::decode("zbm2rKgzXDtRFV0wFmnlUMdOXWcNKEjGIHsZ7bAnTzbh7TJEzPctSttCaTvdaORxLL4AiOk+VG2iXnL2UuC/xQ==").unwrap(),
 721                 }];
 722                 let dnskey_rrsig = RRSig {
 723                         name: "bitcoin.ninja.".try_into().unwrap(), ty: DnsKey::TYPE, alg: 13, labels: 2, orig_ttl: 604800,
 724                         expiration: 1709947337, inception: 1708732337, key_tag: 63175, key_name: "bitcoin.ninja.".try_into().unwrap(),
 725                         signature: base64::decode("Y3To5FZoZuBDUMtIBZXqzRtufyRqOlDqbHVcoZQitXxerCgNQ1CsVdmoFVMmZqRV5n4itINX2x+9G/31j410og==").unwrap(),
 726                 };
 727                 verify_dnskey_rrsig(&dnskey_rrsig, &bitcoin_ninja_ds, dnskeys.iter().collect()).unwrap();
 728                 let rrs = vec![bitcoin_ninja_ds.pop().unwrap().into(), ds_rrsig.into(),
 729                         dnskeys[0].clone().into(), dnskeys[1].clone().into(), dnskey_rrsig.into()];
 730                 (dnskeys, rrs)
 731         }
 732
 733         fn bitcoin_ninja_txt_record() -> (Txt, RRSig) {
 734                 let txt_resp = Txt {
 735                         name: "txt_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 736                         data: "dnssec_prover_test".to_owned().into_bytes(),
 737                 };
 738                 let txt_rrsig = RRSig {
 739                         name: "txt_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 740                         ty: Txt::TYPE, alg: 13, labels: 4, orig_ttl: 30, expiration: 1709950937,
 741                         inception: 1708735937, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 742                         signature: base64::decode("S5swe6BMTqwLBU6FH2D50j5A9i5hzli79Vlf5xB515s6YhmcqodbPZnFlN49RdBE43PKi9MJcXpHTiBxvTYBeQ==").unwrap(),
 743                 };
 744                 (txt_resp, txt_rrsig)
 745         }
 746
 747         fn bitcoin_ninja_cname_record() -> (CName, RRSig) {
 748                 let cname_resp = CName {
 749                         name: "cname_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 750                         canonical_name: "txt_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 751                 };
 752                 let cname_rrsig = RRSig {
 753                         name: "cname_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 754                         ty: CName::TYPE, alg: 13, labels: 4, orig_ttl: 30, expiration: 1709950937,
 755                         inception: 1708735937, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 756                         signature: base64::decode("S8AYftjBADKutt4XKVzqfY7EpvbanpwOGhMDk0lEDFpvNRjl0fZ1k/FEW6AXSUyX2wOaX8hvwXUuZjpr5INuMw==").unwrap(),
 757                 };
 758                 (cname_resp, cname_rrsig)
 759         }
 760
 761         fn bitcoin_ninja_txt_sort_edge_cases_records() -> (Vec<Txt>, RRSig) {
 762                 let txts = vec![Txt {
 763                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 764                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab".to_owned().into_bytes(),
 765                 }, Txt {
 766                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 767                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa".to_owned().into_bytes(),
 768                 }, Txt {
 769                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 770                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaa".to_owned().into_bytes(),
 771                 }, Txt {
 772                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 773                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba".to_owned().into_bytes(),
 774                 }, Txt {
 775                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 776                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa".to_owned().into_bytes(),
 777                 }, Txt {
 778                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 779                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab".to_owned().into_bytes(),
 780                 }, Txt {
 781                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 782                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa".to_owned().into_bytes(),
 783                 }, Txt {
 784                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 785                         data: "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaba".to_owned().into_bytes(),
 786                 }];
 787                 let rrsig = RRSig {
 788                         name: "txt_sort_order.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 789                         ty: Txt::TYPE, alg: 13, labels: 4, orig_ttl: 30, expiration: 1709950937,
 790                         inception: 1708735937, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 791                         signature: base64::decode("kUKbtoNYM6qnu95QJoyUwtzZoMTcRVfNfIIqSwROLdMYqqq70REjCu99ecjOW/Zm2XRsJ9KgGBB/SuiBdunLew==").unwrap(),
 792                 };
 793                 (txts, rrsig)
 794         }
 795
 796         /// Note that the NSEC3 proofs here are for asdf., any other prefix may fail NSEC checks.
 797         fn bitcoin_ninja_wildcard_record(pfx: &str) -> (Txt, RRSig, NSec3, RRSig) {
 798                 let name: Name = (pfx.to_owned() + ".wildcard_test.dnssec_proof_tests.bitcoin.ninja.").try_into().unwrap();
 799                 let txt_resp = Txt {
 800                         name: name.clone(),
 801                         data: "wildcard_test".to_owned().into_bytes(),
 802                 };
 803                 let txt_rrsig = RRSig {
 804                         name: name.clone(),
 805                         ty: Txt::TYPE, alg: 13, labels: 4, orig_ttl: 30, expiration: 1709950937,
 806                         inception: 1708735937, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 807                         signature: base64::decode("Y+grWXzbZfrcoHRZC9kfRzWp002jZzBDmpSQx6qbUgN0x3aH9kZIOVy0CtQH2vwmLUxoJ+RlezgunNI6LciBzQ==").unwrap(),
 808                 };
 809                 let nsec3 = NSec3 {
 810                         name: "s5sn15c8lcpo7v7f1p0ms6vlbdejt0kd.bitcoin.ninja.".try_into().unwrap(),
 811                         hash_algo: 1, flags: 0, hash_iterations: 0, salt: Vec::from_hex("059855BD1077A2EB").unwrap(),
 812                         next_name_hash: crate::base32::decode("T8QO5GO6M76HBR5Q6T3G6BDR79KBMDSA").unwrap(),
 813                         types: NSecTypeMask::from_types(&[AAAA::TYPE, RRSig::TYPE]),
 814                 };
 815                 let nsec3_rrsig = RRSig {
 816                         name: "s5sn15c8lcpo7v7f1p0ms6vlbdejt0kd.bitcoin.ninja.".try_into().unwrap(),
 817                         ty: NSec3::TYPE, alg: 13, labels: 3, orig_ttl: 60, expiration: 1710267741,
 818                         inception: 1709052741, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 819                         signature: base64::decode("Aiz6My3goWQuIIw/XNUo+kICsp9e4C5XUUs/0Ap+WIEFJsaN/MPGegiR/c5GUGdtHt1GdeP9CU3H1OGkN9MpWQ==").unwrap(),
 820                 };
 821                 (txt_resp, txt_rrsig, nsec3, nsec3_rrsig)
 822         }
 823
 824         fn bitcoin_ninja_cname_wildcard_record() -> (CName, RRSig, Txt, RRSig, [(NSec3, RRSig); 3]) {
 825                 let cname_resp = CName {
 826                         name: "asdf.cname_wildcard_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 827                         canonical_name: "cname.wildcard_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 828                 };
 829                 let cname_rrsig = RRSig {
 830                         name: "asdf.cname_wildcard_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 831                         ty: CName::TYPE, alg: 13, labels: 4, orig_ttl: 30, expiration: 1709950937,
 832                         inception: 1708735937, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 833                         signature: base64::decode("qR/zy8JyihI4qCAMwn7jGU6FARW/Hl8/u+cajef9raKs5aOxnZpCrp19Tot9qPG6px9PzqaghAIP1EmxfgxtRQ==").unwrap(),
 834                 };
 835                 let nsec3_a = NSec3 {
 836                         name: "2tn37cu4ulmlqqke9a3dc9g8bt8b4f6s.bitcoin.ninja.".try_into().unwrap(),
 837                         hash_algo: 1, flags: 0, hash_iterations: 0,
 838                         salt: Vec::from_hex("059855BD1077A2EB").unwrap(),
 839                         next_name_hash: crate::base32::decode("4OKFHSHS41D00EDL0HNPMT7R6IKMJ48H").unwrap(),
 840                         types: NSecTypeMask::from_types(&[DName::TYPE, RRSig::TYPE]),
 841                 };
 842                 let nsec3_a_rrsig = RRSig {
 843                         name: "2tn37cu4ulmlqqke9a3dc9g8bt8b4f6s.bitcoin.ninja.".try_into().unwrap(),
 844                         ty: NSec3::TYPE, alg: 13, labels: 3, orig_ttl: 60, expiration: 1710266541,
 845                         inception: 1709051541, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 846                         signature: base64::decode("tSsPsYIf1o5+piUZX9YwcWKSZgVQOB37TRdb+VL0PmcPaLpzFGJCwU0snn8tMN/BuILG+KZY+UPmAEZZFz4Fvg==").unwrap(),
 847                 };
 848                 let nsec3_b = NSec3 {
 849                         name: "cjqf7lfu6ev77k9m2o6iih56kbfnshin.bitcoin.ninja.".try_into().unwrap(),
 850                         hash_algo: 1, flags: 0, hash_iterations: 0,
 851                         salt: Vec::from_hex("059855BD1077A2EB").unwrap(),
 852                         next_name_hash: crate::base32::decode("DD3MT23L63OIHQPIMA5O2NULSVIGIJ3N").unwrap(),
 853                         types: NSecTypeMask::from_types(&[A::TYPE, AAAA::TYPE, RRSig::TYPE]),
 854                 };
 855                 let nsec3_b_rrsig = RRSig {
 856                         name: "cjqf7lfu6ev77k9m2o6iih56kbfnshin.bitcoin.ninja.".try_into().unwrap(),
 857                         ty: NSec3::TYPE, alg: 13, labels: 3, orig_ttl: 60, expiration: 1710238940,
 858                         inception: 1709023940, key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 859                         signature: base64::decode("CtYriOUI6RzoIG3SigHbBYiTkrEvmSEvP+aOLo1wylqkbBT2iG7pK8VNucKETqMZCROLnmRBw8DHK/8rosKYsA==").unwrap(),
 860                 };
 861                 let (txt_resp, txt_rrsig, nsec3_c, nsec3_c_rrsig) = bitcoin_ninja_wildcard_record("asdf");
 862                 (cname_resp, cname_rrsig, txt_resp, txt_rrsig,
 863                         [(nsec3_a, nsec3_a_rrsig), (nsec3_b, nsec3_b_rrsig), (nsec3_c, nsec3_c_rrsig)])
 864         }
 865
 866         fn bitcoin_ninja_nsec_dnskey() -> (Vec<DnsKey>, Vec<RR>) {
 867                 let bitcoin_ninja_dnskeys = bitcoin_ninja_dnskey().0;
 868                 let mut bitcoin_ninja_ds = vec![DS {
 869                         name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 870                         key_tag: 8036, alg: 13, digest_type: 2,
 871                         digest: Vec::from_hex("8EC0DAE4501233979196EBED206212BCCC49E40E086EC2E56558EC1F6FB62715").unwrap(),
 872                 }];
 873                 let ds_rrsig = RRSig {
 874                         name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 875                         ty: DS::TYPE, alg: 13, labels: 4, orig_ttl: 30, expiration: 1710190967, inception: 1708975967,
 876                         key_tag: 37639, key_name: "bitcoin.ninja.".try_into().unwrap(),
 877                         signature: base64::decode("qUexI1yufru0lzkND4uY1r8bsXrXnMVNjPxTLbLauRo/+YW041w9wFu4sl2/cqq3psWvGcBVTltwIdjDJQUcZQ==").unwrap(),
 878                 };
 879                 verify_rrsig(&ds_rrsig, &bitcoin_ninja_dnskeys, bitcoin_ninja_ds.iter().collect()).unwrap();
 880                 let dnskeys = vec![DnsKey {
 881                         name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(), flags: 257, protocol: 3, alg: 13,
 882                         pubkey: base64::decode("MUnIhm31ySIr9WXIBVQc38wlSHHvYaKIOFR8WYl4O9MJBlywWeUdx16oGinCe2FjjMkUkKn9kV5zzWhGmrdIbQ==").unwrap(),
 883                 }, DnsKey {
 884                         name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(), flags: 256, protocol: 3, alg: 13,
 885                         pubkey: base64::decode("GGZP8k44sro2iTzWKFoHOnbvrAhNiQv+Ng2hr0WNyb24aA5rLYLFac3N7B82xRU2odd60utYJkmU0yA//zyOzw==").unwrap(),
 886                 }];
 887                 let dnskey_rrsig = RRSig {
 888                         name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 889                         ty: DnsKey::TYPE, alg: 13, labels: 4, orig_ttl: 604800, expiration: 1710190613, inception: 1708975613,
 890                         key_tag: 8036, key_name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 891                         signature: base64::decode("nX+hkH14Kvjp26Z8x/pjYh5CQW3p9lZQQ+FVJcKHyfjAilEubpw6ihlPpb3Ddh9BbyxhCEFhXDMG2g4od9Y2ow==").unwrap(),
 892                 };
 893                 verify_dnskey_rrsig(&dnskey_rrsig, &bitcoin_ninja_ds, dnskeys.iter().collect()).unwrap();
 894                 let rrs = vec![bitcoin_ninja_ds.pop().unwrap().into(), ds_rrsig.into(),
 895                         dnskeys[0].clone().into(), dnskeys[1].clone().into(), dnskey_rrsig.into()];
 896                 (dnskeys, rrs)
 897         }
 898
 899         fn bitcoin_ninja_nsec_record() -> (Txt, RRSig) {
 900                 let txt_resp = Txt {
 901                         name: "a.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 902                         data: "txt_a".to_owned().into_bytes(),
 903                 };
 904                 let txt_rrsig = RRSig {
 905                         name: "a.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 906                         ty: Txt::TYPE, alg: 13, labels: 5, orig_ttl: 30, expiration: 1710201091, inception: 1708986091,
 907                         key_tag: 42215, key_name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 908                         signature: base64::decode("rhDcZvSk4ngyDmMif3oBmoDMO1YoimRrvOp/ErlSaujN+OCMKocgWkssedQCx7hyLxwsFLvaaiNXCr/7ZaSe4Q==").unwrap(),
 909                 };
 910                 (txt_resp, txt_rrsig)
 911         }
 912
 913         fn bitcoin_ninja_nsec_wildcard_record(pfx: &str) -> (Txt, RRSig, NSec, RRSig) {
 914                 let name: Name = (pfx.to_owned() + ".wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.").try_into().unwrap();
 915                 let txt_resp = Txt {
 916                         name: name.clone(),
 917                         data: "wildcard_test".to_owned().into_bytes(),
 918                 };
 919                 let txt_rrsig = RRSig {
 920                         name: name.clone(),
 921                         ty: Txt::TYPE, alg: 13, labels: 5, orig_ttl: 30, expiration: 1710190613, inception: 1708975613,
 922                         key_tag: 42215, key_name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 923                         signature: base64::decode("E3+tEe5TxI8OSNP+LVHsOagjQ/9heD6a4ICYBgS8mkfRuqgFeXhz22n4f2LzssdXe1xzwayt7nROdHdqdfHDYg==").unwrap(),
 924                 };
 925                 let nsec = NSec {
 926                         name: "*.wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 927                         next_name: "override.wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 928                         types: NSecTypeMask::from_types(&[Txt::TYPE, RRSig::TYPE, NSec::TYPE]),
 929                 };
 930                 let nsec_rrsig = RRSig {
 931                         name: "*.wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 932                         ty: NSec::TYPE, alg: 13, labels: 5, orig_ttl: 60, expiration: 1710191561, inception: 1708976561,
 933                         key_tag: 42215, key_name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 934                         signature: base64::decode("ZjQMw1dt1a61d4ls3pMkCnBiWRaMyAwn6UapRaYNtdA8cTbbqbhzJZCvc6ZBhZ90CzxCYR0h/eavowlF1j53Gg==").unwrap(),
 935                 };
 936                 (txt_resp, txt_rrsig, nsec, nsec_rrsig)
 937         }
 938
 939         fn bitcoin_ninja_nsec_post_override_wildcard_record(pfx: &str) -> (Txt, RRSig, NSec, RRSig) {
 940                 let name: Name = (pfx.to_owned() + ".wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.").try_into().unwrap();
 941                 let txt_resp = Txt {
 942                         name: name.clone(),
 943                         data: "wildcard_test".to_owned().into_bytes(),
 944                 };
 945                 let txt_rrsig = RRSig {
 946                         name: name.clone(),
 947                         ty: Txt::TYPE, alg: 13, labels: 5, orig_ttl: 30, expiration: 1710190613, inception: 1708975613,
 948                         key_tag: 42215, key_name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 949                         signature: base64::decode("E3+tEe5TxI8OSNP+LVHsOagjQ/9heD6a4ICYBgS8mkfRuqgFeXhz22n4f2LzssdXe1xzwayt7nROdHdqdfHDYg==").unwrap(),
 950                 };
 951                 let nsec = NSec {
 952                         name: "override.wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 953                         next_name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 954                         types: NSecTypeMask::from_types(&[Txt::TYPE, RRSig::TYPE, NSec::TYPE]),
 955                 };
 956                 let nsec_rrsig = RRSig {
 957                         name: "override.wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 958                         ty: NSec::TYPE, alg: 13, labels: 6, orig_ttl: 60, expiration: 1710201063, inception: 1708986063,
 959                         key_tag: 42215, key_name: "nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap(),
 960                         signature: base64::decode("pBNXnNPR0fiGEtkm/0PlnDW830JWv8KgnyhnOit6wLHtiWoLhMiS48utji3FbTfelCnePjbLh/t7SF941O2QTA==").unwrap(),
 961                 };
 962                 (txt_resp, txt_rrsig, nsec, nsec_rrsig)
 963         }
 964
 965         #[test]
 966         fn check_txt_record_a() {
 967                 let dnskeys = mattcorallo_dnskey().0;
 968                 let (txt, txt_rrsig) = mattcorallo_txt_record();
 969                 let txt_resp = [txt];
 970                 verify_rrsig(&txt_rrsig, &dnskeys, txt_resp.iter().collect()).unwrap();
 971         }
 972
 973         #[test]
 974         fn check_single_txt_proof() {
 975                 let mut rr_stream = Vec::new();
 976                 for rr in root_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
 977                 for rr in com_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
 978                 for rr in mattcorallo_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
 979                 let (txt, txt_rrsig) = mattcorallo_txt_record();
 980                 for rr in [RR::Txt(txt), RR::RRSig(txt_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
 981
 982                 let mut rrs = parse_rr_stream(&rr_stream).unwrap();
 983                 rrs.shuffle(&mut rand::rngs::OsRng);
 984                 let verified_rrs = verify_rr_stream(&rrs).unwrap();
 985                 assert_eq!(verified_rrs.verified_rrs.len(), 1);
 986                 if let RR::Txt(txt) = &verified_rrs.verified_rrs[0] {
 987                         assert_eq!(txt.name.as_str(), "matt.user._bitcoin-payment.mattcorallo.com.");
 988                         assert_eq!(txt.data, b"bitcoin:?b12=lno1qsgqmqvgm96frzdg8m0gc6nzeqffvzsqzrxqy32afmr3jn9ggkwg3egfwch2hy0l6jut6vfd8vpsc3h89l6u3dm4q2d6nuamav3w27xvdmv3lpgklhg7l5teypqz9l53hj7zvuaenh34xqsz2sa967yzqkylfu9xtcd5ymcmfp32h083e805y7jfd236w9afhavqqvl8uyma7x77yun4ehe9pnhu2gekjguexmxpqjcr2j822xr7q34p078gzslf9wpwz5y57alxu99s0z2ql0kfqvwhzycqq45ehh58xnfpuek80hw6spvwrvttjrrq9pphh0dpydh06qqspp5uq4gpyt6n9mwexde44qv7lstzzq60nr40ff38u27un6y53aypmx0p4qruk2tf9mjwqlhxak4znvna5y");
 989                 } else { panic!(); }
 990                 assert_eq!(verified_rrs.valid_from, 1709047250); // The mattcorallo.com. DNSKEY RRSig was created last
 991                 assert_eq!(verified_rrs.expires, 1709359258); // The mattcorallo.com. DS RRSig expires first
 992                 assert_eq!(verified_rrs.max_cache_ttl, 3600); // The TXT record had the shortest TTL
 993         }
 994
 995         #[test]
 996         fn check_txt_record_b() {
 997                 let dnskeys = bitcoin_ninja_dnskey().0;
 998                 let (txt, txt_rrsig) = bitcoin_ninja_txt_record();
 999                 let txt_resp = [txt];
1000                 verify_rrsig(&txt_rrsig, &dnskeys, txt_resp.iter().collect()).unwrap();
1001         }
1002
1003         #[test]
1004         fn check_cname_record() {
1005                 let dnskeys = bitcoin_ninja_dnskey().0;
1006                 let (cname, cname_rrsig) = bitcoin_ninja_cname_record();
1007                 let cname_resp = [cname];
1008                 verify_rrsig(&cname_rrsig, &dnskeys, cname_resp.iter().collect()).unwrap();
1009         }
1010
1011         #[test]
1012         fn check_multi_zone_proof() {
1013                 let mut rr_stream = Vec::new();
1014                 for rr in root_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1015                 for rr in com_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1016                 for rr in ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1017                 for rr in mattcorallo_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1018                 let (txt, txt_rrsig) = mattcorallo_txt_record();
1019                 for rr in [RR::Txt(txt), RR::RRSig(txt_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1020                 for rr in bitcoin_ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1021                 let (txt, txt_rrsig) = bitcoin_ninja_txt_record();
1022                 for rr in [RR::Txt(txt), RR::RRSig(txt_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1023                 let (cname, cname_rrsig) = bitcoin_ninja_cname_record();
1024                 for rr in [RR::CName(cname), RR::RRSig(cname_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1025
1026                 let mut rrs = parse_rr_stream(&rr_stream).unwrap();
1027                 rrs.shuffle(&mut rand::rngs::OsRng);
1028                 let mut verified_rrs = verify_rr_stream(&rrs).unwrap();
1029                 verified_rrs.verified_rrs.sort();
1030                 assert_eq!(verified_rrs.verified_rrs.len(), 3);
1031                 if let RR::Txt(txt) = &verified_rrs.verified_rrs[0] {
1032                         assert_eq!(txt.name.as_str(), "matt.user._bitcoin-payment.mattcorallo.com.");
1033                         assert_eq!(txt.data, b"bitcoin:?b12=lno1qsgqmqvgm96frzdg8m0gc6nzeqffvzsqzrxqy32afmr3jn9ggkwg3egfwch2hy0l6jut6vfd8vpsc3h89l6u3dm4q2d6nuamav3w27xvdmv3lpgklhg7l5teypqz9l53hj7zvuaenh34xqsz2sa967yzqkylfu9xtcd5ymcmfp32h083e805y7jfd236w9afhavqqvl8uyma7x77yun4ehe9pnhu2gekjguexmxpqjcr2j822xr7q34p078gzslf9wpwz5y57alxu99s0z2ql0kfqvwhzycqq45ehh58xnfpuek80hw6spvwrvttjrrq9pphh0dpydh06qqspp5uq4gpyt6n9mwexde44qv7lstzzq60nr40ff38u27un6y53aypmx0p4qruk2tf9mjwqlhxak4znvna5y");
1034                 } else { panic!(); }
1035                 if let RR::Txt(txt) = &verified_rrs.verified_rrs[1] {
1036                         assert_eq!(txt.name.as_str(), "txt_test.dnssec_proof_tests.bitcoin.ninja.");
1037                         assert_eq!(txt.data, b"dnssec_prover_test");
1038                 } else { panic!(); }
1039                 if let RR::CName(cname) = &verified_rrs.verified_rrs[2] {
1040                         assert_eq!(cname.name.as_str(), "cname_test.dnssec_proof_tests.bitcoin.ninja.");
1041                         assert_eq!(cname.canonical_name.as_str(), "txt_test.dnssec_proof_tests.bitcoin.ninja.");
1042                 } else { panic!(); }
1043
1044                 let filtered_rrs =
1045                         verified_rrs.resolve_name(&"cname_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap());
1046                 assert_eq!(filtered_rrs.len(), 1);
1047                 if let RR::Txt(txt) = &filtered_rrs[0] {
1048                         assert_eq!(txt.name.as_str(), "txt_test.dnssec_proof_tests.bitcoin.ninja.");
1049                         assert_eq!(txt.data, b"dnssec_prover_test");
1050                 } else { panic!(); }
1051         }
1052
1053         #[test]
1054         fn check_wildcard_record() {
1055                 // Wildcard proof works for any name, even multiple names
1056                 let dnskeys = bitcoin_ninja_dnskey().0;
1057                 let (txt, txt_rrsig, _, _) = bitcoin_ninja_wildcard_record("name");
1058                 let txt_resp = [txt];
1059                 verify_rrsig(&txt_rrsig, &dnskeys, txt_resp.iter().collect()).unwrap();
1060
1061                 let (txt, txt_rrsig, _, _) = bitcoin_ninja_wildcard_record("anoter_name");
1062                 let txt_resp = [txt];
1063                 verify_rrsig(&txt_rrsig, &dnskeys, txt_resp.iter().collect()).unwrap();
1064
1065                 let (txt, txt_rrsig, _, _) = bitcoin_ninja_wildcard_record("multiple.names");
1066                 let txt_resp = [txt];
1067                 verify_rrsig(&txt_rrsig, &dnskeys, txt_resp.iter().collect()).unwrap();
1068         }
1069
1070         #[test]
1071         fn check_wildcard_proof() {
1072                 let mut rr_stream = Vec::new();
1073                 for rr in root_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1074                 for rr in ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1075                 for rr in bitcoin_ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1076                 let (cname, cname_rrsig, txt, txt_rrsig, nsec3s) = bitcoin_ninja_cname_wildcard_record();
1077                 for rr in [RR::CName(cname), RR::RRSig(cname_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1078                 for rr in [RR::Txt(txt), RR::RRSig(txt_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1079                 for (rra, rrb) in nsec3s { write_rr(&rra, 1, &mut rr_stream); write_rr(&rrb, 1, &mut rr_stream); }
1080
1081                 let mut rrs = parse_rr_stream(&rr_stream).unwrap();
1082                 rrs.shuffle(&mut rand::rngs::OsRng);
1083                 let mut verified_rrs = verify_rr_stream(&rrs).unwrap();
1084                 verified_rrs.verified_rrs.sort();
1085                 assert_eq!(verified_rrs.verified_rrs.len(), 2);
1086                 if let RR::Txt(txt) = &verified_rrs.verified_rrs[0] {
1087                         assert_eq!(txt.name.as_str(), "asdf.wildcard_test.dnssec_proof_tests.bitcoin.ninja.");
1088                         assert_eq!(txt.data, b"wildcard_test");
1089                 } else { panic!(); }
1090                 if let RR::CName(cname) = &verified_rrs.verified_rrs[1] {
1091                         assert_eq!(cname.name.as_str(), "asdf.cname_wildcard_test.dnssec_proof_tests.bitcoin.ninja.");
1092                         assert_eq!(cname.canonical_name.as_str(), "cname.wildcard_test.dnssec_proof_tests.bitcoin.ninja.");
1093                 } else { panic!(); }
1094
1095                 let filtered_rrs =
1096                         verified_rrs.resolve_name(&"asdf.wildcard_test.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap());
1097                 assert_eq!(filtered_rrs.len(), 1);
1098                 if let RR::Txt(txt) = &filtered_rrs[0] {
1099                         assert_eq!(txt.name.as_str(), "asdf.wildcard_test.dnssec_proof_tests.bitcoin.ninja.");
1100                         assert_eq!(txt.data, b"wildcard_test");
1101                 } else { panic!(); }
1102         }
1103
1104         #[test]
1105         fn check_simple_nsec_zone_proof() {
1106                 let mut rr_stream = Vec::new();
1107                 for rr in root_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1108                 for rr in ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1109                 for rr in bitcoin_ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1110                 for rr in bitcoin_ninja_nsec_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1111                 let (txt, txt_rrsig) = bitcoin_ninja_nsec_record();
1112                 for rr in [RR::Txt(txt), RR::RRSig(txt_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1113
1114                 let mut rrs = parse_rr_stream(&rr_stream).unwrap();
1115                 rrs.shuffle(&mut rand::rngs::OsRng);
1116                 let verified_rrs = verify_rr_stream(&rrs).unwrap();
1117                 let filtered_rrs =
1118                         verified_rrs.resolve_name(&"a.nsec_tests.dnssec_proof_tests.bitcoin.ninja.".try_into().unwrap());
1119                 assert_eq!(filtered_rrs.len(), 1);
1120                 if let RR::Txt(txt) = &filtered_rrs[0] {
1121                         assert_eq!(txt.name.as_str(), "a.nsec_tests.dnssec_proof_tests.bitcoin.ninja.");
1122                         assert_eq!(txt.data, b"txt_a");
1123                 } else { panic!(); }
1124         }
1125
1126         #[test]
1127         fn check_nsec_wildcard_proof() {
1128                 let check_proof = |pfx: &str, post_override: bool| -> Result<(), ()> {
1129                         let mut rr_stream = Vec::new();
1130                         for rr in root_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1131                         for rr in ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1132                         for rr in bitcoin_ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1133                         for rr in bitcoin_ninja_nsec_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1134                         let (txt, txt_rrsig, nsec, nsec_rrsig) = if post_override {
1135                                 bitcoin_ninja_nsec_post_override_wildcard_record(pfx)
1136                         } else {
1137                                 bitcoin_ninja_nsec_wildcard_record(pfx)
1138                         };
1139                         for rr in [RR::Txt(txt), RR::RRSig(txt_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1140                         for rr in [RR::NSec(nsec), RR::RRSig(nsec_rrsig)] { write_rr(&rr, 1, &mut rr_stream); }
1141
1142                         let mut rrs = parse_rr_stream(&rr_stream).unwrap();
1143                         rrs.shuffle(&mut rand::rngs::OsRng);
1144                         // If the post_override flag is wrong (or the pfx is override), this will fail. No
1145                         // other calls in this lambda should fail.
1146                         let verified_rrs = verify_rr_stream(&rrs).map_err(|_| ())?;
1147                         let name: Name =
1148                                 (pfx.to_owned() + ".wildcard_test.nsec_tests.dnssec_proof_tests.bitcoin.ninja.").try_into().unwrap();
1149                         let filtered_rrs = verified_rrs.resolve_name(&name);
1150                         assert_eq!(filtered_rrs.len(), 1);
1151                         if let RR::Txt(txt) = &filtered_rrs[0] {
1152                                 assert_eq!(txt.name, name);
1153                                 assert_eq!(txt.data, b"wildcard_test");
1154                         } else { panic!(); }
1155                         Ok(())
1156                 };
1157                 // Records up to override will only work with the pre-override NSEC, and afterwards with
1158                 // the post-override NSEC. The literal override will always fail.
1159                 check_proof("a", false).unwrap();
1160                 check_proof("a", true).unwrap_err();
1161                 check_proof("a.b", false).unwrap();
1162                 check_proof("a.b", true).unwrap_err();
1163                 check_proof("o", false).unwrap();
1164                 check_proof("o", true).unwrap_err();
1165                 check_proof("a.o", false).unwrap();
1166                 check_proof("a.o", true).unwrap_err();
1167                 check_proof("override", false).unwrap_err();
1168                 check_proof("override", true).unwrap_err();
1169                 // Subdomains of override are also overridden by the override TXT entry and cannot use the
1170                 // wildcard record.
1171                 check_proof("b.override", false).unwrap_err();
1172                 check_proof("b.override", true).unwrap_err();
1173                 check_proof("z", false).unwrap_err();
1174                 check_proof("z", true).unwrap_err();
1175                 check_proof("a.z", false).unwrap_err();
1176                 check_proof("a.z", true).unwrap_err();
1177         }
1178
1179         #[test]
1180         fn check_txt_sort_order() {
1181                 let mut rr_stream = Vec::new();
1182                 for rr in root_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1183                 for rr in ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1184                 for rr in bitcoin_ninja_dnskey().1 { write_rr(&rr, 1, &mut rr_stream); }
1185                 let (mut txts, rrsig) = bitcoin_ninja_txt_sort_edge_cases_records();
1186                 write_rr(&rrsig, 1, &mut rr_stream);
1187                 for txt in txts.iter() { write_rr(txt, 1, &mut rr_stream); }
1188
1189                 let mut rrs = parse_rr_stream(&rr_stream).unwrap();
1190                 rrs.shuffle(&mut rand::rngs::OsRng);
1191                 let verified_rrs = verify_rr_stream(&rrs).unwrap();
1192                 let mut verified_txts = verified_rrs.verified_rrs
1193                         .iter().map(|rr| if let RR::Txt(txt) = rr { txt.clone() } else { panic!(); })
1194                         .collect::<Vec<_>>();
1195                 verified_txts.sort();
1196                 txts.sort();
1197                 assert_eq!(verified_txts, txts);
1198         }
1199
1200         #[test]
1201         fn rfc9102_parse_test() {
1202                 // Note that this is the `AuthenticationChain` field only, and ignores the
1203                 // `ExtSupportLifetime` field (stripping the top two 0 bytes from the front).
1204 let rfc9102_test_vector = Vec::from_hex("045f343433045f74637003777777076578616d706c6503636f6d000034000100000e1000230301018bd1da95272f7fa4ffb24137fc0ed03aae67e5c4d8b3c50734e1050a7920b922045f343433045f74637003777777076578616d706c6503636f6d00002e000100000e10005f00340d0500000e105fc6d9005bfdda80074e076578616d706c6503636f6d00ce1d3adeb7dc7cee656d61cfb472c5977c8c9caeae9b765155c518fb107b6a1fe0355fbaaf753c192832fa621fa73a8b85ed79d374117387598fcc812e1ef3fb076578616d706c6503636f6d000030000100000e1000440101030d2670355e0c894d9cfea6c5af6eb7d458b57a50ba88272512d8241d8541fd54adf96ec956789a51ceb971094b3bb3f4ec49f64c686595be5b2e89e8799c7717cc076578616d706c6503636f6d00002e000100000e10005f00300d0200000e105fc6d9005bfdda80074e076578616d706c6503636f6d004628383075b8e34b743a209b27ae148d110d4e1a246138a91083249cb4a12a2d9bc4c2d7ab5eb3afb9f5d1037e4d5da8339c162a9298e9be180741a8ca74accc076578616d706c6503636f6d00002b00010002a3000024074e0d02e9b533a049798e900b5c29c90cd25a986e8a44f319ac3cd302bafc08f5b81e16076578616d706c6503636f6d00002e00010002a3000057002b0d020002a3005fc6d9005bfdda80861703636f6d00a203e704a6facbeb13fc9384fdd6de6b50de5659271f38ce81498684e6363172d47e2319fdb4a22a58a231edc2f1ff4fb2811a1807be72cb5241aa26fdaee03903636f6d00003000010002a30000440100030dec8204e43a25f2348c52a1d3bce3a265aa5d11b43dc2a471162ff341c49db9f50a2e1a41caf2e9cd20104ea0968f7511219f0bdc56b68012cc3995336751900b03636f6d00003000010002a30000440101030d45b91c3bef7a5d99a7a7c8d822e33896bc80a777a04234a605a4a8880ec7efa4e6d112c73cd3d4c65564fa74347c873723cc5f643370f166b43dedff836400ff03636f6d00003000010002a30000440101030db3373b6e22e8e49e0e1e591a9f5bd9ac5e1a0f86187fe34703f180a9d36c958f71c4af48ce0ebc5c792a724e11b43895937ee53404268129476eb1aed323939003636f6d00002e00010002a300005700300d010002a3005fc6d9005bfdda8049f303636f6d0018a948eb23d44f80abc99238fcb43c5a18debe57004f7343593f6deb6ed71e04654a433f7aa1972130d9bd921c73dcf63fcf665f2f05a0aaebafb059dc12c96503636f6d00002e00010002a300005700300d010002a3005fc6d9005bfdda80708903636f6d006170e6959bd9ed6e575837b6f580bd99dbd24a44682b0a359626a246b1812f5f9096b75e157e77848f068ae0085e1a609fc19298c33b736863fbccd4d81f5eb203636f6d00002b000100015180002449f30d0220f7a9db42d0e2042fbbb9f9ea015941202f9eabb94487e658c188e7bcb5211503636f6d00002b000100015180002470890d02ad66b3276f796223aa45eda773e92c6d98e70643bbde681db342a9e5cf2bb38003636f6d00002e0001000151800053002b0d01000151805fc6d9005bfdda807cae00122e276d45d9e9816f7922ad6ea2e73e82d26fce0a4b718625f314531ac92f8ae82418df9b898f989d32e80bc4deaba7c4a7c8f172adb57ced7fb5e77a784b0700003000010001518000440100030dccacfe0c25a4340fefba17a254f706aac1f8d14f38299025acc448ca8ce3f561f37fc3ec169fe847c8fcbe68e358ff7c71bb5ee1df0dbe518bc736d4ce8dfe1400003000010001518000440100030df303196789731ddc8a6787eff24cacfeddd032582f11a75bb1bcaa5ab321c1d7525c2658191aec01b3e98ab7915b16d571dd55b4eae51417110cc4cdd11d171100003000010001518000440101030dcaf5fe54d4d48f16621afb6bd3ad2155bacf57d1faad5bac42d17d948c421736d9389c4c4011666ea95cf17725bd0fa00ce5e714e4ec82cfdfacc9b1c863ad4600002e000100015180005300300d00000151805fc6d9005bfdda80b79d00de7a6740eeecba4bda1e5c2dd4899b2c965893f3786ce747f41e50d9de8c0a72df82560dfb48d714de3283ae99a49c0fcb50d3aaadb1a3fc62ee3a8a0988b6be").unwrap();
1205
1206                 let mut rrs = parse_rr_stream(&rfc9102_test_vector).unwrap();
1207                 rrs.shuffle(&mut rand::rngs::OsRng);
1208                 let verified_rrs = verify_rr_stream(&rrs).unwrap();
1209                 assert_eq!(verified_rrs.verified_rrs.len(), 1);
1210                 if let RR::TLSA(tlsa) = &verified_rrs.verified_rrs[0] {
1211                         assert_eq!(tlsa.cert_usage, 3);
1212                         assert_eq!(tlsa.selector, 1);
1213                         assert_eq!(tlsa.data_ty, 1);
1214                         assert_eq!(tlsa.data, Vec::from_hex("8bd1da95272f7fa4ffb24137fc0ed03aae67e5c4d8b3c50734e1050a7920b922").unwrap());
1215                 } else { panic!(); }
1216         }
1217 }