Make

Instruksi make melakukan tiga tugas:

Menginisialisasi catatan Escrow dan menyimpan semua ketentuan kesepakatan.
Membuat Vault (ATA untuk mint_a yang dimiliki oleh escrow).
Memindahkan Token A milik pembuat ke vault tersebut dengan CPI ke program SPL-Token.

Required Accounts

Berikut adalah akun yang dibutuhkan oleh konteks:

maker: pembuat escrow. Harus menjadi penandatangan dan dapat diubah
escrow: akun escrow yang kita inisialisasi. Harus dapat diubah
mint_a: token yang kita setorkan ke dalam escrow
mint_b: token yang ingin kita terima
maker_ata_a: akun token terkait yang dimiliki oleh pembuat. Harus dapat diubah
vault: akun token terkait yang dimiliki oleh escrow. Harus dapat diubah
system_program: program sistem. Harus dapat dieksekusi
token_program: program token. Harus dapat dieksekusi

Catatan: Kita akan menggunakan tipe yang diperkenalkan dalam Pengantar Pinocchio.

Dalam kode, ini terlihat seperti:

rust
pub struct MakeAccounts<'a> {
  pub maker: &'a AccountInfo,
  pub escrow: &'a AccountInfo,
  pub mint_a: &'a AccountInfo,
  pub mint_b: &'a AccountInfo,
  pub maker_ata_a: &'a AccountInfo,
  pub vault: &'a AccountInfo,
  pub system_program: &'a AccountInfo,
  pub token_program: &'a AccountInfo,
}

impl<'a> TryFrom<&'a [AccountInfo]> for MakeAccounts<'a> {
  type Error = ProgramError;

  fn try_from(accounts: &'a [AccountInfo]) -> Result<Self, Self::Error> {
    let [maker, escrow, mint_a, mint_b, maker_ata_a, vault, system_program, token_program, _] = accounts else {
      return Err(ProgramError::NotEnoughAccountKeys);
    };

    // Basic Accounts Checks
    SignerAccount::check(maker)?;
    MintInterface::check(mint_a)?;
    MintInterface::check(mint_b)?;
    AssociatedTokenAccount::check(maker_ata_a, maker, mint_a, token_program)?;

    // Return the accounts
    Ok(Self {
      maker,
      escrow,
      mint_a,
      mint_b,
      maker_ata_a,
      vault,
      system_program,
      token_program,
    })
  }
}

Instruction Data

Berikut adalah data instruksi yang perlu kita masukkan:

seed: angka acak yang digunakan selama derivasi seed. Harus berupa u64
receive: jumlah yang ingin diterima oleh pembuat. Harus berupa u64
amount: jumlah yang ingin disetor oleh pembuat. Harus berupa u64

Kita akan memeriksa untuk memastikan amount tidak nol, karena itu tidak akan masuk akal untuk sebuah escrow.

Berikut tampilannya dalam kode:

rust
pub struct MakeInstructionData {
  pub seed: u64,
  pub receive: u64,
  pub amount: u64,
}

impl<'a> TryFrom<&'a [u8]> for MakeInstructionData {
  type Error = ProgramError;

  fn try_from(data: &'a [u8]) -> Result<Self, Self::Error> {
    if data.len() != size_of::<u64>() * 3 {
      return Err(ProgramError::InvalidInstructionData);
    }

    let seed = u64::from_le_bytes(data[0..8].try_into().unwrap());
    let receive = u64::from_le_bytes(data[8..16].try_into().unwrap());
    let amount = u64::from_le_bytes(data[16..24].try_into().unwrap());

    // Instruction Checks
    if amount == 0 {
      return Err(ProgramError::InvalidInstructionData);
    }

    Ok(Self {
      seed,
      receive,
      amount,
    })
  }
}

Instruction Logic

Kita mulai dengan menginisialisasi akun yang diperlukan dalam implementasi TryFrom, setelah kita mendeserialkan baik instruction_data maupun accounts.

Untuk langkah ini, kita membuat akun Escrow menggunakan trait ProgramAccount::init::<Escrow> dari fungsi pembantu yang diperkenalkan dalam Pengantar Pinocchio. Demikian juga, kita menginisialisasi akun Vault karena perlu dibuat baru:

rust
pub struct Make<'a> {
  pub accounts: MakeAccounts<'a>,
  pub instruction_data: MakeInstructionData,
  pub bump: u8,
}

impl<'a> TryFrom<(&'a [u8], &'a [AccountInfo])> for Make<'a> {
  type Error = ProgramError;
  
  fn try_from((data, accounts): (&'a [u8], &'a [AccountInfo])) -> Result<Self, Self::Error> {
    let accounts = MakeAccounts::try_from(accounts)?;
    let instruction_data = MakeInstructionData::try_from(data)?;

    // Initialize the Accounts needed
    let (_, bump) = find_program_address(&[b"escrow", accounts.maker.key(), &instruction_data.seed.to_le_bytes()], &crate::ID);

    let seed_binding = instruction_data.seed.to_le_bytes();
    let bump_binding = [bump];
    let escrow_seeds = [
      Seed::from(b"escrow"),
      Seed::from(accounts.maker.key().as_ref()),
      Seed::from(&seed_binding),
      Seed::from(&bump_binding),
    ];
            
    ProgramAccount::init::<Escrow>(
      accounts.maker,
      accounts.escrow,
      &escrow_seeds,
      Escrow::LEN
    )?;

    // Initialize the vault
    AssociatedTokenAccount::init(
      accounts.vault,
      accounts.mint_a,
      accounts.maker,
      accounts.escrow,
      accounts.system_program,
      accounts.token_program,
    )?;

    Ok(Self {
      accounts,
      instruction_data,
      bump,
    })
  }
}

Sekarang kita dapat fokus pada logika itu sendiri yang hanya akan mengisi akun escrow dan kemudian mentransfer token ke vault.

rust
impl<'a> Make<'a> {
  pub const DISCRIMINATOR: &'a u8 = &0;
  
  pub fn process(&mut self) -> ProgramResult {
    // Populate the escrow account
    let mut data = self.accounts.escrow.try_borrow_mut_data()?;
    let escrow = Escrow::load_mut(data.as_mut())?;
    
    escrow.set_inner(
      self.instruction_data.seed,
      *self.accounts.maker.key(),
      *self.accounts.mint_a.key(),
      *self.accounts.mint_b.key(),
      self.instruction_data.receive,
      [self.bump],
    );

    // Transfer tokens to vault
    Transfer {
      from: self.accounts.maker_ata_a,
      to: self.accounts.vault,
      authority: self.accounts.maker,
      amount: self.instruction_data.amount
    }.invoke()?;

    Ok(())
  }
}

Escrow Pinocchio

Make

Required Accounts

Instruction Data

Instruction Logic