Insights, Cryptographic, Security Model, Cryptocurrency.
consequences. We have to consider the security properties in a uniform model where the cryptographic components of the cryptocurrency are analyzed as a whole. This includes two steps: formalize the security model, and prove the security of a concrete scheme. Below are two examples of the security