zkHawk：基于 MPC 的 Hawk 实用隐私智能合约
密码学与安全
2022-05-17 v4
摘要
随着第一种加密货币比特币的发布，近年来加密货币受到了大量研究关注。随着加密货币交易的兴起，对智能合约的需求也随之增加。简而言之，智能合约是数字执行的合约，其中若干方执行共同目标。当前大多数智能合约的主要问题在于，一方对合约的输入对于区块链或其他各方都没有隐私。我们的研究建立在 Hawk 项目之上，该项目提供交易隐私并支持智能合约。然而，Hawk 依赖于一个称为管理器（manager）的特殊可信方，必须信任其不会泄露各方对智能合约的输入。在本文中，我们提出了一种实用的隐私智能合约协议，用 MPC 协议替代管理器，使得由 MPC 协议执行的函数相对轻量，给智能合约函数增加很少的开销，并使用实用的 sigma 协议和同态承诺向区块链证明流入智能合约的余额之和与流出智能合约的余额之和相匹配。
引用
@article{arxiv.2104.09180,
title = {zkHawk: Practical Private Smart Contracts from MPC-based Hawk},
author = {Aritra Banerjee and Michael Clear and Hitesh Tewari},
journal= {arXiv preprint arXiv:2104.09180},
year = {2022}
}
备注
9 pages, 6 figures, published in IEEE BRAINS'21 Conference Proceedings