Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

【文件属性】：

文件名称：Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

文件大小：259KB

文件格式：PDF

更新时间：2022-01-06 15:26:22

blockchain smart contra formal verif

基于形式化验证工具ProVerif的区块链投票协议形式化验证，方便初学者复现从而理解形式化验证在智能合约领域的应用