Method get_snark_proving_key

proof_system/src/statement/saver.rs:139–152

(
        &'a self,
        setup_params: &'a [SetupParams<E>],
        st_idx: usize,
    )

    }

    pub fn get_snark_proving_key<'a>(
        &'a self,
        setup_params: &'a [SetupParams<E>],
        st_idx: usize,
    ) -> Result<&'a ProvingKey<E>, ProofSystemError> {
        extract_param!(
            setup_params,
            &self.snark_proving_key,
            self.snark_proving_key_ref,
            SaverProvingKey,
            IncompatibleSaverSetupParamAtIndex,
            st_idx
        )
    }
}

impl<E: Pairing> SaverVerifier<E> {