Struct Proof 

#[repr(C)]
pub struct Proof {
    pub claimed_epochs: [u64; 8],
    pub authority: Pubkey,
    pub last_claim_at: i64,
    pub last_claim_epoch: u64,
    pub total_claimed_rewards: u64,
    pub claim_count: u32,
    pub _padding: [u8; 4],
}

Proof accounts track a member’s basic claim information. Every member is allowed one proof account which is required by the program to claim rewards. A member is usually mapped to a public wallet address.

Note: Double-spending prevention is handled by a bitmap-based epoch tracking system combined with the Dual Merkle Tree system for unlimited claim history.

Fields

claimed_epochs: [u64; 8]

Bitmap tracking claimed epochs (512 bits = 8 u64s, covers ~1.4 years) Each bit represents whether an epoch has been claimed Circulation: epoch % 512 determines the bit position

authority: Pubkey

The signer authorized to use this proof, usually member pubkey

last_claim_at: i64

Timestamp of the last claim (Unix timestamp)

last_claim_epoch: u64

Epoch of the last claim (project-specific epoch number)

total_claimed_rewards: u64

Sum of all successful claims (lifetime total)

claim_count: u32

Number of successful claims

_padding: [u8; 4]

Padding to ensure 8-byte alignment

Implementations

impl Proof

pub fn to_bytes(&self) -> &[u8]

impl Proof

pub fn is_epoch_claimed(&self, epoch: u64) -> bool

Check if a specific epoch has been claimed using bitmap tracking

Parameters

• epoch: The epoch number to check

Returns

• true if the epoch has been claimed, false otherwise

Circulation Logic

Uses modulo 512 to circulate the bitmap: epoch % 512 determines the bit position This provides a rolling 512-day window (~1.4 years) for claim tracking

pub fn mark_epoch_claimed(&mut self, epoch: u64)

Mark a specific epoch as claimed in the bitmap

Parameters

• epoch: The epoch number to mark as claimed

Circulation Logic

Uses modulo 512 to circulate the bitmap: epoch % 512 determines the bit position This provides a rolling 512-day window (~1.4 years) for claim tracking

pub fn clear_epoch_claimed(&mut self, epoch: u64)

Clear a specific epoch claim in the bitmap (for testing/reset purposes)

Parameters

• epoch: The epoch number to clear

Circulation Logic

Uses modulo 512 to circulate the bitmap: epoch % 512 determines the bit position This provides a rolling 512-day window (~1.4 years) for claim tracking

pub fn claimed_epoch_count(&self) -> u32

Get the number of claimed epochs in the bitmap

Returns

• The total number of claimed epochs tracked in the bitmap

pub fn is_empty(&self) -> bool

Check if the bitmap is empty (no epochs claimed)

Returns

• true if no epochs are claimed, false otherwise

Trait Implementations

impl AccountValidation for Proof

fn assert<F>(&self, condition: F) -> Result<&Self, ProgramError>

where F: Fn(&Self) -> bool,

fn assert_err<F>( &self, condition: F, err: ProgramError, ) -> Result<&Self, ProgramError>

where F: Fn(&Self) -> bool,

fn assert_msg<F>(&self, condition: F, msg: &str) -> Result<&Self, ProgramError>

where F: Fn(&Self) -> bool,

fn assert_mut<F>(&mut self, condition: F) -> Result<&mut Self, ProgramError>

where F: Fn(&Self) -> bool,

fn assert_mut_err<F>( &mut self, condition: F, err: ProgramError, ) -> Result<&mut Self, ProgramError>

where F: Fn(&Self) -> bool,

fn assert_mut_msg<F>( &mut self, condition: F, msg: &str, ) -> Result<&mut Self, ProgramError>

where F: Fn(&Self) -> bool,

impl Clone for Proof

fn clone(&self) -> Proof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Proof

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

Formats the value using the given formatter.

impl Discriminator for Proof

fn discriminator() -> u8

impl PartialEq for Proof

fn eq(&self, other: &Proof) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Zeroable for Proof

fn zeroed() -> Self

Calls zeroed.

impl Copy for Proof

impl Pod for Proof

impl StructuralPartialEq for Proof