2000 character limit reached
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
Published 3 Jul 2019 in cs.CR | (1907.01688v1)
Abstract: MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we present and briefly discuss those properties and outline the basis of a model-driven verification approach to address the certification of the correctness of a particular implementation of the protocol.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.