Method remove

vb_accumulator/src/universal.rs:318–335

Remove an element from the accumulator and state. Reads and writes to state. Described in section 2 of the paper

(
        &self,
        element: &G::ScalarField,
        sk: &SecretKey<G::ScalarField>,
        initial_elements_store: &dyn InitialElementsStore<G::ScalarField>,
        state: &mut dyn State<G::S

    /// Remove an element from the accumulator and state. Reads and writes to state. Described in section 2 of the paper
    pub fn remove(
        &self,
        element: &G::ScalarField,
        sk: &SecretKey<G::ScalarField>,
        initial_elements_store: &dyn InitialElementsStore<G::ScalarField>,
        state: &mut dyn State<G::ScalarField>,
    ) -> Result<Self, VBAccumulatorError> {
        if !self.is_element_acceptable(element, initial_elements_store) {
            return Err(VBAccumulatorError::ProhibitedElement);
        }

        // TODO: Check if its more efficient to always have a window table of setup parameter `P` and
        // multiply `P` by `f_V` rather than multiplying `y_plus_alpha_inv` by `V`. Use `windowed_mul` from FixedBase
        let (mut y_plus_alpha_inv, V) = self._remove(element, sk, state)?;
        let f_V = y_plus_alpha_inv * self.f_V;
        y_plus_alpha_inv.zeroize();
        Ok(self.get_updated(f_V, V))
    }

    /// Compute new accumulated value after batch removal
    pub fn compute_new_post_remove_batch(