pub fn verify<'info, 'a, 'b, 'c>(
ctx: &Context<'_, '_, '_, 'info, impl InvokeAccounts<'info> + LightSystemAccount<'info> + InvokeCpiAccounts<'info> + SignerAccounts<'info> + InvokeCpiContextAccount<'info> + Bumps>,
inputs_struct: &InstructionDataInvokeCpi,
signer_seeds: &'a [&'b [&'c [u8]]],
) -> Result<()>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.