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

use crate::{CreateRedeemer, RedeemTokens};
use anchor_lang::prelude::*;
use vipers::prelude::*;

impl<'info> Validate<'info> for CreateRedeemer<'info> {
    fn validate(&self) -> Result<()> {
        invariant!(
            self.iou_mint.decimals == self.redemption_mint.decimals,
            "decimals mismatch"
        );
        Ok(())
    }
}

impl<'info> Validate<'info> for RedeemTokens<'info> {
    fn validate(&self) -> Result<()> {
        invariant!(self.source_authority.is_signer, Unauthorized);

        assert_keys_eq!(self.iou_mint, self.redeemer.iou_mint);
        assert_keys_eq!(self.iou_source.mint, self.redeemer.iou_mint);
        assert_keys_eq!(self.iou_source.owner, self.source_authority);

        assert_keys_eq!(self.redemption_vault.owner, self.redeemer);
        assert_keys_eq!(self.redemption_vault.mint, self.redeemer.redemption_mint);
        invariant!(self.redemption_vault.delegate.is_none());
        invariant!(self.redemption_vault.close_authority.is_none());

        assert_keys_neq!(self.redemption_destination, self.redemption_vault);
        assert_keys_eq!(
            self.redemption_destination.mint,
            self.redeemer.redemption_mint
        );
        assert_keys_eq!(self.redemption_destination.owner, self.source_authority);

        Ok(())
    }
}