Aggregate Cash Systems: A Cryptographic Investigation of Mimblewimble

Mimblewimble is an electronic cash system proposed by an anonymous
author in 2016. Its most remarkable feature is that that coins can be deleted once they have been spent while maintaining public verifiability of the ledger.
Additionally, transactions are confidential and can be merged non-interactively.

During this talk, we will provide a provable-security treatment for Mimblewimble.
We will provide precise syntax and formal security definitions for an abstraction of Mimblewimble that we call an aggregate cash system. We will then attempt to get an intuition of the scurity proof of Mimblewimble in this definitional framework.