molpha_verifier/
lib.rs

1//! Molpha DataUpdate aggregate-Schnorr verification.
2//!
3//! A framework-agnostic library (no Anchor / Pinocchio dependency): the downstream program owns the
4//! registry account types and reads them, then passes plain data in. Verify a Molpha [`DataUpdate`]
5//! either from already-resolved signer pubkeys ([`verify_data_update`]) or from parsed registry
6//! entries plus a [`RegistryView`] ([`verify_data_update_resolved`]).
7//!
8//! # Usage
9//! ```ignore
10//! use molpha_verifier::{verify_data_update, DataUpdate, SchnorrSignature};
11//!
12//! // `ordered_signers` are the signing nodes' (x, y) pubkeys in ascending signers_bitmap bit order.
13//! verify_data_update(&payload, node_count, redundancy_buffer, &ordered_signers)?;
14//! ```
15
16pub mod bitmap;
17pub mod coalition;
18pub mod error;
19pub mod message;
20pub mod onchain;
21pub mod payload;
22pub mod scalar;
23pub mod selection;
24pub mod state;
25pub mod verify;
26
27pub use error::DataUpdateError;
28pub use onchain::*;
29pub use payload::DataUpdate;
30pub use payload::SchnorrSignature;
31pub use state::*;
32
33// High-level verification API.
34pub use verify::{
35    reconstruct_coalition_key, reconstruct_coalition_key_compressed, verify_aggregate_over_hash,
36    verify_data_update, verify_data_update_compressed, SignerXy,
37};
38
39// Primitives commonly composed by on-chain callers.
40pub use bitmap::{
41    bitmap_is_subset_u256, bitmap_load, derive_group_bitmap, effective_selection_size,
42    for_each_set_bit_u256,
43};
44pub use coalition::CoalitionAccumulator;
45pub use message::{compute_message_hash, MESSAGE_PREFIX};
46pub use scalar::{
47    eth_address_from_uncompressed_pubkey, evm_schnorr_ecdsa_inputs,
48    secp256k1_scalar_is_valid_nonzero,
49};
50pub use selection::{derive_selection_bitmap, SELECTION_SEED_PREFIX};
molpha_verifier/lib.rs

molpha_verifier/
lib.rs
