pub fn verify<'info, 'a, 'b, 'c, T>(
ctx: &Context<'_, '_, '_, 'info, impl InvokeAccounts<'info> + LightSystemAccount<'info> + InvokeCpiAccounts<'info> + SignerAccounts<'info> + InvokeCpiContextAccount<'info> + Bumps>,
inputs: &T,
signer_seeds: &'a [&'b [&'c [u8]]],
) -> Result<()>where
T: BorshSerialize,Expand description
Invokes the light system program to verify and apply a zk-compressed state transition. Serializes CPI instruction data, configures necessary accounts, and executes the CPI.