Updates to address reviewer comments and improve one-of-many proving …

…system (#11)

* Updates to address reviewer comments

* Update to Grootle proving system and security proof

* Typo

* Notation fix

main.bib

@@ -319,3 +319,20 @@ @InProceedings{kea_bellare
 pages="273--289",
 isbn="978-3-540-28628-8"
 }
+
+@inproceedings{matrict,
+author = {Esgin, Muhammed F. and Zhao, Raymond K. and Steinfeld, Ron and Liu, Joseph K. and Liu, Dongxi},
+title = {Mat{R}i{CT}: Efficient, Scalable and Post-Quantum Blockchain Confidential Transactions Protocol},
+year = {2019},
+isbn = {9781450367479},
+publisher = {Association for Computing Machinery},
+address = {New York, NY, USA},
+url = {https://doi.org/10.1145/3319535.3354200},
+doi = {10.1145/3319535.3354200},
+booktitle = {Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security},
+pages = {567–584},
+numpages = {18},
+keywords = {ring signature, zero-knowledge, RingCT, lattice, post-quantum, group signature},
+location = {London, United Kingdom},
+series = {CCS '19}
+}