Solana: Execute proposal (only transfer)

packages/svm/programs/controller/src/instructions/resize_settings.rs

@@ -21,7 +21,7 @@ pub struct ResizeSettings<'info> {
 }
 
 fn check_settings_data(data: &[u8], expected_admin: Pubkey) -> Result<()> {
-    if !data.starts_with(&ControllerSettings::DISCRIMINATOR) {
+    if !data.starts_with(ControllerSettings::DISCRIMINATOR) {
         return Err(ProgramError::InvalidAccountData.into());
     }
 

packages/svm/programs/controller/src/state/entity_registry.rs

@@ -10,7 +10,7 @@ pub struct EntityRegistry {
 }
 
 impl EntityRegistry {
-    pub fn size(entity_address: &Vec<u8>) -> usize {
+    pub fn size(entity_address: &[u8]) -> usize {
         EntityType::INIT_SPACE + VEC_LEN_SIZE + entity_address.len() + 1
     }
 }

packages/svm/programs/settler/Cargo.toml

@@ -15,13 +15,14 @@ cpi = ["no-entrypoint"]
 no-entrypoint = []
 no-idl = []
 no-log-ix-name = []
-idl-build = ["anchor-lang/idl-build"]
+idl-build = ["anchor-lang/idl-build", "anchor-spl/idl-build"]
 anchor-debug = []
 custom-heap = []
 custom-panic = []
 
 [dependencies]
 anchor-lang = { version = "0.32.1", features = [ "init-if-needed" ] }
+anchor-spl = { version = "0.32.1" }
 alloy-sol-types = "1.5.4"
 alloy-primitives = "1.5.4"
 

packages/svm/programs/settler/src/constants.rs

@@ -2,3 +2,5 @@ pub const DEPLOYER_KEY: &str = env!(
     "DEPLOYER_KEY",
     "Please set the DEPLOYER_KEY env variable before compiling."
 );
+
+pub const CHAIN_ID: u32 = 507424;

packages/svm/programs/settler/src/errors.rs

@@ -23,10 +23,10 @@ pub enum SettlerError {
     #[msg("Validator is not allowlisted")]
     ValidatorNotAllowlisted,
 
-    #[msg("Signer must be intent creator")]
+    #[msg("Incorrect intent creator")]
     IncorrectIntentCreator,
 
-    #[msg("Signer must be proposal creator")]
+    #[msg("Incorrect proposal creator")]
     IncorrectProposalCreator,
 
     #[msg("Intent is already final")]
@@ -59,6 +59,9 @@ pub enum SettlerError {
     #[msg("Proposal deadline can't be after the Intent's deadline")]
     ProposalDeadlineExceedsIntentDeadline,
 
+    #[msg("Incorrect proposal data")]
+    IncorrectProposalData,
+
     #[msg("Intent has insufficient validations")]
     InsufficientIntentValidations,
 
@@ -86,6 +89,42 @@ pub enum SettlerError {
     #[msg("Fee amount exceeds max fee")]
     FeeAmountExceedsMaxFee,
 
+    #[msg("Unsupported intent op")]
+    UnsupportedIntentOp,
+
+    #[msg("Incorrect intent chain id")]
+    IncorrectChainId,
+
+    #[msg("Invalid transfer recipient: malformed pubkey")]
+    InvalidTransferRecipient,
+
+    #[msg("Incorrect transfer recipient account")]
+    IncorrectTransferRecipient,
+
+    #[msg("Invalid transfer token: malformed pubkey")]
+    InvalidTransferToken,
+
+    #[msg("Incorrect transfer token mint account")]
+    IncorrectTransferToken,
+
+    #[msg("Incorrect fee token mint account")]
+    IncorrectFeeToken,
+
+    #[msg("Account not owned by TokenKeg or Token2022 programs")]
+    AccountNotOwnedByTokenProgram,
+
+    #[msg("Incorrect recipient token account: mint or authority do not match expected")]
+    IncorrectRecipientTokenAccount,
+
+    #[msg("Incorrect user token account: mint or authority do not match expected")]
+    IncorrectUserTokenAccount,
+
+    #[msg("Incorrect solver token account: mint or authority do not match expected")]
+    IncorrectSolverTokenAccount,
+
+    #[msg("Incorrect token program account provided")]
+    IncorrectTokenProgram,
+
     #[msg("Math Error")]
     MathError,
 }

packages/svm/programs/settler/src/instructions/create_intent.rs

@@ -68,7 +68,7 @@ pub fn create_intent(
 ) -> Result<()> {
     let now = Clock::get()?.unix_timestamp as u64;
     require!(deadline > now, SettlerError::DeadlineIsInThePast);
-    require!(max_fees.len() > 0, SettlerError::NoMaxFees);
+    require!(!max_fees.is_empty(), SettlerError::NoMaxFees);
 
     // TODO: check hash
 

packages/svm/programs/settler/src/instructions/execute_proposal.rs

@@ -5,6 +5,7 @@ use crate::{
     errors::SettlerError,
     state::{FulfilledIntent, Intent, Proposal},
     types::IntentEvent,
+    utils::{handle_intent_execution, pay_solver_fees},
 };
 
 #[derive(Accounts)]
@@ -40,6 +41,7 @@ pub struct ExecuteProposal<'info> {
     #[account(
         mut,
         constraint = intent.creator == intent_creator.key() @ SettlerError::IncorrectIntentCreator,
+        constraint = intent.is_final @ SettlerError::IntentIsNotFinal,
         close = intent_creator
     )]
     pub intent: Box<Account<'info, Intent>>,
@@ -53,24 +55,58 @@ pub struct ExecuteProposal<'info> {
     )]
     pub fulfilled_intent: Box<Account<'info, FulfilledIntent>>,
 
+    #[account(seeds = [b"delegate", intent.user.key().as_ref()], bump)]
+    pub delegate: SystemAccount<'info>,
+
     pub system_program: Program<'info, System>,
 }
 
-pub fn execute_proposal(ctx: Context<ExecuteProposal>) -> Result<()> {
+pub fn execute_proposal<'info>(
+    ctx: Context<'_, '_, '_, 'info, ExecuteProposal<'info>>,
+) -> Result<()> {
     let intent = &ctx.accounts.intent;
+    let proposal = &ctx.accounts.proposal;
+
+    let mut remaining_accounts_iter = ctx.remaining_accounts.iter();
+    let token_program = next_account_info(&mut remaining_accounts_iter)?;
+    let token_2022_program = next_account_info(&mut remaining_accounts_iter)?;
+
+    require_keys_eq!(
+        token_program.key(),
+        anchor_spl::token::ID,
+        SettlerError::IncorrectTokenProgram
+    );
+    require_keys_eq!(
+        token_2022_program.key(),
+        anchor_spl::token_2022::ID,
+        SettlerError::IncorrectTokenProgram
+    );
+
+    handle_intent_execution(
+        intent,
+        proposal,
+        &ctx.accounts.delegate.clone(),
+        &mut remaining_accounts_iter,
+        token_program,
+        token_2022_program,
+        ctx.bumps.delegate,
+    )?;
 
-    // TODO: Execute proposal
-
-    // TODO: Validate execution
-
-    // TODO: Emit events
     intent.events.iter().for_each(|event| {
         emit!(IntentEventEvent {
             event: event.clone()
         })
     });
 
-    // TODO: Pay fees to Solver
+    pay_solver_fees(
+        &mut remaining_accounts_iter,
+        intent,
+        proposal,
+        token_program,
+        token_2022_program,
+        &ctx.accounts.delegate.clone(),
+        ctx.bumps.delegate,
+    )?;
 
     Ok(())
 }

packages/svm/programs/settler/src/lib.rs

@@ -80,7 +80,9 @@ pub mod settler {
         instructions::create_proposal(ctx, instructions, fees, deadline, is_final)
     }
 
-    pub fn execute_proposal(ctx: Context<ExecuteProposal>) -> Result<()> {
+    pub fn execute_proposal<'info>(
+        ctx: Context<'_, '_, '_, 'info, ExecuteProposal<'info>>,
+    ) -> Result<()> {
         instructions::execute_proposal(ctx)
     }
 

packages/svm/programs/settler/src/state/proposal.rs

@@ -25,14 +25,14 @@ impl Proposal {
         1 // bump
     ;
 
-    pub fn total_size(instructions: &Vec<ProposalInstruction>, fees_len: usize) -> Result<usize> {
+    pub fn total_size(instructions: &[ProposalInstruction], fees_len: usize) -> Result<usize> {
         let size = add(8, Proposal::BASE_LEN)?;
         let size = add(size, Proposal::instructions_size(instructions)?)?;
         let size = add(size, Proposal::fees_size(fees_len)?)?;
         Ok(size)
     }
 
-    pub fn instructions_size(instructions: &Vec<ProposalInstruction>) -> Result<usize> {
+    pub fn instructions_size(instructions: &[ProposalInstruction]) -> Result<usize> {
         let sum = instructions
             .iter()
             .try_fold(0usize, |acc, ix| add(acc, ix.size()))?;
@@ -43,10 +43,7 @@ impl Proposal {
         add(4, mul(8, len)?)
     }
 
-    pub fn extended_size(
-        size: usize,
-        more_instructions: &Vec<ProposalInstruction>,
-    ) -> Result<usize> {
+    pub fn extended_size(size: usize, more_instructions: &[ProposalInstruction]) -> Result<usize> {
         sub(
             add(size, Proposal::instructions_size(more_instructions)?)?,
             4,

packages/svm/programs/settler/src/types/intent_data/mod.rs

@@ -0,0 +1,3 @@
+pub mod transfer;
+
+pub use transfer::*;

packages/svm/programs/settler/src/types/intent_data/transfer.rs

@@ -0,0 +1,14 @@
+use anchor_lang::prelude::{borsh::BorshDeserialize, *};
+
+#[derive(BorshDeserialize)]
+pub struct SvmTransfer {
+    pub token: Vec<u8>,
+    pub amount: u64,
+    pub recipient: Vec<u8>,
+}
+
+#[derive(BorshDeserialize)]
+pub struct SvmTransferIntentData {
+    pub chain_id: u32,
+    pub transfers: Vec<SvmTransfer>,
+}

packages/svm/programs/settler/src/types/mod.rs

@@ -1,9 +1,11 @@
 pub mod eip712_domain;
+pub mod intent_data;
 pub mod intent_event;
 pub mod op_type;
 pub mod token_fee;
 
 pub use eip712_domain::*;
+pub use intent_data::*;
 pub use intent_event::*;
 pub use op_type::*;
 pub use token_fee::*;