Module verify 

High-level DataUpdate verification over caller-supplied signer pubkeys.

These functions are pure: the caller resolves the signer pubkeys (e.g. from an on-chain registry, an off-chain snapshot, or hard-coded constants) and passes them in. No anchor, no AccountInfo, no PDA reads.

Functions

reconstruct_coalition_key

Reconstruct the coalition key Σ X_i from ordered signer pubkeys → compressed (33 bytes).

reconstruct_coalition_key_compressed

Compressed-pubkey variant of reconstruct_coalition_key.

verify_aggregate_over_hash

Verify the aggregate Schnorr signature over an arbitrary message_hash against the coalition formed by ordered_signers.

verify_data_update

Verify a full DataUpdate payload against caller-supplied signer pubkeys.

verify_data_update_compressed

Like verify_data_update but taking compressed (33-byte) signer pubkeys.

Type Aliases

SignerXy

Stored secp256k1 affine coordinates (x, y), big-endian — as kept in a Node.