迈向 MimbleWimble 加密货币协议的形式化验证实现
密码学与安全
2019-07-04 v1
摘要
MimbleWimble 是一种以隐私为导向的加密货币技术，其安全性和扩展性特性使其区别于其他同类协议。在本文中，我们介绍并简要讨论这些特性，并概述一种模型驱动验证方法的基础，以解决特定协议实现正确性的认证问题。
引用
@article{arxiv.1907.01688,
title = {Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol},
author = {Gustavo Betarte and Maximiliano Cristiá and Carlos Luna and Adrián Silveira and Dante Zanarini},
journal= {arXiv preprint arXiv:1907.01688},
year = {2019}
}