Crate accumulator_plus

Modules§

EXP
LAMBDA: Security parameter that represents the size of elements added to the accumulator.
MODULUS: Defines the RSA group. Arbitrary set at MODULUS = 13 for testing. Example (insecure) modulus -> RSA 100: “1522605027922533360535618378132637429718068114961380688657908494580122963258952897654000350692006139”

add: Add a single element to an accumulator.
batch_add_big_uint: Aggregates a set of accumulator elements + witnesses and batch adds them to the accumulator. Returns the state after addition, the product of the added elements, and a proof of exponentiation.
batch_auth_by_normal_loop
batch_auth_by_shamir_trick
batch_delete_by_normal_loop
batch_delete_by_shamir_trick: Aggregates a set of accumulator elements + witnesses and batch deletes them from the accumulator. Returns the state after deletion, the product of the deleted elements, and a proof of exponentiation.
delete: Delete an element from the accumulator given a membership proof.
gen_diff_prime_vec
generate_multi_prime_key_with_exp