molpha-verifier 0.3.0-dev.4

Solana program library for verifying Molpha threshold-signed oracle updates
Documentation 
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130

//! Shared 12-node registry EVM compatibility fixture.
//!
//! Seven signers at bit positions 3, 5, 7, 8, 9, 10, 11 (`signersBitmap = 4008`).
#![allow(dead_code)]

pub const REGISTERED_NODE_COUNT: u32 = 12;
pub const REGISTRY_VERSION: u32 = 12;
pub const SIGNATURES_REQUIRED: u8 = 5;
pub const REDUNDANCY_BUFFER: u8 = 2;
pub const CANONICAL_TIMESTAMP: u64 = 1_705_257_421;
pub const SIGNER_COUNT: u32 = 7;

/// Expected `compute_message_hash` for this fixture (`abi.encodePacked` with `uint8` threshold).
pub const MESSAGE_HASH: [u8; 32] = [
    0x52, 0xe9, 0x2f, 0x58, 0xc9, 0xc1, 0x28, 0xd2, 0xf7, 0xe0, 0xbe, 0x61, 0x65, 0xc4, 0xd5, 0x8f,
    0x84, 0x3c, 0x39, 0xe8, 0x28, 0xc1, 0x2f, 0xca, 0xd8, 0xcd, 0xc5, 0x66, 0x15, 0x2f, 0x2b, 0xb1,
];

pub const SOURCE_ID: [u8; 32] = [
    0x41, 0xb8, 0x7c, 0xd1, 0xb0, 0x02, 0x31, 0xa5, 0xca, 0xeb, 0xdf, 0xbc, 0x3e, 0x35, 0x2d, 0x92,
    0xbb, 0x0e, 0xc1, 0x16, 0x33, 0x5c, 0xc3, 0x54, 0x42, 0x78, 0xa4, 0xba, 0xc9, 0x50, 0x71, 0xa7,
];

pub const VALUE: [u8; 32] = [
    0x12, 0xcd, 0x90, 0xa4, 0xcd, 0x43, 0x51, 0xa2, 0x6f, 0x2b, 0xd0, 0x25, 0x83, 0xd7, 0x91, 0xae,
    0x1b, 0x1a, 0x32, 0x85, 0x85, 0x3a, 0x33, 0x15, 0xe7, 0x18, 0xdb, 0x8d, 0x7b, 0x85, 0xa6, 0x2d,
];

/// EVM `uint256(4008)` big-endian — bits 3, 5, 7, 8, 9, 10, 11 set.
pub const SIGNERS_BITMAP: [u8; 32] = [
    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0f, 0xa8,
];

/// `schnorrSignature.signature` — the Schnorr scalar `s`.
pub const S: [u8; 32] = [
    0x7f, 0xa5, 0xaf, 0x9c, 0xcd, 0xd0, 0xe0, 0xa5, 0x7b, 0x3c, 0x67, 0x41, 0x73, 0x8e, 0x21, 0x2f,
    0x4b, 0xb9, 0xb0, 0x44, 0x9b, 0x7b, 0x5b, 0xe3, 0xe1, 0xc0, 0xb0, 0x87, 0x5e, 0xa7, 0x18, 0xb8,
];

/// `schnorrSignature.commitment` — Ethereum address (20 bytes).
pub const COMMITMENT: [u8; 20] = [
    0x5e, 0x69, 0xc8, 0xb5, 0x6f, 0x51, 0xdf, 0xc5, 0xcd, 0x98, 0xe9, 0xf7, 0x9b, 0x4a, 0x3c, 0x8b,
    0x6e, 0xf0, 0x29, 0x43,
];

