pub struct Verify<'info> {
pub config: Account<'info, Config>,
pub payer: Signer<'info>,
}Expand description
Accounts for the verify instruction.
bump = config.bump reuses the stored canonical bump instead of
re-deriving (≈10K CU saving per ADR 0028).
payer (T2.27 rename from verifier) is the tx signer that funds
the verification. Emitted in BeaconVerified for analytics; privacy
note in program/spec.md §"Privacy Considerations".
Fields§
§config: Account<'info, Config>§payer: Signer<'info>Trait Implementations§
Source§impl<'info> Accounts<'info, VerifyBumps> for Verify<'info>where
'info: 'info,
impl<'info> Accounts<'info, VerifyBumps> for Verify<'info>where
'info: 'info,
Source§fn try_accounts(
__program_id: &Pubkey,
__accounts: &mut &'info [AccountInfo<'info>],
__ix_data: &[u8],
__bumps: &mut VerifyBumps,
__reallocs: &mut BTreeSet<Pubkey>,
) -> Result<Self>
fn try_accounts( __program_id: &Pubkey, __accounts: &mut &'info [AccountInfo<'info>], __ix_data: &[u8], __bumps: &mut VerifyBumps, __reallocs: &mut BTreeSet<Pubkey>, ) -> Result<Self>
Returns the validated accounts struct. What constitutes “valid” is
program dependent. However, users of these types should never have to
worry about account substitution attacks. For example, if a program
expects a
Mint account from the SPL token program in a particular
field, then it should be impossible for this method to return Ok if
any other account type is given–from the SPL token program or elsewhere. Read moreSource§impl<'info> AccountsExit<'info> for Verify<'info>where
'info: 'info,
impl<'info> AccountsExit<'info> for Verify<'info>where
'info: 'info,
Source§impl<'info> Bumps for Verify<'info>where
'info: 'info,
impl<'info> Bumps for Verify<'info>where
'info: 'info,
Source§type Bumps = VerifyBumps
type Bumps = VerifyBumps
Struct to hold account bump seeds.
Source§impl<'info> ToAccountInfos<'info> for Verify<'info>where
'info: 'info,
impl<'info> ToAccountInfos<'info> for Verify<'info>where
'info: 'info,
fn to_account_infos(&self) -> Vec<AccountInfo<'info>>
Source§impl<'info> ToAccountMetas for Verify<'info>
impl<'info> ToAccountMetas for Verify<'info>
Source§fn to_account_metas(&self, is_signer: Option<bool>) -> Vec<AccountMeta>
fn to_account_metas(&self, is_signer: Option<bool>) -> Vec<AccountMeta>
is_signer is given as an optional override for the signer meta field.
This covers the edge case when a program-derived-address needs to relay
a transaction from a client to another program but sign the transaction
before the relay. The client cannot mark the field as a signer, and so
we have to override the is_signer meta field given by the client.Auto Trait Implementations§
impl<'info> Freeze for Verify<'info>
impl<'info> !RefUnwindSafe for Verify<'info>
impl<'info> !Send for Verify<'info>
impl<'info> !Sync for Verify<'info>
impl<'info> Unpin for Verify<'info>
impl<'info> UnsafeUnpin for Verify<'info>
impl<'info> !UnwindSafe for Verify<'info>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more