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
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
use anchor_lang::prelude::*;
use crate::errors::*;
use crate::state::*;
use crate::utils::*;
#[derive(Accounts)]
pub struct BatchExecuteTransaction<'info> {
/// Multisig account this batch belongs to.
#[account(
seeds = [SEED_PREFIX, SEED_MULTISIG, multisig.create_key.as_ref()],
bump = multisig.bump,
)]
pub multisig: Account<'info, Multisig>,
/// Member of the multisig.
pub member: Signer<'info>,
/// The proposal account associated with the batch.
/// If `transaction` is the last in the batch, the `proposal` status will be set to `Executed`.
#[account(
mut,
seeds = [
SEED_PREFIX,
multisig.key().as_ref(),
SEED_TRANSACTION,
&batch.index.to_le_bytes(),
SEED_PROPOSAL,
],
bump = proposal.bump,
)]
pub proposal: Account<'info, Proposal>,
#[account(
mut,
seeds = [
SEED_PREFIX,
multisig.key().as_ref(),
SEED_TRANSACTION,
&batch.index.to_le_bytes(),
],
bump = batch.bump,
)]
pub batch: Account<'info, Batch>,
/// Batch transaction to execute.
#[account(
seeds = [
SEED_PREFIX,
multisig.key().as_ref(),
SEED_TRANSACTION,
&batch.index.to_le_bytes(),
SEED_BATCH_TRANSACTION,
&batch.executed_transaction_index.checked_add(1).unwrap().to_le_bytes(),
],
bump = transaction.bump,
)]
pub transaction: Account<'info, VaultBatchTransaction>,
//
// `remaining_accounts` must include the following accounts in the exact order:
// 1. AddressLookupTable accounts in the order they appear in `message.address_table_lookups`.
// 2. Accounts in the order they appear in `message.account_keys`.
// 3. Accounts in the order they appear in `message.address_table_lookups`.
}
impl BatchExecuteTransaction<'_> {
fn validate(&self) -> Result<()> {
let Self {
multisig,
member,
proposal,
..
} = self;
// `member`
require!(
multisig.is_member(member.key()).is_some(),
MultisigError::NotAMember
);
require!(
multisig.member_has_permission(member.key(), Permission::Execute),
MultisigError::Unauthorized
);
// `proposal`
match proposal.status {
ProposalStatus::Approved { timestamp } => {
require!(
Clock::get()?.unix_timestamp - timestamp >= i64::from(multisig.time_lock),
MultisigError::TimeLockNotReleased
);
}
_ => return err!(MultisigError::InvalidProposalStatus),
};
// Stale batch transaction proposals CAN be executed if they were approved
// before becoming stale, hence no check for staleness here.
// `batch` is validated by its seeds.
// `transaction` is validated by its seeds.
Ok(())
}
/// Execute a transaction from the batch.
#[access_control(ctx.accounts.validate())]
pub fn batch_execute_transaction(ctx: Context<Self>) -> Result<()> {
let multisig = &mut ctx.accounts.multisig;
let proposal = &mut ctx.accounts.proposal;
let batch = &mut ctx.accounts.batch;
// NOTE: After `take()` is called, the VaultTransaction is reduced to
// its default empty value, which means it should no longer be referenced or
// used after this point to avoid faulty behavior.
// Instead only make use of the returned `transaction` value.
let transaction = ctx.accounts.transaction.take();
let multisig_key = multisig.key();
let batch_key = batch.key();
let vault_seeds = &[
SEED_PREFIX,
multisig_key.as_ref(),
SEED_VAULT,
&batch.vault_index.to_le_bytes(),
&[batch.vault_bump],
];
let transaction_message = transaction.message;
let num_lookups = transaction_message.address_table_lookups.len();
let message_account_infos = ctx
.remaining_accounts
.get(num_lookups..)
.ok_or(MultisigError::InvalidNumberOfAccounts)?;
let address_lookup_table_account_infos = ctx
.remaining_accounts
.get(..num_lookups)
.ok_or(MultisigError::InvalidNumberOfAccounts)?;
let vault_pubkey = Pubkey::create_program_address(vault_seeds, ctx.program_id).unwrap();
let (ephemeral_signer_keys, ephemeral_signer_seeds) =
derive_ephemeral_signers(batch_key, &transaction.ephemeral_signer_bumps);
let executable_message = ExecutableTransactionMessage::new_validated(
transaction_message,
message_account_infos,
address_lookup_table_account_infos,
&vault_pubkey,
&ephemeral_signer_keys,
)?;
let protected_accounts = &[proposal.key(), batch_key];
// Execute the transaction message instructions one-by-one.
// NOTE: `execute_message()` calls `self.to_instructions_and_accounts()`
// which in turn calls `take()` on
// `self.message.instructions`, therefore after this point no more
// references or usages of `self.message` should be made to avoid
// faulty behavior.
executable_message.execute_message(
vault_seeds,
&ephemeral_signer_seeds,
protected_accounts,
)?;
// Increment the executed transaction index.
batch.executed_transaction_index = batch
.executed_transaction_index
.checked_add(1)
.expect("overflow");
// If this is the last transaction in the batch, set the proposal status to `Executed`.
if batch.executed_transaction_index == batch.size {
proposal.status = ProposalStatus::Executed {
timestamp: Clock::get()?.unix_timestamp,
};
}
batch.invariant()?;
Ok(())
}
}