hush

use anchor_lang::prelude::*; use crate::errors::Error;use crate::state::{ConfigState, PoolState}; #[derive(Accounts)]#[instruction(amount: u64)]pub struct CreatePool<'info> {    #[account(mut)]    pub admin: Signer<'info>,     #[account(        seeds=[b"config"],        bump=config.bump,        constraint=config.admin.key() == admin.key() @ Error::PermissionDenied    )]    pub config: Box<Account<'info, ConfigState>>,     #[account(        init,        payer=admin,        seeds=[b"pool", amount.to_le_bytes().as_ref()],        bump,        space=PoolState::INIT_SPACE + 8

1. Line 10 pub admin: Signer<'info>,: Requires this account to have signed the transaction.
2. Line 13 seeds=[b"config"],: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.
3. Line 14 bump=config.bump,: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.
4. Line 20 init,: Creates and pays for a new account. Space and payer must be specified.

use anchor_lang::prelude::*; use crate::state::ConfigState; #[derive(Accounts)]pub struct Initialize<'info> {    #[account(mut)]    pub admin: Signer<'info>,     #[account(        init,        payer=admin,        seeds=[b"config"],        bump,        space=ConfigState::INIT_SPACE + 8    )]    pub config: Box<Account<'info, ConfigState>>,     #[account(        seeds=[b"treasury"],        bump    )]    pub treasury: SystemAccount<'info>,

1. Line 8 pub admin: Signer<'info>,: Requires this account to have signed the transaction.
2. Line 11 init,: Creates and pays for a new account. Space and payer must be specified.
3. Line 13 seeds=[b"config"],: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.
4. Line 14 bump,: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.

        init,        payer=depositor,        seeds=[b"deposit", pool.key().as_ref(), commitment.as_ref()],        bump,        space=DepositState::INIT_SPACE + 8    )]    pub deposit: Box<Account<'info, DepositState>>,     pub system_program: Program<'info, System>,} impl<'info> Deposit<'info> {    pub fn deposit(        &mut self,        amount: u64,        commitment: [u8; 32],        bumps: &DepositBumps,    ) -> Result<()> {        // Ensure the merkle tree is not full.        require!(            self.pool.next_index < (1 << TREE_HEIGHT),            Error::MerkleTreeFull        );

1. Line 49 init,: Creates and pays for a new account. Space and payer must be specified.
2. Line 51 seeds=[b"deposit", pool.key().as_ref(), commitment.as_ref()],: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.
3. Line 52 bump,: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.
4. Line 68 require!(: An explicit validation that aborts the instruction with an error.

use anchor_lang::prelude::*; use crate::errors::Error;use crate::helpers::transfer_sol;use crate::state::{ConfigState, PoolState, WithdrawState};use crate::zk::verifier::verify_proof; #[derive(Accounts)]#[instruction(amount: u64, nullifier_hash: [u8; 32])]pub struct Withdraw<'info> {    #[account(mut)]    pub withdrawer: Signer<'info>,     #[account(        seeds=[b"config"],        bump=config.bump,    )]    pub config: Box<Account<'info, ConfigState>>,     #[account(        mut,        seeds=[b"pool", amount.to_le_bytes().as_ref()],        bump=pool.pool_bump,    )]

1. Line 12 pub withdrawer: Signer<'info>,: Requires this account to have signed the transaction.
2. Line 15 seeds=[b"config"],: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.
3. Line 16 bump=config.bump,: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.