# A Formal Analysis of the Mimblewimble Cryptocurrency Protocol +
## Appendix B Background on the Z Notation
Available online: [[https://github.com/AdamISZ/ConfidentialTransactionsDoc/blob/master/essayonCT.pdf](https://github.com/AdamISZ/ConfidentialTransactionsDoc/blob/master/essayonCT.pdf)]([https://github.com/AdamISZ/ConfidentialTransactionsDoc/blob/master/essayonCT.pdf](https://github.com/AdamISZ/ConfidentialTransactionsDoc/blob/master/essayonCT.pdf)) (accessed on 27 August 2021). * [PERSON] (2011) [PERSON] Commitment. In _Encyclopedia of Cryptography and Security_, 2 nd ed. ; [PERSON], [PERSON], Eds. ; Springer: Berlin/Heidelberg, Germany, 2011; pp. 224-227. [CrossRef]
* [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Bulletproofs: Short Proofs for Confidential Transactions and More. In Proceedings of the 2018 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 20-24 May 2018; pp. 315-334. [CrossRef]
* [PERSON] (2013) [PERSON] CoinJoin: Bitcoin Privacy for the Real World. 2013. Available online: [[https://bitcointalk.org/index.php?topic=2792](https://bitcointalk.org/index.php?topic=2792)]([https://bitcointalk.org/index.php?topic=2792](https://bitcointalk.org/index.php?topic=2792)) 49.0 (accessed on 27 August 2021). * [PERSON] et al. (2015) [PERSON]; [PERSON]; [PERSON] The Bitcoin Backbone Protocol: Analysis and Applications. In Proceedings of the Advances in Cryptology-EUROCRYPT 2015-34 th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, 26-30 April 2015; Part II; [PERSON], [PERSON], Eds. ; Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 2015; Volume 9057, pp. 281-310. [CrossRef]
* [PERSON] et al. (2017) [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol. In Proceedings of the Advances in Cryptology-CRYPTO 2017-37 th Annual International Cryptology Conference, Santa Barbara, CA, USA, 20-24 August 2017; Part I; [PERSON], [PERSON], Eds. ; Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 2017; Volume 10401, pp. 357-388. [CrossRef]
* [PERSON] and [PERSON] (2017) [PERSON]; [PERSON] [PERSON] Switch Commitments: A Safety Switch for Confidential Transactions. In Proceedings of the Financial Cryptography and Data Security-FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sihema, Malta, 7 April 2017, Revised Selected Papers; [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], [PERSON], Eds. ; Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 2017; Volume 10323, pp. 170-181. [CrossRef]
* [PERSON] (1984) [PERSON] A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms. In _Proceedings of the Advances in Cryptology, Proceedings of CRYPTO '84, Santa Barbara, CA, USA, 19-22 August 1984;_ Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 1984; Volume 196, pp. 10-18. [CrossRef]
* [PERSON] et al. (2017) [PERSON]; [PERSON]; [PERSON] Dandelion: Redesigning the Bitcoin Network for Anonymity. _Proc. ACM Meas. Anal. Comput. Syst._**2017**, \(1\), 1-34. [CrossRef]
* [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Dandelion++: Lightweight Cryptocurrency Networking with Formal Anonymity Guarantees. _Proc. ACM Meas. Anal. Comput. Syst._**2018**, \(2\), 1-35. [CrossRef]
* Grin (2019) Grin. Dandelion++ in Grin: Privacy-Preserving Transaction Aggregation and Propagation. 2019. Available online: [[https://github.com/mimblewimble/grin/blob/master/doc/dandelion/dandelion.md](https://github.com/mimblewimble/grin/blob/master/doc/dandelion/dandelion.md)]([https://github.com/mimblewimble/grin/blob/master/doc/dandelion/dandelion.md](https://github.com/mimblewimble/grin/blob/master/doc/dandelion/dandelion.md)) (accessed on 27 August 2021). * Grin (2018) Grin. Privacy Primer. 2018.