Method get_snark_verifying_key

proof_system/src/statement/saver.rs:242–255

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

    }

    pub fn get_snark_verifying_key<'a>(
        &'a self,
        setup_params: &'a [SetupParams<E>],
        st_idx: usize,
    ) -> Result<&'a VerifyingKey<E>, ProofSystemError> {
        extract_param!(
            setup_params,
            &self.snark_verifying_key,
            self.snark_verifying_key_ref,
            SaverVerifyingKey,
            IncompatibleSaverSetupParamAtIndex,
            st_idx
        )
    }
}