Method add

vb_accumulator/src/universal.rs:250–269

Add an element to 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::Sc

    /// Add an element to the accumulator and state. Reads and writes to state. Described in section 2 of the paper
    pub fn add(
        &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.max_size() == state.size() {
            return Err(VBAccumulatorError::AccumulatorFull);
        }
        if !self.is_element_acceptable(&element, initial_elements_store) {
            return Err(VBAccumulatorError::ProhibitedElement);
        }

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

    /// Compute new accumulated value after batch addition.
    pub fn compute_new_post_add_batch(