RSA-accumulator

Cryptographic accumulator based on the strong RSA assumption [Bd94, BP97, CL02, BBF18].
Generating and verifying proofs in Python, verifier in Solidity.

Prerequesites

• Python3
• Node.js 10.14.0, NPM

Unit testing

$ python3 -m unittest test

Benchmarks

• Compare performance (compared with Python Merkle Tree [1]):

$ python3 test-performance.py

• Compare gas results (compared with Merkle Proof verifier [2]) :

$ npm install
$ node test-gas.js

The tests above generate relevant data files at the generated directory.

[1] https://github.com/Tierion/pymerkletools
[2] https://github.com/ameensol/merkle-tree-solidity

References

[Bd94] One-way accumulators: A decentralized alternative to digital sinatures, Josh Cohen Benaloh and Michael de Mare.
[BP97] Collision-free accumulators and fail-stop signature schemes without trees, Niko Bari and Birgit Pfitzmann.
[CL02] Dynamic accumulators and application to efficient revocation of anonymous credentials, Jan Camenisch and Anna Lysyanskaya.
[BBF18] Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains, Dan Boneh, Benedikt Bünz, Benjamin Fisch.