/// Full registry — compressed secp256k1 pubkeys for nodes 0–11.
pub const PUBKEYS: [[u8; 33]; 12] = [
    [
        0x03, 0xb9, 0x36, 0x85, 0x48, 0xc5, 0xfb, 0x86, 0x11, 0xce, 0x88, 0xaf, 0x5f, 0x8a, 0xfe,
        0x4a, 0x4c, 0x09, 0x19, 0x71, 0x8a, 0x1e, 0x3c, 0xdf, 0xca, 0x88, 0x0e, 0x1c, 0x04, 0xad,
        0xd8, 0x11, 0x8b,
    ],
    [
        0x03, 0x39, 0x60, 0x4f, 0x6c, 0xc2, 0x77, 0xd6, 0x11, 0x73, 0x29, 0x52, 0xbb, 0xde, 0x9e,
        0x7d, 0x46, 0xba, 0x23, 0x3e, 0x97, 0x9d, 0xfd, 0xc1, 0x0f, 0x3e, 0x60, 0xbe, 0x22, 0x60,
        0x60, 0x24, 0xed,
    ],
    [
        0x03, 0xf9, 0x6f, 0x19, 0xda, 0x7f, 0x28, 0xea, 0xbe, 0xf6, 0x2c, 0x7a, 0x8a, 0xbb, 0x05,
        0xd3, 0xf1, 0xa5, 0xf5, 0x3f, 0x0e, 0xdb, 0xe7, 0xba, 0xe3, 0x53, 0x91, 0x73, 0x7e, 0xc6,
        0x65, 0xf1, 0x2d,
    ],
    [
        0x03, 0xd4, 0xe6, 0xaa, 0xfb, 0x54, 0x3f, 0x46, 0x49, 0xe8, 0x02, 0xfd, 0xdd, 0x92, 0xf9,
        0x60, 0x1d, 0xf9, 0x9b, 0xba, 0x5c, 0x43, 0x9d, 0x26, 0x9b, 0x61, 0x09, 0x5a, 0x84, 0x6e,
        0x2c, 0x73, 0xa2,
    ],
    [
        0x02, 0xb2, 0x8f, 0x93, 0x1a, 0x8c, 0xd1, 0x8a, 0xf8, 0xf7, 0x8d, 0x94, 0xd3, 0x33, 0x69,
        0x6e, 0xf8, 0x38, 0x5f, 0xa6, 0x9e, 0xf6, 0xff, 0x93, 0x1a, 0xf9, 0x9b, 0x0b, 0x11, 0xd5,
        0x01, 0x6c, 0xc5,
    ],
    [
        0x03, 0xfa, 0x32, 0x7c, 0x1e, 0xca, 0x14, 0x7a, 0x9f, 0x5d, 0xe3, 0x75, 0x64, 0x37, 0x1b,
        0x16, 0x9f, 0x37, 0x8e, 0x68, 0x7d, 0xa3, 0xf3, 0x1c, 0xe5, 0x5e, 0xdf, 0x61, 0x13, 0x2d,
        0x4f, 0x69, 0x3e,
    ],
    [
        0x03, 0xd4, 0xac, 0x64, 0xe8, 0x45, 0x7c, 0x6c, 0x5b, 0x2a, 0x1f, 0x64, 0x0b, 0x9e, 0xe5,
        0xb4, 0x81, 0x0e, 0xc7, 0x56, 0x85, 0x2e, 0xbb, 0xf7, 0x39, 0x70, 0xa9, 0x0a, 0x06, 0x99,
        0xc6, 0x40, 0x96,
    ],
    [
        0x03, 0x98, 0x67, 0x15, 0x3d, 0xe3, 0xef, 0x5a, 0x67, 0x6b, 0x45, 0x32, 0xa7, 0xd0, 0xbb,
        0xa7, 0x2c, 0xb5, 0x92, 0x55, 0x85, 0x42, 0x21, 0x3a, 0xab, 0xa1, 0xc2, 0x5c, 0xff, 0x18,
        0x1e, 0x1e, 0xee,
    ],
    [
        0x02, 0xa2, 0x14, 0x1b, 0xab, 0x70, 0x1d, 0x5d, 0x9c, 0x9f, 0x69, 0x73, 0x87, 0x95, 0xcf,
        0xdc, 0xea, 0x09, 0xc7, 0x65, 0xb1, 0x75, 0x95, 0x82, 0x35, 0xac, 0xbb, 0x3e, 0x17, 0x4f,
        0xb3, 0x2e, 0xc4,
    ],
    [
        0x02, 0x03, 0x95, 0xf1, 0x92, 0x88, 0xa6, 0x40, 0x36, 0x9f, 0xb2, 0xdf, 0xa4, 0x2c, 0x1f,
        0x5d, 0xbc, 0x96, 0x10, 0x68, 0x08, 0x7f, 0xd8, 0x4d, 0xca, 0x00, 0xfc, 0xe9, 0x41, 0xca,
        0xa3, 0xe7, 0x7b,
    ],
    [
        0x02, 0xe5, 0x82, 0x7a, 0x5a, 0xeb, 0x46, 0x31, 0x37, 0xe8, 0x44, 0x37, 0xd3, 0xac, 0xb0,
        0x0f, 0xde, 0xc6, 0x3e, 0x71, 0x75, 0x54, 0xc8, 0x3e, 0x45, 0x97, 0x71, 0x53, 0xd0, 0x02,
        0xf6, 0x58, 0xe4,
    ],
    [
        0x03, 0xea, 0xde, 0x2e, 0x58, 0x9a, 0x7d, 0x26, 0x32, 0xa4, 0xc1, 0x77, 0xa8, 0xd0, 0x17,
        0x4d, 0x9b, 0x0f, 0x1e, 0xfb, 0x19, 0x2f, 0x54, 0x4a, 0xdf, 0x43, 0x10, 0x9b, 0x5c, 0x63,
        0xb8, 0x9a, 0x85,
    ],
];

