SealProof

Struct SealProof 

Source
#[repr(C)]
pub struct SealProof {
Show 13 fields pub path: Vec<[u8; 32]>, pub indices: Vec<bool>, pub payment_root: [u8; 32], pub customer_reward_pool: u64, pub merchant_reward_pool: u64, pub total_customer_activity: u64, pub total_merchant_activity: u64, pub community_score: u16, pub customer_reward_share: u16, pub merchant_reward_share: u16, pub weekly_active_users: u32, pub weekly_retention_rate: u16, pub weekly_activity_count: u32,
}
Expand description

Seal proof structure for dual merkle tree verification. Contains both the merkle proof path and the payment root being proven. Enhanced with epoch-specific data for accurate historical reward calculations.

Fields§

§path: Vec<[u8; 32]>

Seal merkle path nodes (sibling hashes)

§indices: Vec<bool>

Seal direction indices (false = left, true = right)

§payment_root: [u8; 32]

Payment root being proven (embedded in seal proof)

§customer_reward_pool: u64

Epoch-specific reward calculation data for accurate historical calculations

§merchant_reward_pool: u64§total_customer_activity: u64§total_merchant_activity: u64§community_score: u16§customer_reward_share: u16§merchant_reward_share: u16§weekly_active_users: u32§weekly_retention_rate: u16§weekly_activity_count: u32

Implementations§

Source§

impl SealProof

Source

pub fn new( path: Vec<[u8; 32]>, indices: Vec<bool>, payment_root: [u8; 32], customer_reward_pool: u64, merchant_reward_pool: u64, total_customer_activity: u64, total_merchant_activity: u64, community_score: u16, customer_reward_share: u16, merchant_reward_share: u16, weekly_active_users: u32, weekly_retention_rate: u16, weekly_activity_count: u32, ) -> Self

Create a new seal proof with path, indices, payment root, and epoch-specific data.

This constructor is required for:

  • Historical reward calculations
  • Production claim verification
  • Accurate epoch-specific data

Use this for all production claims that require historical accuracy.

§Parameters
  • path: Seal merkle path nodes (sibling hashes)
  • indices: Seal direction indices (false = left, true = right)
  • payment_root: Payment root being proven (embedded in seal proof)
  • customer_reward_pool: Epoch-specific customer reward pool
  • merchant_reward_pool: Epoch-specific merchant reward pool
  • total_customer_activity: Epoch-specific total customer activity
  • total_merchant_activity: Epoch-specific total merchant activity
  • community_score: Epoch-specific community score
  • customer_reward_share: Epoch-specific customer reward share
  • merchant_reward_share: Epoch-specific merchant reward share
  • weekly_active_users: Epoch-specific weekly active users
  • weekly_retention_rate: Epoch-specific weekly retention rate
  • weekly_activity_count: Epoch-specific weekly activity count
Source

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

Create a new seal proof for verification purposes only.

This constructor is suitable for:

  • Proof verification (merkle path validation)
  • Testing and development
  • Backward compatibility with existing proofs
  • Client-side utility functions

⚠️ WARNING: This proof will have zero epoch data. For historical reward calculations, use oracle-generated proofs instead.

§Parameters
  • path: Seal merkle path nodes (sibling hashes)
  • indices: Seal direction indices (false = left, true = right)
  • payment_root: Payment root being proven (embedded in seal proof)
§Usage
use miracle_api::prelude::SealProof;
let path = vec![[1u8; 32], [2u8; 32]];
let indices = vec![true, false];
let payment_root = [3u8; 32];
let proof = SealProof::new_for_verification(path, indices, payment_root);
// Use for proof verification only

Trait Implementations§

Source§

impl Clone for SealProof

Source§

fn clone(&self) -> SealProof

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for SealProof

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for SealProof

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Serialize for SealProof

Source§

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

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Az for T

Source§

fn az<Dst>(self) -> Dst
where T: Cast<Dst>,

Casts the value.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<Src, Dst> CastFrom<Src> for Dst
where Src: Cast<Dst>,

Source§

fn cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> CheckedAs for T

Source§

fn checked_as<Dst>(self) -> Option<Dst>
where T: CheckedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> CheckedCastFrom<Src> for Dst
where Src: CheckedCast<Dst>,

Source§

fn checked_cast_from(src: Src) -> Option<Dst>

Casts the value.
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<Src, Dst> LosslessTryInto<Dst> for Src
where Dst: LosslessTryFrom<Src>,

Source§

fn lossless_try_into(self) -> Option<Dst>

Performs the conversion.
Source§

impl<Src, Dst> LossyInto<Dst> for Src
where Dst: LossyFrom<Src>,

Source§

fn lossy_into(self) -> Dst

Performs the conversion.
Source§

impl<T> OverflowingAs for T

Source§

fn overflowing_as<Dst>(self) -> (Dst, bool)
where T: OverflowingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> OverflowingCastFrom<Src> for Dst
where Src: OverflowingCast<Dst>,

Source§

fn overflowing_cast_from(src: Src) -> (Dst, bool)

Casts the value.
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> SaturatingAs for T

Source§

fn saturating_as<Dst>(self) -> Dst
where T: SaturatingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> SaturatingCastFrom<Src> for Dst
where Src: SaturatingCast<Dst>,

Source§

fn saturating_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> UnwrappedAs for T

Source§

fn unwrapped_as<Dst>(self) -> Dst
where T: UnwrappedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> UnwrappedCastFrom<Src> for Dst
where Src: UnwrappedCast<Dst>,

Source§

fn unwrapped_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WrappingAs for T

Source§

fn wrapping_as<Dst>(self) -> Dst
where T: WrappingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> WrappingCastFrom<Src> for Dst
where Src: WrappingCast<Dst>,

Source§

fn wrapping_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,