This repository contains an implementation of the Dynamic Universal Accumulator Scheme detailed in
Dynamic Universal Accumulator with Batch Update over Bilinear Groups
by Giuseppe Vitto and Alex Biryukov.
The following accumulator scheme features are implemented:
- Batch operations for accumulator updates;
- Membership and non-membership witness verification;
- Epoch-based Public Batch Witness Updates;
- Zero-Knowledge Proof of Knowledge of a valid membership and non-membership witness.
The following libraries are needed for compilation
To compile
gcc main.c -o acc -I/usr/local/include/relic/ -lrt /usr/local/lib/libpbc.a /usr/local/lib/librelic_s.a /usr/local/lib/libgmp.a -lgmp -lrelic -lpbc -lssl -lcrypto -ggdb -Wall