light-merkle-tree-program 0.3.1

Light Protocol on-chain program which manages Merkle trees
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

use aligned_sized::aligned_sized;
use anchor_lang::prelude::*;
use anchor_spl::token::{Mint, Token, TokenAccount};

use crate::{
    utils::constants::{POOL_CONFIG_SEED, POOL_SEED, POOL_TYPE_SEED, TOKEN_AUTHORITY_SEED},
    MerkleTreeAuthority,
};

/// Nullfier pdas are derived from the nullifier
/// existence of a nullifier is the check to prevent double spends.
#[account]
#[aligned_sized(anchor)]
pub struct RegisteredAssetPool {
    pub asset_pool_pubkey: Pubkey,
    pub pool_type: [u8; 32],
    pub index: u64,
}

/// Pool type
#[account]
#[aligned_sized(anchor)]
pub struct RegisteredPoolType {
    pub pool_type: [u8; 32],
}

#[derive(Accounts)]
#[instruction(pool_type: [u8;32])]
pub struct RegisterPoolType<'info> {
    #[account(
        init,
        payer = authority,
        seeds = [&pool_type, POOL_TYPE_SEED],
        bump,
        space = RegisteredPoolType::LEN,
    )]
    pub registered_pool_type_pda: Account<'info, RegisteredPoolType>,
    /// CHECK:` Signer is checked according to authority pda in instruction
    #[account(mut)]
    pub authority: Signer<'info>,
    pub system_program: Program<'info, System>,
    pub rent: Sysvar<'info, Rent>,
    /// CHECK:` Is checked in instruction to account for the case of permissionless pool creations.
    pub merkle_tree_authority_pda: Account<'info, MerkleTreeAuthority>,
}

#[derive(Accounts)]
pub struct RegisterSplPool<'info> {
    #[account(
        init,
        payer = authority,
        seeds = [&mint.key().to_bytes(), &registered_pool_type_pda.pool_type, POOL_CONFIG_SEED],
        bump,
        space = RegisteredAssetPool::LEN,
    )]
    pub registered_asset_pool_pda: Account<'info, RegisteredAssetPool>,
    #[account(init,
              seeds = [
                  &mint.key().to_bytes(), &registered_pool_type_pda.pool_type,
                  POOL_SEED
              ],
              bump,
              payer = authority,
              token::mint = mint,
              token::authority = token_authority
    )]
    pub merkle_tree_pda_token: Account<'info, TokenAccount>,
    /// CHECK:` Signer is checked according to authority pda in instruction
    #[account(mut)]
    pub authority: Signer<'info>,
    pub system_program: Program<'info, System>,
    pub rent: Sysvar<'info, Rent>,
    /// CHECK:
    #[account(mut)]
    pub mint: Account<'info, Mint>,
    /// CHECK:
    #[account(mut, seeds=[TOKEN_AUTHORITY_SEED], bump)]
    pub token_authority: AccountInfo<'info>,
    pub token_program: Program<'info, Token>,
    /// Just needs to exist and be derived correctly.
    #[account(
        seeds = [&registered_pool_type_pda.pool_type[..], POOL_TYPE_SEED],
        bump,
    )]
    pub registered_pool_type_pda: Account<'info, RegisteredPoolType>,
    /// CHECK:` Is checked in instruction to account for the case of permissionless pool creations.
    #[account(mut)]
    pub merkle_tree_authority_pda: Account<'info, MerkleTreeAuthority>,
}

#[derive(Accounts)]
pub struct RegisterSolPool<'info> {
    #[account(
        init,
        payer = authority,
        seeds = [&[0u8;32], &registered_pool_type_pda.pool_type, POOL_CONFIG_SEED],
        bump,
        space = RegisteredAssetPool::LEN,
    )]
    pub registered_asset_pool_pda: Account<'info, RegisteredAssetPool>,
    /// CHECK:` Signer is checked according to authority pda in instruction
    #[account(mut)]
    pub authority: Signer<'info>,
    pub system_program: Program<'info, System>,
    pub rent: Sysvar<'info, Rent>,
    #[account(
        seeds = [&registered_pool_type_pda.pool_type[..], POOL_TYPE_SEED],
        bump,
    )]
    pub registered_pool_type_pda: Account<'info, RegisteredPoolType>,
    /// CHECK:` Is checked in instruction to account for the case of permissionless pool creations.
    #[account(mut)]
    pub merkle_tree_authority_pda: Account<'info, MerkleTreeAuthority>,
}