[blockchain论文阅读2]Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

年份：2016

简介：

提供了一个可编程的，在非匿名的情况下保护隐私的智能合约的通用基本框架。利用了类似zerocash的原理。

系统概述

hawk编译器将程序编译成区块链和用户之间的加密协议。
Hawk程序包括：
1、私有部分
执行计算来确定多方的支出分配
2、公有部分
不涉及隐私数据或者money

编译器会将Hawk程序编译成由users、manager、blockchain共同定义的加密协议：
被所有共识节点执行的blockchain程序
被users执行的程序
被manager执行的程序

安全的保证

1、on-chain privacy.
除非协议方自愿揭露信息，否则任何人无法向没有参与合约的人提供交易隐私。
虽然在Hawk协议中，users和blockchain交换数据，并依靠它来保证中断的公平，但是资金流和交易的金额对未参与合约的人是加密隐藏的，这是通过向blockchain使用零知识证明保证执行合同和资金保护的正确性。
2、contractual security.
在同一合约中，保护每个人彼此之间的隐私。
是一个多方面的概念，不仅包括机密性和真实性，还包括发生欺骗和中止行为时的经济公平。

manager

可以看到users的输入，并且被信任不会揭露users的私人数