Struct Message 

pub struct Message<H: Hashable> {
    input: H,
    pub_key_x: BaseField,
    pub_key_y: BaseField,
    rx: BaseField,
}

Internal message structure for Schnorr signature hash computation.

This struct combines the user’s input message with cryptographic context (public key and nonce commitment) to create the hash input for computing the Schnorr signature challenge. It implements [Hashable] to be compatible with Mina’s Poseidon-based hashing.

Schnorr Signature Context

In the Schnorr signature scheme, the challenge e is computed as:

e = H(input || pub_key_x || pub_key_y || rx)

where:

• input is the user’s message to sign
• pub_key_x, pub_key_y are the signer’s public key coordinates
• rx is the x-coordinate of the nonce commitment point R = k·G

This binding ensures the signature is tied to a specific message, public key, and nonce, preventing various attack vectors.

Fields

• input: The original message being signed, implementing [Hashable]
• pub_key_x: X-coordinate of the signer’s public key
• pub_key_y: Y-coordinate of the signer’s public key
• rx: X-coordinate of the nonce commitment point

Fields

input: H

The original input message to be signed

pub_key_x: BaseField

X-coordinate of the signer’s public key

pub_key_y: BaseField

Y-coordinate of the signer’s public key

rx: BaseField

X-coordinate of the nonce commitment point R = k·G

Trait Implementations

impl<H: Clone + Hashable> Clone for Message<H>

fn clone(&self) -> Message<H>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<H: Hashable> Hashable for Message<H>

type D = <H as Hashable>::D

Generic domain string argument type

fn to_roinput(&self) -> ROInput

Serialization to random oracle input

fn domain_string(domain_param: Self::D) -> Option<String>

Generate unique domain string of length <= 20.