/// 77-byte borsh encoding of the fixture [`AttestationPayload`](molpha_verifier::AttestationPayload).
#[cfg(feature = "borsh")]
pub const PAYLOAD_BORSH: [u8; 77] = [
    0x12, 0xcd, 0x90, 0xa4, 0xcd, 0x43, 0x51, 0xa2, 0x6f, 0x2b, 0xd0, 0x25, 0x83, 0xd7, 0x91, 0xae,
    0x1b, 0x1a, 0x32, 0x85, 0x85, 0x3a, 0x33, 0x15, 0xe7, 0x18, 0xdb, 0x8d, 0x7b, 0x85, 0xa6, 0x2d,
    0x41, 0xb8, 0x7c, 0xd1, 0xb0, 0x02, 0x31, 0xa5, 0xca, 0xeb, 0xdf, 0xbc, 0x3e, 0x35, 0x2d, 0x92,
    0xbb, 0x0e, 0xc1, 0x16, 0x33, 0x5c, 0xc3, 0x54, 0x42, 0x78, 0xa4, 0xba, 0xc9, 0x50, 0x71, 0xa7,
    0x0c, 0x00, 0x00, 0x00, 0x05, 0xcd, 0x29, 0xa4, 0x65, 0x00, 0x00, 0x00, 0x00,
];

/// 84-byte borsh encoding of the fixture aggregate Schnorr signature.
#[cfg(feature = "borsh")]
pub const SIGNATURE_BORSH: [u8; 84] = [
    0x7f, 0xa5, 0xaf, 0x9c, 0xcd, 0xd0, 0xe0, 0xa5, 0x7b, 0x3c, 0x67, 0x41, 0x73, 0x8e, 0x21, 0x2f,
    0x4b, 0xb9, 0xb0, 0x44, 0x9b, 0x7b, 0x5b, 0xe3, 0xe1, 0xc0, 0xb0, 0x87, 0x5e, 0xa7, 0x18, 0xb8,
    0x5e, 0x69, 0xc8, 0xb5, 0x6f, 0x51, 0xdf, 0xc5, 0xcd, 0x98, 0xe9, 0xf7, 0x9b, 0x4a, 0x3c, 0x8b,
    0x6e, 0xf0, 0x29, 0x43, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
    0x00, 0x00, 0x0f, 0xa8,
];