Unraveling Blockchain based Crypto-currency System Supporting Oblivious Transactions: a Formalized Approach
Compact E-Cash