Method open_subset

delegatable_credentials/src/set_commitment.rs:304–318

Same as `Self::open_subset_unchecked` but additionally checks if the subset is indeed a subset and the opening is valid.

(
        &self,
        opening: &SetCommitmentOpening<E>,
        subset: BTreeSet<E::ScalarField>,
        set: BTreeSet<E::ScalarField>,
        srs: &SetCommitmentSRS<E>,
    )

    /// Same as `Self::open_subset_unchecked` but additionally checks if the subset is indeed a subset and the opening is valid.
    pub fn open_subset(
        &self,
        opening: &SetCommitmentOpening<E>,
        subset: BTreeSet<E::ScalarField>,
        set: BTreeSet<E::ScalarField>,
        srs: &SetCommitmentSRS<E>,
    ) -> Result<SubsetWitness<E>, DelegationError> {
        if !subset.is_subset(&set) {
            return Err(DelegationError::NotASubset);
        }
        // Check if the opening is correct
        self.open_set(opening, set.clone(), srs)?;

        self.open_subset_unchecked(opening, subset, set, srs)
    }

    /// Returns witness for the given subset of a set which is committed in this commitment
    pub fn open_subset_unchecked(