tiny.reticulum.conformance.announce

1//! Generated by `lib/reticulum/build/generate` with `rns==1.5.0`.2//! The upstream source is Reticulum commit `e32d4df754a7b87b1bf1bb0d08675d12ff505ae6`.3//! Hand edits are lost.4//!5//! The announce vectors record each announce the reference built and signed6//! with the keys and random bytes behind it, from7//! Reticulum@1.5.0 RNS/Destination.py:244,283,298.8//! The validation verdicts record whether the reference accepted the announce9//! and a copy with one flipped signature bit, from RNS/Identity.py:511.10//! The random inputs are 16 random bytes whose hash gives the first five of the11//! announce's random bytes, from RNS/Identity.py:379.12//! The random bytes behind the keys use RNS/Cryptography/X25519.py:127 and13//! Ed25519.py:41.1415pub const Vector = struct {16    name: []const u8,17    key_entropy: []const u8,18    private_key: []const u8,19    public_key: []const u8,20    identity_hash: []const u8,21    destination_hash: []const u8,22    name_hash: []const u8,23    random_input: []const u8,24    clock: u64,25    random_hash: []const u8,26    ratchet_key_entropy: []const u8,27    ratchet_private_key: []const u8,28    ratchet_public_key: []const u8,29    app_data: []const u8,30    signed_data: []const u8,31    signature: []const u8,32    raw: []const u8,33    corrupted_raw: []const u8,34    validate_verdict: bool,35    corrupted_validate_verdict: bool,36};3738pub const vectors: []const Vector = &.{39    .{40        .name = "identity-no-app-data",41        .key_entropy = &.{42            0x0f, 0x72, 0xe9, 0xdf, 0xd8, 0x6b, 0x82, 0xfc, 0xc5, 0x2d, 0x1a, 0x61,43            0xf8, 0x7d, 0x72, 0x6e, 0x5a, 0x19, 0x3c, 0xfc, 0xc6, 0xab, 0x3b, 0x26,44            0x25, 0xa6, 0x8c, 0xe2, 0xe9, 0x15, 0x15, 0x88, 0x54, 0x0a, 0xc4, 0xa5,45            0x8a, 0xc0, 0x1c, 0x61, 0x8e, 0xed, 0x0a, 0x8a, 0xe3, 0xe3, 0xf7, 0x1a,46            0xa5, 0xfb, 0xf0, 0x0e, 0xb1, 0x17, 0x19, 0x25, 0x7c, 0x4f, 0xe7, 0x0c,47            0xf3, 0xdc, 0xaf, 0xcd,48        },49        .private_key = &.{50            0x08, 0x72, 0xe9, 0xdf, 0xd8, 0x6b, 0x82, 0xfc, 0xc5, 0x2d, 0x1a, 0x61,51            0xf8, 0x7d, 0x72, 0x6e, 0x5a, 0x19, 0x3c, 0xfc, 0xc6, 0xab, 0x3b, 0x26,52            0x25, 0xa6, 0x8c, 0xe2, 0xe9, 0x15, 0x15, 0x48, 0x54, 0x0a, 0xc4, 0xa5,53            0x8a, 0xc0, 0x1c, 0x61, 0x8e, 0xed, 0x0a, 0x8a, 0xe3, 0xe3, 0xf7, 0x1a,54            0xa5, 0xfb, 0xf0, 0x0e, 0xb1, 0x17, 0x19, 0x25, 0x7c, 0x4f, 0xe7, 0x0c,55            0xf3, 0xdc, 0xaf, 0xcd,56        },57        .public_key = &.{58            0x3c, 0x16, 0xa4, 0x7b, 0xc3, 0xcd, 0x38, 0x94, 0xbf, 0xe9, 0xa6, 0x7a,59            0xb5, 0xe7, 0x2c, 0xb9, 0x96, 0x4a, 0x9d, 0x6b, 0x71, 0x6c, 0x74, 0x3a,60            0x4a, 0x20, 0xb1, 0x2a, 0x7f, 0x9f, 0xe5, 0x12, 0x61, 0xb9, 0xf0, 0xd6,61            0xdd, 0x9e, 0xa1, 0x35, 0xf4, 0x71, 0xf8, 0x32, 0xae, 0x69, 0xe1, 0x67,62            0xe7, 0x8a, 0x20, 0x46, 0xa0, 0x23, 0x8a, 0x2a, 0x6a, 0x90, 0x98, 0x89,63            0xc9, 0x57, 0x9a, 0x04,64        },65        .identity_hash = &.{66            0xba, 0x2b, 0x9c, 0xc3, 0x25, 0xa9, 0x8a, 0x6f, 0x94, 0xaa, 0xa8, 0x1c,67            0xd4, 0xaa, 0xda, 0xcb,68        },69        .destination_hash = &.{70            0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e, 0x02, 0xd8,71            0x49, 0xc0, 0xe3, 0x16,72        },73        .name_hash = &.{74            0xd6, 0x1e, 0x4a, 0x0a, 0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66,75        },76        .random_input = &.{77            0x2c, 0x18, 0x30, 0x04, 0x79, 0x22, 0xcc, 0x6f, 0x13, 0x0d, 0x8f, 0x40,78            0xc5, 0x62, 0x95, 0x73,79        },80        .clock = 1700000000,81        .random_hash = &.{82            0x02, 0x7f, 0x7a, 0x3f, 0x92, 0x00, 0x65, 0x53, 0xf1, 0x00,83        },84        .ratchet_key_entropy = &.{},85        .ratchet_private_key = &.{},86        .ratchet_public_key = &.{},87        .app_data = &.{},88        .signed_data = &.{89            0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e, 0x02, 0xd8,90            0x49, 0xc0, 0xe3, 0x16, 0x3c, 0x16, 0xa4, 0x7b, 0xc3, 0xcd, 0x38, 0x94,91            0xbf, 0xe9, 0xa6, 0x7a, 0xb5, 0xe7, 0x2c, 0xb9, 0x96, 0x4a, 0x9d, 0x6b,92            0x71, 0x6c, 0x74, 0x3a, 0x4a, 0x20, 0xb1, 0x2a, 0x7f, 0x9f, 0xe5, 0x12,93            0x61, 0xb9, 0xf0, 0xd6, 0xdd, 0x9e, 0xa1, 0x35, 0xf4, 0x71, 0xf8, 0x32,94            0xae, 0x69, 0xe1, 0x67, 0xe7, 0x8a, 0x20, 0x46, 0xa0, 0x23, 0x8a, 0x2a,95            0x6a, 0x90, 0x98, 0x89, 0xc9, 0x57, 0x9a, 0x04, 0xd6, 0x1e, 0x4a, 0x0a,96            0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66, 0x02, 0x7f, 0x7a, 0x3f, 0x92, 0x00,97            0x65, 0x53, 0xf1, 0x00,98        },99        .signature = &.{100            0x0c, 0xd8, 0xa7, 0xb0, 0xee, 0x50, 0x27, 0xdf, 0x23, 0x06, 0x18, 0x66,101            0xfd, 0xad, 0x0d, 0xc8, 0xd1, 0x9b, 0x9f, 0x60, 0xd1, 0xeb, 0x6d, 0x56,102            0xd1, 0x5d, 0x3f, 0xcc, 0x7b, 0xc8, 0x2a, 0xd4, 0xe2, 0x9c, 0x62, 0x9f,103            0x5f, 0xae, 0x98, 0x3d, 0x74, 0x57, 0x29, 0x3e, 0xe6, 0xcb, 0x07, 0x40,104            0xc2, 0x38, 0x3d, 0xb1, 0x2a, 0xcf, 0x1d, 0x7c, 0xc6, 0x33, 0xe5, 0x7d,105            0xfa, 0xcb, 0x06, 0x0f,106        },107        .raw = &.{108            0x01, 0x00, 0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e,109            0x02, 0xd8, 0x49, 0xc0, 0xe3, 0x16, 0x00, 0x3c, 0x16, 0xa4, 0x7b, 0xc3,110            0xcd, 0x38, 0x94, 0xbf, 0xe9, 0xa6, 0x7a, 0xb5, 0xe7, 0x2c, 0xb9, 0x96,111            0x4a, 0x9d, 0x6b, 0x71, 0x6c, 0x74, 0x3a, 0x4a, 0x20, 0xb1, 0x2a, 0x7f,112            0x9f, 0xe5, 0x12, 0x61, 0xb9, 0xf0, 0xd6, 0xdd, 0x9e, 0xa1, 0x35, 0xf4,113            0x71, 0xf8, 0x32, 0xae, 0x69, 0xe1, 0x67, 0xe7, 0x8a, 0x20, 0x46, 0xa0,114            0x23, 0x8a, 0x2a, 0x6a, 0x90, 0x98, 0x89, 0xc9, 0x57, 0x9a, 0x04, 0xd6,115            0x1e, 0x4a, 0x0a, 0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66, 0x02, 0x7f, 0x7a,116            0x3f, 0x92, 0x00, 0x65, 0x53, 0xf1, 0x00, 0x0c, 0xd8, 0xa7, 0xb0, 0xee,117            0x50, 0x27, 0xdf, 0x23, 0x06, 0x18, 0x66, 0xfd, 0xad, 0x0d, 0xc8, 0xd1,118            0x9b, 0x9f, 0x60, 0xd1, 0xeb, 0x6d, 0x56, 0xd1, 0x5d, 0x3f, 0xcc, 0x7b,119            0xc8, 0x2a, 0xd4, 0xe2, 0x9c, 0x62, 0x9f, 0x5f, 0xae, 0x98, 0x3d, 0x74,120            0x57, 0x29, 0x3e, 0xe6, 0xcb, 0x07, 0x40, 0xc2, 0x38, 0x3d, 0xb1, 0x2a,121            0xcf, 0x1d, 0x7c, 0xc6, 0x33, 0xe5, 0x7d, 0xfa, 0xcb, 0x06, 0x0f,122        },123        .corrupted_raw = &.{124            0x01, 0x00, 0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e,125            0x02, 0xd8, 0x49, 0xc0, 0xe3, 0x16, 0x00, 0x3c, 0x16, 0xa4, 0x7b, 0xc3,126            0xcd, 0x38, 0x94, 0xbf, 0xe9, 0xa6, 0x7a, 0xb5, 0xe7, 0x2c, 0xb9, 0x96,127            0x4a, 0x9d, 0x6b, 0x71, 0x6c, 0x74, 0x3a, 0x4a, 0x20, 0xb1, 0x2a, 0x7f,128            0x9f, 0xe5, 0x12, 0x61, 0xb9, 0xf0, 0xd6, 0xdd, 0x9e, 0xa1, 0x35, 0xf4,129            0x71, 0xf8, 0x32, 0xae, 0x69, 0xe1, 0x67, 0xe7, 0x8a, 0x20, 0x46, 0xa0,130            0x23, 0x8a, 0x2a, 0x6a, 0x90, 0x98, 0x89, 0xc9, 0x57, 0x9a, 0x04, 0xd6,131            0x1e, 0x4a, 0x0a, 0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66, 0x02, 0x7f, 0x7a,132            0x3f, 0x92, 0x00, 0x65, 0x53, 0xf1, 0x00, 0x0d, 0xd8, 0xa7, 0xb0, 0xee,133            0x50, 0x27, 0xdf, 0x23, 0x06, 0x18, 0x66, 0xfd, 0xad, 0x0d, 0xc8, 0xd1,134            0x9b, 0x9f, 0x60, 0xd1, 0xeb, 0x6d, 0x56, 0xd1, 0x5d, 0x3f, 0xcc, 0x7b,135            0xc8, 0x2a, 0xd4, 0xe2, 0x9c, 0x62, 0x9f, 0x5f, 0xae, 0x98, 0x3d, 0x74,136            0x57, 0x29, 0x3e, 0xe6, 0xcb, 0x07, 0x40, 0xc2, 0x38, 0x3d, 0xb1, 0x2a,137            0xcf, 0x1d, 0x7c, 0xc6, 0x33, 0xe5, 0x7d, 0xfa, 0xcb, 0x06, 0x0f,138        },139        .validate_verdict = true,140        .corrupted_validate_verdict = false,141    },142    .{143        .name = "identity-app-data",144        .key_entropy = &.{145            0x4a, 0x96, 0xd0, 0xb1, 0x72, 0xc4, 0xe0, 0x65, 0x42, 0xd4, 0xf1, 0x77,146            0x48, 0x0c, 0xdc, 0x0a, 0x5c, 0x47, 0xee, 0x49, 0x77, 0xe8, 0x29, 0x1a,147            0x5f, 0xae, 0x3e, 0xb6, 0xe2, 0x04, 0xda, 0x93, 0xc1, 0x4c, 0x4e, 0xec,148            0x27, 0x02, 0xc9, 0x96, 0xc7, 0xdd, 0x3b, 0x4a, 0x06, 0x3c, 0x39, 0xa0,149            0xcf, 0xab, 0xe0, 0xcf, 0x4a, 0x33, 0xbc, 0xd1, 0x68, 0x5e, 0x5f, 0xe4,150            0x08, 0xca, 0x74, 0x96,151        },152        .private_key = &.{153            0x48, 0x96, 0xd0, 0xb1, 0x72, 0xc4, 0xe0, 0x65, 0x42, 0xd4, 0xf1, 0x77,154            0x48, 0x0c, 0xdc, 0x0a, 0x5c, 0x47, 0xee, 0x49, 0x77, 0xe8, 0x29, 0x1a,155            0x5f, 0xae, 0x3e, 0xb6, 0xe2, 0x04, 0xda, 0x53, 0xc1, 0x4c, 0x4e, 0xec,156            0x27, 0x02, 0xc9, 0x96, 0xc7, 0xdd, 0x3b, 0x4a, 0x06, 0x3c, 0x39, 0xa0,157            0xcf, 0xab, 0xe0, 0xcf, 0x4a, 0x33, 0xbc, 0xd1, 0x68, 0x5e, 0x5f, 0xe4,158            0x08, 0xca, 0x74, 0x96,159        },160        .public_key = &.{161            0x02, 0x9e, 0x7e, 0x5e, 0x76, 0x24, 0x11, 0x71, 0xff, 0x7b, 0x42, 0x4a,162            0x98, 0xf0, 0xe2, 0x5a, 0x05, 0x11, 0x10, 0x15, 0xc7, 0xf6, 0x60, 0x47,163            0x3f, 0xca, 0xa5, 0x29, 0x50, 0x7f, 0xd8, 0x39, 0x98, 0x49, 0x8f, 0x86,164            0x3a, 0x77, 0x29, 0x0e, 0x89, 0x1e, 0x3d, 0x13, 0x23, 0xc7, 0xd8, 0x15,165            0xc3, 0xb0, 0x41, 0x19, 0x1c, 0xfb, 0xce, 0x65, 0x7d, 0x9b, 0x43, 0x63,166            0x8b, 0xf1, 0x64, 0xf9,167        },168        .identity_hash = &.{169            0xbb, 0x01, 0xc6, 0x37, 0x9d, 0x2d, 0xfa, 0xd1, 0x0a, 0x7e, 0xda, 0xa3,170            0xc3, 0x26, 0x60, 0x32,171        },172        .destination_hash = &.{173            0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc, 0x01, 0xe8,174            0x4e, 0xf6, 0xaf, 0xf5,175        },176        .name_hash = &.{177            0x93, 0xed, 0xd9, 0x51, 0xee, 0x53, 0x26, 0x32, 0xb7, 0x46,178        },179        .random_input = &.{180            0x47, 0x34, 0x79, 0x04, 0xd6, 0x07, 0xa6, 0x58, 0x16, 0x00, 0xd2, 0xb5,181            0xb4, 0x9b, 0xcb, 0xcb,182        },183        .clock = 1700000001,184        .random_hash = &.{185            0x6a, 0xc6, 0x77, 0x9b, 0xe1, 0x00, 0x65, 0x53, 0xf1, 0x01,186        },187        .ratchet_key_entropy = &.{},188        .ratchet_private_key = &.{},189        .ratchet_public_key = &.{},190        .app_data = &.{191            0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70,192            0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74,193            0x61,194        },195        .signed_data = &.{196            0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc, 0x01, 0xe8,197            0x4e, 0xf6, 0xaf, 0xf5, 0x02, 0x9e, 0x7e, 0x5e, 0x76, 0x24, 0x11, 0x71,198            0xff, 0x7b, 0x42, 0x4a, 0x98, 0xf0, 0xe2, 0x5a, 0x05, 0x11, 0x10, 0x15,199            0xc7, 0xf6, 0x60, 0x47, 0x3f, 0xca, 0xa5, 0x29, 0x50, 0x7f, 0xd8, 0x39,200            0x98, 0x49, 0x8f, 0x86, 0x3a, 0x77, 0x29, 0x0e, 0x89, 0x1e, 0x3d, 0x13,201            0x23, 0xc7, 0xd8, 0x15, 0xc3, 0xb0, 0x41, 0x19, 0x1c, 0xfb, 0xce, 0x65,202            0x7d, 0x9b, 0x43, 0x63, 0x8b, 0xf1, 0x64, 0xf9, 0x93, 0xed, 0xd9, 0x51,203            0xee, 0x53, 0x26, 0x32, 0xb7, 0x46, 0x6a, 0xc6, 0x77, 0x9b, 0xe1, 0x00,204            0x65, 0x53, 0xf1, 0x01, 0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65,205            0x20, 0x61, 0x70, 0x70, 0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e,206            0x20, 0x64, 0x61, 0x74, 0x61,207        },208        .signature = &.{209            0x46, 0x79, 0x09, 0xf8, 0x84, 0x18, 0xef, 0x14, 0x8a, 0x76, 0x14, 0x5c,210            0xa6, 0x06, 0x4e, 0xad, 0x6f, 0xa6, 0xaa, 0x06, 0x67, 0x21, 0xee, 0x15,211            0xe4, 0xb3, 0x33, 0x8b, 0x69, 0x43, 0x04, 0xa7, 0x76, 0x65, 0x39, 0xf9,212            0x90, 0xc4, 0xe2, 0xd4, 0x54, 0x24, 0x55, 0xc1, 0xb7, 0x25, 0x7e, 0xf7,213            0xa3, 0xd1, 0x72, 0xa8, 0x11, 0xf1, 0xf6, 0x36, 0x28, 0xae, 0xbf, 0x57,214            0x80, 0x70, 0xad, 0x0f,215        },216        .raw = &.{217            0x01, 0x00, 0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc,218            0x01, 0xe8, 0x4e, 0xf6, 0xaf, 0xf5, 0x00, 0x02, 0x9e, 0x7e, 0x5e, 0x76,219            0x24, 0x11, 0x71, 0xff, 0x7b, 0x42, 0x4a, 0x98, 0xf0, 0xe2, 0x5a, 0x05,220            0x11, 0x10, 0x15, 0xc7, 0xf6, 0x60, 0x47, 0x3f, 0xca, 0xa5, 0x29, 0x50,221            0x7f, 0xd8, 0x39, 0x98, 0x49, 0x8f, 0x86, 0x3a, 0x77, 0x29, 0x0e, 0x89,222            0x1e, 0x3d, 0x13, 0x23, 0xc7, 0xd8, 0x15, 0xc3, 0xb0, 0x41, 0x19, 0x1c,223            0xfb, 0xce, 0x65, 0x7d, 0x9b, 0x43, 0x63, 0x8b, 0xf1, 0x64, 0xf9, 0x93,224            0xed, 0xd9, 0x51, 0xee, 0x53, 0x26, 0x32, 0xb7, 0x46, 0x6a, 0xc6, 0x77,225            0x9b, 0xe1, 0x00, 0x65, 0x53, 0xf1, 0x01, 0x46, 0x79, 0x09, 0xf8, 0x84,226            0x18, 0xef, 0x14, 0x8a, 0x76, 0x14, 0x5c, 0xa6, 0x06, 0x4e, 0xad, 0x6f,227            0xa6, 0xaa, 0x06, 0x67, 0x21, 0xee, 0x15, 0xe4, 0xb3, 0x33, 0x8b, 0x69,228            0x43, 0x04, 0xa7, 0x76, 0x65, 0x39, 0xf9, 0x90, 0xc4, 0xe2, 0xd4, 0x54,229            0x24, 0x55, 0xc1, 0xb7, 0x25, 0x7e, 0xf7, 0xa3, 0xd1, 0x72, 0xa8, 0x11,230            0xf1, 0xf6, 0x36, 0x28, 0xae, 0xbf, 0x57, 0x80, 0x70, 0xad, 0x0f, 0x61,231            0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c,232            0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,233        },234        .corrupted_raw = &.{235            0x01, 0x00, 0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc,236            0x01, 0xe8, 0x4e, 0xf6, 0xaf, 0xf5, 0x00, 0x02, 0x9e, 0x7e, 0x5e, 0x76,237            0x24, 0x11, 0x71, 0xff, 0x7b, 0x42, 0x4a, 0x98, 0xf0, 0xe2, 0x5a, 0x05,238            0x11, 0x10, 0x15, 0xc7, 0xf6, 0x60, 0x47, 0x3f, 0xca, 0xa5, 0x29, 0x50,239            0x7f, 0xd8, 0x39, 0x98, 0x49, 0x8f, 0x86, 0x3a, 0x77, 0x29, 0x0e, 0x89,240            0x1e, 0x3d, 0x13, 0x23, 0xc7, 0xd8, 0x15, 0xc3, 0xb0, 0x41, 0x19, 0x1c,241            0xfb, 0xce, 0x65, 0x7d, 0x9b, 0x43, 0x63, 0x8b, 0xf1, 0x64, 0xf9, 0x93,242            0xed, 0xd9, 0x51, 0xee, 0x53, 0x26, 0x32, 0xb7, 0x46, 0x6a, 0xc6, 0x77,243            0x9b, 0xe1, 0x00, 0x65, 0x53, 0xf1, 0x01, 0x47, 0x79, 0x09, 0xf8, 0x84,244            0x18, 0xef, 0x14, 0x8a, 0x76, 0x14, 0x5c, 0xa6, 0x06, 0x4e, 0xad, 0x6f,245            0xa6, 0xaa, 0x06, 0x67, 0x21, 0xee, 0x15, 0xe4, 0xb3, 0x33, 0x8b, 0x69,246            0x43, 0x04, 0xa7, 0x76, 0x65, 0x39, 0xf9, 0x90, 0xc4, 0xe2, 0xd4, 0x54,247            0x24, 0x55, 0xc1, 0xb7, 0x25, 0x7e, 0xf7, 0xa3, 0xd1, 0x72, 0xa8, 0x11,248            0xf1, 0xf6, 0x36, 0x28, 0xae, 0xbf, 0x57, 0x80, 0x70, 0xad, 0x0f, 0x61,249            0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c,250            0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,251        },252        .validate_verdict = true,253        .corrupted_validate_verdict = false,254    },255    .{256        .name = "ratchet-no-app-data",257        .key_entropy = &.{258            0x46, 0x8f, 0x74, 0xcd, 0x2f, 0x8c, 0x09, 0x60, 0x28, 0xe3, 0x08, 0x6f,259            0x14, 0xb4, 0x59, 0xc0, 0xaf, 0x66, 0x31, 0x68, 0x52, 0xab, 0xa1, 0xdb,260            0xf2, 0x13, 0x8c, 0xa7, 0x08, 0xda, 0x61, 0x69, 0xce, 0xe6, 0x5c, 0xbb,261            0x61, 0xbd, 0x9d, 0x7a, 0x55, 0x17, 0xae, 0x1f, 0x5e, 0x38, 0xe3, 0xb1,262            0xd0, 0x6a, 0x52, 0xcf, 0x99, 0x16, 0x31, 0x4d, 0x73, 0x9f, 0x51, 0xb6,263            0xaf, 0x8d, 0xdd, 0x2b,264        },265        .private_key = &.{266            0x40, 0x8f, 0x74, 0xcd, 0x2f, 0x8c, 0x09, 0x60, 0x28, 0xe3, 0x08, 0x6f,267            0x14, 0xb4, 0x59, 0xc0, 0xaf, 0x66, 0x31, 0x68, 0x52, 0xab, 0xa1, 0xdb,268            0xf2, 0x13, 0x8c, 0xa7, 0x08, 0xda, 0x61, 0x69, 0xce, 0xe6, 0x5c, 0xbb,269            0x61, 0xbd, 0x9d, 0x7a, 0x55, 0x17, 0xae, 0x1f, 0x5e, 0x38, 0xe3, 0xb1,270            0xd0, 0x6a, 0x52, 0xcf, 0x99, 0x16, 0x31, 0x4d, 0x73, 0x9f, 0x51, 0xb6,271            0xaf, 0x8d, 0xdd, 0x2b,272        },273        .public_key = &.{274            0x72, 0x0c, 0xd1, 0x54, 0x18, 0xb0, 0xbf, 0xe0, 0x53, 0x15, 0x5a, 0x40,275            0x41, 0xbe, 0xe8, 0x2f, 0x3b, 0x8e, 0xb3, 0xef, 0xcb, 0xf4, 0x72, 0x26,276            0x2e, 0xeb, 0xdc, 0x22, 0x49, 0x30, 0x9f, 0x0d, 0x9d, 0xd6, 0x08, 0x09,277            0xf7, 0xda, 0xb1, 0xb5, 0xae, 0x8e, 0x41, 0x20, 0x46, 0xb7, 0x33, 0x8e,278            0xb1, 0xf3, 0x20, 0xd4, 0x81, 0xe0, 0x27, 0x2a, 0x6b, 0xce, 0x32, 0x48,279            0x7a, 0xe3, 0x72, 0x97,280        },281        .identity_hash = &.{282            0xab, 0x2a, 0xa3, 0xbd, 0xb2, 0x01, 0x11, 0xea, 0x56, 0xbc, 0x38, 0x92,283            0x3a, 0x29, 0x4f, 0xfa,284        },285        .destination_hash = &.{286            0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f, 0x0b, 0x6e,287            0x6b, 0x25, 0x7b, 0x9b,288        },289        .name_hash = &.{290            0x89, 0x66, 0xd1, 0x1f, 0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70,291        },292        .random_input = &.{293            0x32, 0xc9, 0xf0, 0x51, 0xaf, 0x95, 0xbe, 0xa4, 0x51, 0xb4, 0xb7, 0xcd,294            0xdf, 0x27, 0xa0, 0xd6,295        },296        .clock = 1700000002,297        .random_hash = &.{298            0xcc, 0xaa, 0xa4, 0x67, 0x23, 0x00, 0x65, 0x53, 0xf1, 0x02,299        },300        .ratchet_key_entropy = &.{301            0x5d, 0xb3, 0x8f, 0x42, 0x27, 0x7d, 0xb3, 0xe4, 0xb3, 0xd4, 0xb2, 0x2d,302            0x82, 0x8d, 0x28, 0x2e, 0x6f, 0x63, 0xf6, 0x7d, 0xf8, 0xbf, 0x24, 0xd8,303            0x12, 0x09, 0xb2, 0x02, 0xfa, 0x16, 0x28, 0xd0,304        },305        .ratchet_private_key = &.{306            0x58, 0xb3, 0x8f, 0x42, 0x27, 0x7d, 0xb3, 0xe4, 0xb3, 0xd4, 0xb2, 0x2d,307            0x82, 0x8d, 0x28, 0x2e, 0x6f, 0x63, 0xf6, 0x7d, 0xf8, 0xbf, 0x24, 0xd8,308            0x12, 0x09, 0xb2, 0x02, 0xfa, 0x16, 0x28, 0x50,309        },310        .ratchet_public_key = &.{311            0xd8, 0x51, 0x98, 0x72, 0x11, 0x12, 0x04, 0xaa, 0x77, 0x92, 0x91, 0xbf,312            0xa4, 0x61, 0x58, 0x78, 0xdb, 0xa8, 0x2f, 0xd9, 0x88, 0x6a, 0xe3, 0x3c,313            0x7e, 0x56, 0x0d, 0x71, 0xdf, 0x7d, 0xc8, 0x0c,314        },315        .app_data = &.{},316        .signed_data = &.{317            0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f, 0x0b, 0x6e,318            0x6b, 0x25, 0x7b, 0x9b, 0x72, 0x0c, 0xd1, 0x54, 0x18, 0xb0, 0xbf, 0xe0,319            0x53, 0x15, 0x5a, 0x40, 0x41, 0xbe, 0xe8, 0x2f, 0x3b, 0x8e, 0xb3, 0xef,320            0xcb, 0xf4, 0x72, 0x26, 0x2e, 0xeb, 0xdc, 0x22, 0x49, 0x30, 0x9f, 0x0d,321            0x9d, 0xd6, 0x08, 0x09, 0xf7, 0xda, 0xb1, 0xb5, 0xae, 0x8e, 0x41, 0x20,322            0x46, 0xb7, 0x33, 0x8e, 0xb1, 0xf3, 0x20, 0xd4, 0x81, 0xe0, 0x27, 0x2a,323            0x6b, 0xce, 0x32, 0x48, 0x7a, 0xe3, 0x72, 0x97, 0x89, 0x66, 0xd1, 0x1f,324            0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70, 0xcc, 0xaa, 0xa4, 0x67, 0x23, 0x00,325            0x65, 0x53, 0xf1, 0x02, 0xd8, 0x51, 0x98, 0x72, 0x11, 0x12, 0x04, 0xaa,326            0x77, 0x92, 0x91, 0xbf, 0xa4, 0x61, 0x58, 0x78, 0xdb, 0xa8, 0x2f, 0xd9,327            0x88, 0x6a, 0xe3, 0x3c, 0x7e, 0x56, 0x0d, 0x71, 0xdf, 0x7d, 0xc8, 0x0c,328        },329        .signature = &.{330            0x11, 0xec, 0x06, 0x35, 0xb9, 0xb3, 0x70, 0x41, 0xf6, 0xed, 0x57, 0x88,331            0x5c, 0xbc, 0xdf, 0xae, 0x35, 0xe2, 0xf6, 0x0c, 0xc9, 0xf0, 0xca, 0x85,332            0xbf, 0xf6, 0x16, 0x0c, 0x79, 0xdc, 0x2b, 0xf4, 0xa8, 0x26, 0xbf, 0xbe,333            0xa8, 0x42, 0xd7, 0x35, 0x01, 0x4d, 0xd7, 0x5c, 0x8f, 0x44, 0xda, 0x4e,334            0xe6, 0xb0, 0x21, 0xee, 0x00, 0xda, 0xbe, 0x01, 0xd9, 0xff, 0x89, 0x89,335            0xbb, 0x68, 0x89, 0x0b,336        },337        .raw = &.{338            0x21, 0x00, 0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f,339            0x0b, 0x6e, 0x6b, 0x25, 0x7b, 0x9b, 0x00, 0x72, 0x0c, 0xd1, 0x54, 0x18,340            0xb0, 0xbf, 0xe0, 0x53, 0x15, 0x5a, 0x40, 0x41, 0xbe, 0xe8, 0x2f, 0x3b,341            0x8e, 0xb3, 0xef, 0xcb, 0xf4, 0x72, 0x26, 0x2e, 0xeb, 0xdc, 0x22, 0x49,342            0x30, 0x9f, 0x0d, 0x9d, 0xd6, 0x08, 0x09, 0xf7, 0xda, 0xb1, 0xb5, 0xae,343            0x8e, 0x41, 0x20, 0x46, 0xb7, 0x33, 0x8e, 0xb1, 0xf3, 0x20, 0xd4, 0x81,344            0xe0, 0x27, 0x2a, 0x6b, 0xce, 0x32, 0x48, 0x7a, 0xe3, 0x72, 0x97, 0x89,345            0x66, 0xd1, 0x1f, 0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70, 0xcc, 0xaa, 0xa4,346            0x67, 0x23, 0x00, 0x65, 0x53, 0xf1, 0x02, 0xd8, 0x51, 0x98, 0x72, 0x11,347            0x12, 0x04, 0xaa, 0x77, 0x92, 0x91, 0xbf, 0xa4, 0x61, 0x58, 0x78, 0xdb,348            0xa8, 0x2f, 0xd9, 0x88, 0x6a, 0xe3, 0x3c, 0x7e, 0x56, 0x0d, 0x71, 0xdf,349            0x7d, 0xc8, 0x0c, 0x11, 0xec, 0x06, 0x35, 0xb9, 0xb3, 0x70, 0x41, 0xf6,350            0xed, 0x57, 0x88, 0x5c, 0xbc, 0xdf, 0xae, 0x35, 0xe2, 0xf6, 0x0c, 0xc9,351            0xf0, 0xca, 0x85, 0xbf, 0xf6, 0x16, 0x0c, 0x79, 0xdc, 0x2b, 0xf4, 0xa8,352            0x26, 0xbf, 0xbe, 0xa8, 0x42, 0xd7, 0x35, 0x01, 0x4d, 0xd7, 0x5c, 0x8f,353            0x44, 0xda, 0x4e, 0xe6, 0xb0, 0x21, 0xee, 0x00, 0xda, 0xbe, 0x01, 0xd9,354            0xff, 0x89, 0x89, 0xbb, 0x68, 0x89, 0x0b,355        },356        .corrupted_raw = &.{357            0x21, 0x00, 0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f,358            0x0b, 0x6e, 0x6b, 0x25, 0x7b, 0x9b, 0x00, 0x72, 0x0c, 0xd1, 0x54, 0x18,359            0xb0, 0xbf, 0xe0, 0x53, 0x15, 0x5a, 0x40, 0x41, 0xbe, 0xe8, 0x2f, 0x3b,360            0x8e, 0xb3, 0xef, 0xcb, 0xf4, 0x72, 0x26, 0x2e, 0xeb, 0xdc, 0x22, 0x49,361            0x30, 0x9f, 0x0d, 0x9d, 0xd6, 0x08, 0x09, 0xf7, 0xda, 0xb1, 0xb5, 0xae,362            0x8e, 0x41, 0x20, 0x46, 0xb7, 0x33, 0x8e, 0xb1, 0xf3, 0x20, 0xd4, 0x81,363            0xe0, 0x27, 0x2a, 0x6b, 0xce, 0x32, 0x48, 0x7a, 0xe3, 0x72, 0x97, 0x89,364            0x66, 0xd1, 0x1f, 0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70, 0xcc, 0xaa, 0xa4,365            0x67, 0x23, 0x00, 0x65, 0x53, 0xf1, 0x02, 0xd8, 0x51, 0x98, 0x72, 0x11,366            0x12, 0x04, 0xaa, 0x77, 0x92, 0x91, 0xbf, 0xa4, 0x61, 0x58, 0x78, 0xdb,367            0xa8, 0x2f, 0xd9, 0x88, 0x6a, 0xe3, 0x3c, 0x7e, 0x56, 0x0d, 0x71, 0xdf,368            0x7d, 0xc8, 0x0c, 0x10, 0xec, 0x06, 0x35, 0xb9, 0xb3, 0x70, 0x41, 0xf6,369            0xed, 0x57, 0x88, 0x5c, 0xbc, 0xdf, 0xae, 0x35, 0xe2, 0xf6, 0x0c, 0xc9,370            0xf0, 0xca, 0x85, 0xbf, 0xf6, 0x16, 0x0c, 0x79, 0xdc, 0x2b, 0xf4, 0xa8,371            0x26, 0xbf, 0xbe, 0xa8, 0x42, 0xd7, 0x35, 0x01, 0x4d, 0xd7, 0x5c, 0x8f,372            0x44, 0xda, 0x4e, 0xe6, 0xb0, 0x21, 0xee, 0x00, 0xda, 0xbe, 0x01, 0xd9,373            0xff, 0x89, 0x89, 0xbb, 0x68, 0x89, 0x0b,374        },375        .validate_verdict = true,376        .corrupted_validate_verdict = false,377    },378    .{379        .name = "ratchet-app-data",380        .key_entropy = &.{381            0xc0, 0x43, 0x31, 0x06, 0x9f, 0xaf, 0x52, 0x8c, 0x71, 0x96, 0x97, 0xb4,382            0x36, 0xb6, 0x4c, 0xc6, 0x8b, 0x36, 0x2a, 0x07, 0x98, 0x22, 0x3a, 0xf1,383            0x0e, 0x16, 0xc4, 0xe4, 0x61, 0x16, 0x61, 0x02, 0xa5, 0x3e, 0x1b, 0x46,384            0x67, 0xdc, 0xb7, 0x17, 0x49, 0x8c, 0x6d, 0x8f, 0x38, 0x5c, 0x41, 0x4a,385            0xa6, 0x8c, 0x11, 0xa4, 0x68, 0x0f, 0xa3, 0x87, 0x58, 0x88, 0x9c, 0x52,386            0xe7, 0x35, 0xcb, 0xc7,387        },388        .private_key = &.{389            0xc0, 0x43, 0x31, 0x06, 0x9f, 0xaf, 0x52, 0x8c, 0x71, 0x96, 0x97, 0xb4,390            0x36, 0xb6, 0x4c, 0xc6, 0x8b, 0x36, 0x2a, 0x07, 0x98, 0x22, 0x3a, 0xf1,391            0x0e, 0x16, 0xc4, 0xe4, 0x61, 0x16, 0x61, 0x42, 0xa5, 0x3e, 0x1b, 0x46,392            0x67, 0xdc, 0xb7, 0x17, 0x49, 0x8c, 0x6d, 0x8f, 0x38, 0x5c, 0x41, 0x4a,393            0xa6, 0x8c, 0x11, 0xa4, 0x68, 0x0f, 0xa3, 0x87, 0x58, 0x88, 0x9c, 0x52,394            0xe7, 0x35, 0xcb, 0xc7,395        },396        .public_key = &.{397            0x69, 0xad, 0x6e, 0xf5, 0x66, 0x55, 0xa4, 0x64, 0xc9, 0xe8, 0x9a, 0x5d,398            0x53, 0x49, 0xc2, 0x65, 0x41, 0x89, 0xf7, 0x6e, 0x35, 0xa5, 0xa4, 0x57,399            0xc3, 0x35, 0x0b, 0xf5, 0x84, 0x55, 0xc2, 0x79, 0x6f, 0xb0, 0x80, 0x6f,400            0x67, 0xdc, 0xe2, 0xac, 0x34, 0xce, 0x35, 0x39, 0xff, 0x20, 0x73, 0x8a,401            0xf2, 0x40, 0x78, 0x03, 0xb7, 0x83, 0x7c, 0xfe, 0xd2, 0x05, 0x5f, 0xfd,402            0xff, 0xb7, 0xba, 0xdb,403        },404        .identity_hash = &.{405            0x9e, 0x9f, 0x1a, 0xea, 0xd4, 0xf9, 0xba, 0xa8, 0xf0, 0xa8, 0x4a, 0x79,406            0x1c, 0x07, 0x7e, 0xff,407        },408        .destination_hash = &.{409            0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d, 0xfc, 0x99,410            0x2c, 0xcc, 0x49, 0xe0,411        },412        .name_hash = &.{413            0xb6, 0xf8, 0xe4, 0x79, 0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64,414        },415        .random_input = &.{416            0x52, 0xe7, 0x63, 0x15, 0x0e, 0x12, 0x4f, 0x7b, 0xa1, 0x9e, 0xfc, 0x6a,417            0x39, 0x4f, 0x42, 0x12,418        },419        .clock = 1700000003,420        .random_hash = &.{421            0x24, 0xbd, 0x39, 0xc4, 0x21, 0x00, 0x65, 0x53, 0xf1, 0x03,422        },423        .ratchet_key_entropy = &.{424            0x7f, 0x96, 0x94, 0x69, 0x2b, 0xf8, 0xc4, 0x01, 0xe4, 0x8c, 0xdc, 0x2d,425            0x44, 0x6b, 0x1b, 0x7a, 0xfc, 0xff, 0x96, 0x22, 0x0e, 0xa3, 0x87, 0xec,426            0x0a, 0x98, 0xd7, 0x79, 0xc7, 0x98, 0x74, 0xff,427        },428        .ratchet_private_key = &.{429            0x78, 0x96, 0x94, 0x69, 0x2b, 0xf8, 0xc4, 0x01, 0xe4, 0x8c, 0xdc, 0x2d,430            0x44, 0x6b, 0x1b, 0x7a, 0xfc, 0xff, 0x96, 0x22, 0x0e, 0xa3, 0x87, 0xec,431            0x0a, 0x98, 0xd7, 0x79, 0xc7, 0x98, 0x74, 0x7f,432        },433        .ratchet_public_key = &.{434            0xd4, 0xf1, 0x3e, 0x9d, 0x68, 0x34, 0x9b, 0xeb, 0x9b, 0xff, 0xe4, 0x70,435            0xc5, 0xf5, 0xd3, 0x67, 0x16, 0x22, 0xbc, 0x19, 0x9c, 0x40, 0xa5, 0x49,436            0x34, 0x8b, 0x14, 0xa4, 0xcf, 0xb4, 0xd8, 0x3a,437        },438        .app_data = &.{439            0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70,440            0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74,441            0x61,442        },443        .signed_data = &.{444            0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d, 0xfc, 0x99,445            0x2c, 0xcc, 0x49, 0xe0, 0x69, 0xad, 0x6e, 0xf5, 0x66, 0x55, 0xa4, 0x64,446            0xc9, 0xe8, 0x9a, 0x5d, 0x53, 0x49, 0xc2, 0x65, 0x41, 0x89, 0xf7, 0x6e,447            0x35, 0xa5, 0xa4, 0x57, 0xc3, 0x35, 0x0b, 0xf5, 0x84, 0x55, 0xc2, 0x79,448            0x6f, 0xb0, 0x80, 0x6f, 0x67, 0xdc, 0xe2, 0xac, 0x34, 0xce, 0x35, 0x39,449            0xff, 0x20, 0x73, 0x8a, 0xf2, 0x40, 0x78, 0x03, 0xb7, 0x83, 0x7c, 0xfe,450            0xd2, 0x05, 0x5f, 0xfd, 0xff, 0xb7, 0xba, 0xdb, 0xb6, 0xf8, 0xe4, 0x79,451            0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64, 0x24, 0xbd, 0x39, 0xc4, 0x21, 0x00,452            0x65, 0x53, 0xf1, 0x03, 0xd4, 0xf1, 0x3e, 0x9d, 0x68, 0x34, 0x9b, 0xeb,453            0x9b, 0xff, 0xe4, 0x70, 0xc5, 0xf5, 0xd3, 0x67, 0x16, 0x22, 0xbc, 0x19,454            0x9c, 0x40, 0xa5, 0x49, 0x34, 0x8b, 0x14, 0xa4, 0xcf, 0xb4, 0xd8, 0x3a,455            0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70,456            0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74,457            0x61,458        },459        .signature = &.{460            0x07, 0x23, 0x8f, 0x95, 0x7b, 0x9f, 0xa6, 0xc5, 0xb2, 0x5e, 0xa2, 0x11,461            0x8c, 0xc0, 0xe8, 0xf4, 0xed, 0x6f, 0x2e, 0x35, 0x2b, 0xc3, 0xdc, 0x49,462            0xb6, 0x74, 0xff, 0x5d, 0x62, 0x85, 0xa3, 0x67, 0x46, 0x85, 0x8d, 0x1e,463            0xb4, 0xff, 0xc1, 0xe1, 0x5c, 0x4e, 0xdd, 0x6d, 0x53, 0xbb, 0xa7, 0x14,464            0x59, 0x10, 0xa5, 0x17, 0x39, 0xee, 0x11, 0x70, 0x9d, 0x8c, 0x7b, 0x88,465            0x5b, 0x2a, 0xfa, 0x01,466        },467        .raw = &.{468            0x21, 0x00, 0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d,469            0xfc, 0x99, 0x2c, 0xcc, 0x49, 0xe0, 0x00, 0x69, 0xad, 0x6e, 0xf5, 0x66,470            0x55, 0xa4, 0x64, 0xc9, 0xe8, 0x9a, 0x5d, 0x53, 0x49, 0xc2, 0x65, 0x41,471            0x89, 0xf7, 0x6e, 0x35, 0xa5, 0xa4, 0x57, 0xc3, 0x35, 0x0b, 0xf5, 0x84,472            0x55, 0xc2, 0x79, 0x6f, 0xb0, 0x80, 0x6f, 0x67, 0xdc, 0xe2, 0xac, 0x34,473            0xce, 0x35, 0x39, 0xff, 0x20, 0x73, 0x8a, 0xf2, 0x40, 0x78, 0x03, 0xb7,474            0x83, 0x7c, 0xfe, 0xd2, 0x05, 0x5f, 0xfd, 0xff, 0xb7, 0xba, 0xdb, 0xb6,475            0xf8, 0xe4, 0x79, 0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64, 0x24, 0xbd, 0x39,476            0xc4, 0x21, 0x00, 0x65, 0x53, 0xf1, 0x03, 0xd4, 0xf1, 0x3e, 0x9d, 0x68,477            0x34, 0x9b, 0xeb, 0x9b, 0xff, 0xe4, 0x70, 0xc5, 0xf5, 0xd3, 0x67, 0x16,478            0x22, 0xbc, 0x19, 0x9c, 0x40, 0xa5, 0x49, 0x34, 0x8b, 0x14, 0xa4, 0xcf,479            0xb4, 0xd8, 0x3a, 0x07, 0x23, 0x8f, 0x95, 0x7b, 0x9f, 0xa6, 0xc5, 0xb2,480            0x5e, 0xa2, 0x11, 0x8c, 0xc0, 0xe8, 0xf4, 0xed, 0x6f, 0x2e, 0x35, 0x2b,481            0xc3, 0xdc, 0x49, 0xb6, 0x74, 0xff, 0x5d, 0x62, 0x85, 0xa3, 0x67, 0x46,482            0x85, 0x8d, 0x1e, 0xb4, 0xff, 0xc1, 0xe1, 0x5c, 0x4e, 0xdd, 0x6d, 0x53,483            0xbb, 0xa7, 0x14, 0x59, 0x10, 0xa5, 0x17, 0x39, 0xee, 0x11, 0x70, 0x9d,484            0x8c, 0x7b, 0x88, 0x5b, 0x2a, 0xfa, 0x01, 0x61, 0x6e, 0x6e, 0x6f, 0x75,485            0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c, 0x69, 0x63, 0x61, 0x74,486            0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,487        },488        .corrupted_raw = &.{489            0x21, 0x00, 0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d,490            0xfc, 0x99, 0x2c, 0xcc, 0x49, 0xe0, 0x00, 0x69, 0xad, 0x6e, 0xf5, 0x66,491            0x55, 0xa4, 0x64, 0xc9, 0xe8, 0x9a, 0x5d, 0x53, 0x49, 0xc2, 0x65, 0x41,492            0x89, 0xf7, 0x6e, 0x35, 0xa5, 0xa4, 0x57, 0xc3, 0x35, 0x0b, 0xf5, 0x84,493            0x55, 0xc2, 0x79, 0x6f, 0xb0, 0x80, 0x6f, 0x67, 0xdc, 0xe2, 0xac, 0x34,494            0xce, 0x35, 0x39, 0xff, 0x20, 0x73, 0x8a, 0xf2, 0x40, 0x78, 0x03, 0xb7,495            0x83, 0x7c, 0xfe, 0xd2, 0x05, 0x5f, 0xfd, 0xff, 0xb7, 0xba, 0xdb, 0xb6,496            0xf8, 0xe4, 0x79, 0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64, 0x24, 0xbd, 0x39,497            0xc4, 0x21, 0x00, 0x65, 0x53, 0xf1, 0x03, 0xd4, 0xf1, 0x3e, 0x9d, 0x68,498            0x34, 0x9b, 0xeb, 0x9b, 0xff, 0xe4, 0x70, 0xc5, 0xf5, 0xd3, 0x67, 0x16,499            0x22, 0xbc, 0x19, 0x9c, 0x40, 0xa5, 0x49, 0x34, 0x8b, 0x14, 0xa4, 0xcf,500            0xb4, 0xd8, 0x3a, 0x06, 0x23, 0x8f, 0x95, 0x7b, 0x9f, 0xa6, 0xc5, 0xb2,501            0x5e, 0xa2, 0x11, 0x8c, 0xc0, 0xe8, 0xf4, 0xed, 0x6f, 0x2e, 0x35, 0x2b,502            0xc3, 0xdc, 0x49, 0xb6, 0x74, 0xff, 0x5d, 0x62, 0x85, 0xa3, 0x67, 0x46,503            0x85, 0x8d, 0x1e, 0xb4, 0xff, 0xc1, 0xe1, 0x5c, 0x4e, 0xdd, 0x6d, 0x53,504            0xbb, 0xa7, 0x14, 0x59, 0x10, 0xa5, 0x17, 0x39, 0xee, 0x11, 0x70, 0x9d,505            0x8c, 0x7b, 0x88, 0x5b, 0x2a, 0xfa, 0x01, 0x61, 0x6e, 0x6e, 0x6f, 0x75,506            0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c, 0x69, 0x63, 0x61, 0x74,507            0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,508        },509        .validate_verdict = true,510        .corrupted_validate_verdict = false,511    },512};

1pub const announce = @import("announce.zig");