1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48



#[derive(Debug)]
pub struct BuildConfig {
    pub as_root_ca_cert: &'static [u8],
    pub auditor_public_keys: &'static [&'static [u8]; 3],
    pub rpc_max_message_size: u64,
    pub attestation_validity_secs: u64,
    pub inbound: Inbounds,
}

#[derive(Debug)]
pub struct Inbounds {
    pub access_control: &'static [&'static str; 1],
    pub authentication: &'static [&'static str; 1],
    pub management: &'static [&'static str; 1],
    pub storage: &'static [&'static str; 2],
    pub scheduler: &'static [&'static str; 1],
}

pub const BUILD_CONFIG: BuildConfig = BuildConfig {
    as_root_ca_cert: &[48, 130, 5, 75, 48, 130, 3, 179, 160, 3, 2, 1, 2, 2, 9, 0, 209, 7, 118, 93, 50, 163, 176, 148, 48, 13, 6, 9, 42, 134, 72, 134, 247, 13, 1, 1, 11, 5, 0, 48, 126, 49, 11, 48, 9, 6, 3, 85, 4, 6, 19, 2, 85, 83, 49, 11, 48, 9, 6, 3, 85, 4, 8, 12, 2, 67, 65, 49, 20, 48, 18, 6, 3, 85, 4, 7, 12, 11, 83, 97, 110, 116, 97, 32, 67, 108, 97, 114, 97, 49, 26, 48, 24, 6, 3, 85, 4, 10, 12, 17, 73, 110, 116, 101, 108, 32, 67, 111, 114, 112, 111, 114, 97, 116, 105, 111, 110, 49, 48, 48, 46, 6, 3, 85, 4, 3, 12, 39, 73, 110, 116, 101, 108, 32, 83, 71, 88, 32, 65, 116, 116, 101, 115, 116, 97, 116, 105, 111, 110, 32, 82, 101, 112, 111, 114, 116, 32, 83, 105, 103, 110, 105, 110, 103, 32, 67, 65, 48, 32, 23, 13, 49, 54, 49, 49, 49, 52, 49, 53, 51, 55, 51, 49, 90, 24, 15, 50, 48, 52, 57, 49, 50, 51, 49, 50, 51, 53, 57, 53, 57, 90, 48, 126, 49, 11, 48, 9, 6, 3, 85, 4, 6, 19, 2, 85, 83, 49, 11, 48, 9, 6, 3, 85, 4, 8, 12, 2, 67, 65, 49, 20, 48, 18, 6, 3, 85, 4, 7, 12, 11, 83, 97, 110, 116, 97, 32, 67, 108, 97, 114, 97, 49, 26, 48, 24, 6, 3, 85, 4, 10, 12, 17, 73, 110, 116, 101, 108, 32, 67, 111, 114, 112, 111, 114, 97, 116, 105, 111, 110, 49, 48, 48, 46, 6, 3, 85, 4, 3, 12, 39, 73, 110, 116, 101, 108, 32, 83, 71, 88, 32, 65, 116, 116, 101, 115, 116, 97, 116, 105, 111, 110, 32, 82, 101, 112, 111, 114, 116, 32, 83, 105, 103, 110, 105, 110, 103, 32, 67, 65, 48, 130, 1, 162, 48, 13, 6, 9, 42, 134, 72, 134, 247, 13, 1, 1, 1, 5, 0, 3, 130, 1, 143, 0, 48, 130, 1, 138, 2, 130, 1, 129, 0, 159, 60, 100, 126, 181, 119, 60, 187, 81, 45, 39, 50, 192, 215, 65, 94, 187, 85, 160, 250, 158, 222, 46, 100, 145, 153, 230, 130, 29, 185, 16, 213, 49, 119, 55, 9, 119, 70, 106, 106, 94, 71, 134, 204, 210, 221, 235, 212, 20, 157, 106, 47, 99, 37, 82, 157, 209, 12, 201, 135, 55, 176, 119, 156, 26, 7, 226, 156, 71, 161, 174, 0, 73, 72, 71, 108, 72, 159, 69, 165, 161, 93, 122, 200, 236, 198, 172, 198, 69, 173, 180, 61, 135, 103, 157, 245, 156, 9, 59, 197, 162, 233, 105, 108, 84, 120, 84, 27, 151, 158, 117, 75, 87, 57, 20, 190, 85, 211, 47, 244, 192, 157, 223, 39, 33, 153, 52, 205, 153, 5, 39, 179, 249, 46, 215, 143, 191, 41, 36, 106, 190, 203, 113, 36, 14, 243, 156, 45, 113, 7, 180, 71, 84, 90, 127, 251, 16, 235, 6, 10, 104, 169, 133, 128, 33, 158, 54, 145, 9, 82, 104, 56, 146, 214, 165, 226, 168, 8, 3, 25, 62, 64, 117, 49, 64, 78, 54, 179, 21, 98, 55, 153, 170, 130, 80, 116, 64, 151, 84, 162, 223, 232, 245, 175, 213, 254, 99, 30, 31, 194, 175, 56, 8, 144, 111, 40, 167, 144, 217, 221, 159, 224, 96, 147, 155, 18, 87, 144, 197, 128, 93, 3, 125, 245, 106, 153, 83, 27, 150, 222, 105, 222, 51, 237, 34, 108, 193, 32, 125, 16, 66, 181, 201, 171, 127, 64, 79, 199, 17, 192, 254, 71, 105, 251, 149, 120, 177, 220, 14, 196, 105, 234, 26, 37, 224, 255, 153, 20, 136, 110, 242, 105, 155, 35, 91, 180, 132, 125, 214, 255, 64, 182, 6, 230, 23, 7, 147, 194, 251, 152, 179, 20, 88, 127, 156, 253, 37, 115, 98, 223, 234, 177, 11, 59, 210, 217, 118, 115, 161, 164, 189, 68, 196, 83, 170, 244, 127, 193, 242, 211, 208, 243, 132, 247, 74, 6, 248, 156, 8, 159, 13, 166, 205, 183, 252, 238, 232, 201, 130, 26, 142, 84, 242, 92, 4, 22, 209, 140, 70, 131, 154, 95, 128, 18, 251, 221, 61, 199, 77, 37, 98, 121, 173, 194, 192, 213, 90, 255, 111, 6, 34, 66, 93, 27, 2, 3, 1, 0, 1, 163, 129, 201, 48, 129, 198, 48, 96, 6, 3, 85, 29, 31, 4, 89, 48, 87, 48, 85, 160, 83, 160, 81, 134, 79, 104, 116, 116, 112, 58, 47, 47, 116, 114, 117, 115, 116, 101, 100, 115, 101, 114, 118, 105, 99, 101, 115, 46, 105, 110, 116, 101, 108, 46, 99, 111, 109, 47, 99, 111, 110, 116, 101, 110, 116, 47, 67, 82, 76, 47, 83, 71, 88, 47, 65, 116, 116, 101, 115, 116, 97, 116, 105, 111, 110, 82, 101, 112, 111, 114, 116, 83, 105, 103, 110, 105, 110, 103, 67, 65, 46, 99, 114, 108, 48, 29, 6, 3, 85, 29, 14, 4, 22, 4, 20, 120, 67, 123, 118, 166, 126, 188, 208, 175, 126, 66, 55, 235, 53, 124, 59, 135, 1, 81, 60, 48, 31, 6, 3, 85, 29, 35, 4, 24, 48, 22, 128, 20, 120, 67, 123, 118, 166, 126, 188, 208, 175, 126, 66, 55, 235, 53, 124, 59, 135, 1, 81, 60, 48, 14, 6, 3, 85, 29, 15, 1, 1, 255, 4, 4, 3, 2, 1, 6, 48, 18, 6, 3, 85, 29, 19, 1, 1, 255, 4, 8, 48, 6, 1, 1, 255, 2, 1, 0, 48, 13, 6, 9, 42, 134, 72, 134, 247, 13, 1, 1, 11, 5, 0, 3, 130, 1, 129, 0, 120, 95, 45, 96, 197, 200, 10, 244, 42, 121, 118, 16, 33, 57, 21, 218, 130, 201, 178, 158, 137, 224, 144, 42, 37, 166, 199, 91, 22, 9, 28, 104, 171, 32, 74, 174, 113, 24, 137, 73, 44, 126, 30, 50, 9, 17, 69, 90, 143, 193, 52, 66, 49, 46, 119, 166, 57, 148, 217, 151, 149, 200, 234, 69, 118, 130, 60, 234, 138, 209, 225, 145, 207, 168, 98, 250, 184, 169, 50, 211, 217, 176, 83, 90, 7, 2, 208, 85, 95, 116, 229, 32, 227, 3, 48, 243, 52, 128, 231, 173, 201, 215, 200, 30, 32, 112, 49, 66, 191, 0, 197, 40, 168, 11, 70, 51, 129, 253, 96, 42, 130, 199, 3, 82, 129, 170, 229, 149, 98, 204, 181, 51, 78, 168, 144, 62, 101, 11, 1, 6, 129, 245, 206, 142, 182, 46, 172, 156, 65, 73, 136, 36, 58, 236, 146, 242, 91, 241, 60, 223, 247, 235, 204, 41, 142, 229, 27, 186, 90, 53, 56, 182, 107, 38, 203, 196, 90, 81, 222, 0, 60, 173, 48, 101, 49, 173, 124, 245, 212, 239, 15, 136, 5, 209, 185, 19, 61, 36, 19, 90, 179, 196, 100, 26, 47, 136, 8, 52, 157, 115, 51, 41, 94, 14, 118, 238, 75, 197, 34, 114, 50, 98, 142, 250, 128, 215, 157, 146, 171, 78, 61, 17, 32, 243, 251, 90, 209, 25, 205, 141, 84, 74, 161, 212, 166, 134, 94, 107, 87, 190, 172, 87, 113, 48, 126, 46, 60, 185, 7, 13, 164, 123, 75, 252, 136, 105, 224, 20, 19, 234, 9, 53, 65, 222, 138, 121, 40, 17, 183, 70, 54, 197, 233, 20, 82, 207, 12, 238, 89, 242, 251, 64, 74, 205, 11, 197, 132, 203, 156, 131, 84, 4, 115, 76, 14, 126, 198, 96, 92, 223, 207, 47, 244, 57, 182, 212, 113, 159, 112, 47, 14, 12, 63, 160, 79, 219, 18, 166, 203, 42, 209, 171, 28, 154, 241, 248, 244, 195, 160, 142, 221, 114, 163, 43, 11, 181, 208, 173, 37, 111, 253, 21, 154, 104, 59, 42, 90, 31, 29, 17, 250, 98, 83, 47, 3, 215, 84, 202, 239, 13, 165, 115, 90, 30, 90, 136, 76, 126, 137, 217, 18, 24, 201, 215],
    auditor_public_keys: &[
        &[48, 130, 2, 10, 2, 130, 2, 1, 0, 167, 238, 159, 79, 35, 30, 137, 88, 92, 202, 55, 99, 11, 141, 202, 161, 74, 207, 46, 102, 237, 208, 98, 69, 108, 204, 162, 111, 224, 83, 167, 168, 160, 168, 202, 177, 116, 52, 1, 154, 128, 31, 97, 3, 85, 122, 136, 203, 92, 75, 183, 59, 211, 86, 129, 173, 240, 19, 43, 38, 199, 27, 35, 24, 22, 207, 28, 181, 181, 44, 74, 31, 159, 29, 0, 105, 196, 41, 178, 66, 147, 74, 64, 10, 153, 163, 5, 109, 141, 79, 249, 103, 75, 215, 30, 13, 180, 145, 113, 242, 88, 5, 91, 231, 207, 89, 18, 114, 57, 230, 244, 238, 19, 6, 111, 13, 237, 131, 4, 217, 87, 188, 40, 139, 207, 200, 138, 227, 91, 156, 86, 148, 140, 98, 225, 177, 65, 59, 242, 224, 161, 113, 41, 117, 115, 70, 137, 244, 2, 141, 53, 253, 123, 71, 159, 128, 217, 105, 240, 140, 23, 97, 234, 18, 80, 88, 170, 106, 201, 6, 254, 10, 59, 20, 139, 246, 219, 134, 255, 95, 200, 197, 198, 94, 215, 8, 135, 83, 149, 204, 146, 158, 171, 4, 10, 128, 246, 47, 145, 6, 228, 245, 243, 167, 130, 52, 132, 52, 116, 100, 79, 235, 195, 108, 48, 183, 164, 8, 230, 149, 116, 124, 209, 138, 230, 113, 177, 251, 107, 178, 206, 97, 227, 184, 217, 82, 134, 44, 72, 16, 74, 72, 59, 189, 39, 46, 226, 166, 202, 61, 1, 148, 171, 8, 41, 61, 171, 68, 150, 122, 7, 194, 227, 235, 149, 11, 166, 242, 186, 211, 124, 174, 137, 60, 226, 95, 198, 223, 46, 129, 237, 97, 89, 81, 239, 160, 125, 45, 67, 185, 208, 159, 37, 104, 27, 111, 145, 198, 57, 209, 16, 174, 81, 43, 151, 28, 150, 144, 60, 147, 209, 4, 11, 99, 28, 172, 146, 96, 225, 250, 74, 41, 144, 151, 210, 165, 75, 212, 233, 97, 118, 219, 126, 21, 218, 11, 99, 174, 225, 107, 98, 105, 202, 174, 251, 212, 177, 233, 75, 7, 240, 234, 146, 165, 163, 2, 121, 205, 60, 181, 34, 2, 173, 26, 111, 28, 85, 8, 199, 200, 46, 33, 101, 253, 94, 190, 164, 33, 172, 23, 182, 228, 9, 109, 9, 3, 242, 196, 100, 137, 157, 128, 128, 42, 136, 246, 231, 55, 7, 167, 67, 189, 134, 132, 200, 127, 73, 129, 188, 135, 144, 188, 117, 86, 217, 147, 168, 143, 43, 10, 95, 201, 136, 70, 245, 135, 170, 0, 86, 118, 167, 74, 193, 12, 130, 64, 39, 233, 93, 250, 5, 43, 169, 97, 254, 2, 167, 94, 181, 250, 45, 73, 45, 142, 94, 169, 207, 231, 169, 200, 138, 155, 130, 156, 111, 108, 51, 30, 38, 70, 248, 11, 154, 39, 180, 181, 64, 250, 118, 191, 178, 184, 185, 152, 2, 82, 223, 132, 45, 156, 131, 18, 195, 24, 223, 48, 143, 178, 77, 29, 35, 242, 191, 154, 63, 140, 216, 89, 206, 239, 17, 17, 2, 3, 1, 0, 1],
        &[48, 130, 2, 10, 2, 130, 2, 1, 0, 199, 200, 56, 16, 177, 65, 94, 191, 247, 188, 34, 45, 223, 168, 69, 245, 11, 223, 121, 10, 81, 101, 246, 119, 160, 134, 108, 227, 193, 61, 235, 217, 158, 3, 32, 90, 237, 102, 101, 134, 27, 31, 252, 190, 120, 91, 253, 203, 155, 158, 255, 96, 215, 158, 111, 188, 71, 149, 138, 100, 74, 220, 14, 25, 72, 155, 234, 246, 13, 218, 197, 197, 57, 215, 239, 37, 238, 150, 6, 200, 135, 127, 123, 191, 236, 0, 220, 72, 113, 167, 133, 84, 213, 104, 114, 202, 247, 175, 41, 81, 35, 109, 170, 205, 131, 161, 33, 155, 230, 89, 21, 61, 151, 65, 65, 120, 202, 92, 214, 7, 56, 93, 186, 172, 209, 184, 101, 98, 239, 20, 201, 106, 13, 1, 6, 215, 86, 1, 179, 240, 79, 3, 148, 179, 214, 169, 69, 224, 208, 115, 61, 139, 109, 142, 21, 22, 73, 114, 164, 44, 13, 31, 21, 111, 178, 85, 48, 135, 149, 214, 242, 56, 187, 15, 46, 71, 36, 9, 215, 219, 207, 187, 12, 124, 26, 38, 97, 155, 220, 120, 176, 127, 45, 210, 90, 190, 141, 243, 189, 7, 240, 11, 97, 95, 222, 12, 169, 56, 235, 201, 198, 38, 84, 183, 118, 77, 131, 92, 29, 42, 176, 78, 154, 193, 96, 179, 227, 244, 225, 17, 115, 84, 49, 201, 152, 28, 134, 105, 227, 204, 228, 60, 250, 108, 237, 139, 3, 182, 162, 154, 243, 170, 93, 65, 226, 197, 81, 32, 207, 148, 178, 188, 104, 93, 149, 13, 74, 92, 45, 78, 16, 123, 130, 0, 246, 50, 57, 176, 110, 30, 118, 168, 126, 95, 154, 250, 154, 93, 209, 225, 213, 174, 32, 115, 159, 143, 244, 77, 159, 174, 222, 163, 80, 180, 19, 22, 81, 176, 14, 11, 130, 120, 141, 44, 81, 81, 229, 88, 182, 205, 60, 103, 243, 18, 105, 226, 105, 155, 239, 25, 4, 192, 15, 64, 174, 159, 108, 30, 168, 78, 226, 216, 168, 44, 19, 163, 117, 201, 63, 145, 196, 14, 176, 250, 100, 76, 2, 142, 28, 243, 18, 45, 71, 242, 118, 164, 52, 83, 13, 208, 160, 84, 96, 67, 166, 111, 102, 65, 205, 112, 196, 73, 221, 0, 152, 169, 126, 43, 46, 90, 150, 226, 49, 38, 116, 219, 195, 106, 29, 76, 100, 131, 133, 208, 181, 208, 186, 243, 90, 182, 208, 255, 255, 7, 87, 106, 89, 194, 9, 36, 48, 87, 239, 41, 135, 95, 59, 19, 64, 9, 102, 92, 157, 149, 23, 155, 238, 99, 112, 0, 140, 177, 87, 95, 112, 122, 61, 148, 35, 2, 55, 85, 46, 203, 208, 188, 231, 190, 131, 162, 21, 125, 114, 172, 64, 102, 223, 27, 108, 35, 164, 58, 214, 169, 166, 35, 155, 101, 25, 89, 43, 255, 181, 189, 78, 23, 31, 251, 143, 23, 226, 221, 154, 111, 145, 125, 200, 127, 248, 44, 248, 41, 188, 174, 174, 83, 223, 72, 117, 74, 102, 77, 2, 3, 1, 0, 1],
        &[48, 130, 2, 10, 2, 130, 2, 1, 0, 165, 218, 163, 144, 172, 83, 169, 83, 153, 253, 143, 146, 237, 196, 91, 200, 85, 74, 206, 163, 111, 169, 215, 112, 103, 140, 30, 204, 227, 116, 128, 173, 208, 243, 67, 160, 55, 166, 179, 171, 174, 146, 71, 51, 190, 170, 255, 72, 234, 229, 38, 133, 243, 215, 22, 165, 249, 182, 203, 112, 181, 56, 17, 86, 186, 226, 123, 51, 173, 80, 133, 111, 223, 63, 251, 39, 129, 132, 102, 158, 222, 183, 243, 161, 247, 75, 41, 53, 153, 208, 25, 11, 11, 157, 171, 51, 71, 25, 95, 52, 235, 172, 241, 223, 248, 129, 223, 23, 170, 0, 130, 90, 7, 3, 181, 159, 179, 199, 22, 110, 187, 132, 220, 69, 235, 192, 145, 137, 185, 126, 168, 168, 87, 224, 33, 181, 107, 110, 247, 88, 241, 96, 9, 59, 182, 35, 20, 40, 101, 178, 64, 70, 210, 245, 76, 182, 181, 190, 58, 170, 120, 75, 81, 224, 246, 114, 228, 91, 47, 76, 17, 181, 37, 109, 62, 216, 146, 67, 226, 153, 90, 90, 232, 156, 227, 137, 78, 179, 6, 162, 11, 139, 206, 76, 14, 162, 50, 81, 238, 100, 127, 223, 86, 145, 195, 6, 108, 210, 237, 53, 106, 74, 134, 150, 21, 195, 185, 244, 192, 114, 14, 252, 69, 235, 17, 158, 199, 107, 86, 157, 124, 141, 121, 24, 195, 41, 204, 91, 255, 16, 53, 101, 85, 200, 244, 84, 199, 192, 204, 255, 84, 26, 156, 166, 153, 153, 133, 178, 148, 68, 47, 229, 60, 36, 111, 233, 61, 60, 5, 243, 44, 133, 65, 54, 51, 83, 19, 19, 86, 2, 213, 181, 81, 93, 91, 103, 106, 195, 49, 152, 220, 170, 127, 25, 7, 213, 57, 176, 249, 121, 102, 182, 52, 109, 244, 128, 188, 90, 161, 148, 203, 146, 39, 253, 30, 53, 134, 189, 158, 182, 16, 199, 201, 249, 102, 229, 31, 209, 4, 237, 172, 236, 219, 235, 232, 190, 16, 4, 124, 224, 244, 232, 232, 154, 129, 76, 190, 111, 206, 182, 205, 188, 212, 254, 161, 180, 146, 217, 229, 209, 202, 162, 38, 219, 85, 195, 27, 43, 151, 88, 252, 83, 248, 255, 18, 15, 172, 166, 152, 224, 17, 236, 175, 193, 177, 87, 243, 215, 153, 222, 254, 50, 117, 66, 69, 31, 241, 76, 237, 235, 49, 38, 208, 27, 241, 9, 43, 177, 32, 35, 165, 233, 31, 40, 173, 135, 224, 62, 58, 226, 160, 151, 19, 160, 11, 16, 79, 189, 203, 65, 76, 248, 129, 30, 10, 85, 44, 27, 235, 213, 237, 35, 230, 159, 13, 30, 59, 163, 119, 179, 70, 205, 35, 95, 31, 172, 63, 62, 229, 95, 12, 243, 70, 248, 53, 37, 124, 183, 51, 124, 40, 239, 203, 124, 48, 175, 154, 63, 105, 78, 194, 60, 163, 177, 249, 203, 86, 51, 74, 40, 120, 8, 214, 11, 54, 239, 134, 165, 42, 46, 238, 165, 51, 48, 151, 226, 118, 148, 149, 203, 218, 241, 2, 3, 1, 0, 1],
    ],
    rpc_max_message_size: 409600,
    attestation_validity_secs: 3600,
    inbound: Inbounds {
        access_control: &[
            "teaclave_management_service",
        ],
        authentication: &[
            "teaclave_frontend_service",
        ],
        management: &[
            "teaclave_frontend_service",
        ],
        storage: &[
            "teaclave_management_service",
            "teaclave_scheduler_service",
        ],
        scheduler: &[
            "teaclave_execution_service",
        ],
    }
};