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.