Xproofs: New Aggregatable and Maintainable Matrix Commitment with Optimal Proof Size. | AMiner