Struct MerkleProof 

#[repr(C)]
pub struct MerkleProof {
    pub path: Vec<[u8; 32]>,
    pub indices: Vec<bool>,
}

Merkle proof for a specific participant.

This structure contains the path and direction indices needed to verify that a participant’s data is included in the merkle tree.

Security

• Cryptographic: Uses Solana hashv for collision resistance
• Deterministic: Same participant always generates same proof
• Verifiable: Can be verified on-chain against merkle root

Fields

path: Vec<[u8; 32]>

Merkle path nodes (sibling hashes)

indices: Vec<bool>

Direction indices (false = left, true = right)

Implementations

impl MerkleProof

pub fn new(path: Vec<[u8; 32]>, indices: Vec<bool>) -> Self

Create a new merkle proof.

Parameters

• path: Vector of merkle path nodes
• indices: Vector of direction indices

Returns

• New MerkleProof instance

pub fn verify( &self, participant: &DailyParticipantData, merkle_root: [u8; 32], ) -> bool

Verify this proof against a merkle root and participant data.

Parameters

• participant: The participant data to verify
• merkle_root: The expected merkle root

Returns

• true if proof is valid
• false if proof is invalid

Example

use miracle_api::{sdk, prelude::{DailyParticipantData, MerkleTree}};

let participant = DailyParticipantData::new([1u8; 32], 1723680000, 1723766400, [1u8; 8], [2u8; 8], 5, 0);
let participants = vec![participant.clone()];
let merkle_tree = MerkleTree::new(participants);
let proof = merkle_tree.generate_proof(0);

assert!(proof.verify(&participant, merkle_tree.root()));

pub fn length(&self) -> usize

Get the proof length (number of path nodes).

Returns

• Number of nodes in the proof path

pub fn is_empty(&self) -> bool

Check if this is an empty proof (single leaf tree).

Returns

• true if proof is empty
• false if proof has path nodes

pub fn serialize(&self) -> Vec<u8>

Serialize the MerkleProof to bytes (for use in transactions, batch claims, etc.)

pub fn deserialize(data: &[u8]) -> Self

Deserialize a MerkleProof from bytes.

Trait Implementations

impl Clone for MerkleProof

fn clone(&self) -> MerkleProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MerkleProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MerkleProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for MerkleProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.