智能合约+隐私保护可以擦出怎样的火花

论文标题:Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

论文作者:Ahmed Kosba, Andrew Miller, Elaine Shi, Zikai Wen, Charalampos Papamanthou

本文为我这学期选的徐恪老师的《赛博智能经济与区块链》布置的五篇阅读报告的第三篇。

我继续沿着区块链+隐私保护这个主题阅读了第三篇论文,马里兰大学和康奈尔大学的合作研究项目Hawk力求建立一个隐私保护的智能合约系统,和zerocash一样运用了零知识证明,依赖于zk-SNARK。Hawk这个名字很有意思,中文是鹰,而以太坊的四种高级编程语言之一Serpent的中文是蛇,其联系不言而喻。

众所周知,以太坊实现了在区块链上运行任何用户定义的程序,也就是现在十分流行的去中心化智能合约系统。区块链为其保证了数据和计算的正确性和可用性,但没有提供隐私性。尽管用户可以通过化名来实现一定的匿名性,但金钱交易的细节仍然暴露在公众视野里,这大大限制了以太坊的应用场景。比如在论文里举例的密封二价拍卖,如果是用传统的智能合约,所有的报价都是公之于众的,但事实上竞拍者势必报价不同步,且互相不希望在提交前泄露自己的报价信息,否则将有可能出现操纵行为。又比如论文里的另一个例子剪刀石头布游戏,玩家提交自己的输入(剪刀、石头或布),合约执行时根据双方输入决定赢家,那么完全可以等待对方提交输入后再决定自己的输入即可轻松获胜。如果去中心化智能合约想被更广泛地接纳,则必须解决隐私性的问题,因为个人和组织普遍将保险合同和股票交易等金融业务里的信息视为高度机密。

尽管我前两篇阅读的论文Zerocoin和Zerocash,以及Pinoccio Coin和Cryptonote都在设计隐私保护的密码学货币方面做出贡献,但都放弃了可编程性,所以Hawk的另一目标就是实现非密码学专家编程者友好的编译器。换句话说,如果一个用户想发布具有隐私保护特性的智能合约,他在写程序的时候不需要考虑密码学细节,只需要交给Hawk的编译器,就可以自动编译实现参与者、执行者和区块链三方之间的密码学协议。

Hawk的安全保障围绕两方面:链上隐私和合约隐私。链上隐私规定不向未参与合约的第三方公开交易细节,除非合约双方(参与者、执行者)自愿披露信息。尽管交易量和金额等数据是在区块链上交换的,以确保公平,防止用户中止,但它们也是通过Hawk依靠零知识证明等手段加密隐藏后才公开的。合约隐私则保护的是合约参与者之间的合约共识,它包括:输入独立隐私(每一位拍卖参与者的报价都是独立于他人的,即便他和拍卖执行者合谋,也无法在委托自己的报价前得知他人的报价)、事后隐私(只要执行者不披露信息,即便是拍卖后,参与者的报价信息还是保密的)、经济公平(用户如果为了避免支付或影响财富的重新分配而中止拍卖,他会受到经济惩罚,其余参与合约者得到补偿)和惩罚不诚实执行者(中止拍卖、影响拍卖和分配结果、与某些参与者合谋)。其中经济公平在链下协议如安全多方计算中没有满足,但Hawk不仅提供了内嵌机制,还允许合约编程者定义其他经济公平的规则。

论文还测试了密封拍卖、剪刀石头布、众筹和交换金融工具四个应用的性能以体现Hawk的有效性。Hawk不仅是首个实现智能合约+隐私保护的系统,还是首个将区块链在密码学上正式建模的(提出了通用可组合模型,已被Gyges用于研究犯罪智能合约)。

本文来自企鹅号 - 螃蟹仔仔的学习笔记媒体

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏新智元

【当AI遇见区块链】2018年的第一场火,还是第一场泡沫?

新智元报道 作者:常佩琦 张乾 【新智元导读】区块链可谓风头正劲。一些区块链公司也打出人工智能+区块链的概念,号称将人工智能进行落地融合。乍看上去,区块链...

3649
来自专栏华章科技

给你多少钱,你才会愿意为国家生孩子?

那么假设(仅仅是假设),如果每年给你5500块钱,你愿不愿意生?或者说,给你多少钱、给你多长的假期,你会放心大胆地生孩子?

654
来自专栏SAP最佳业务实践

从SAP最佳业务实践看企业管理(58)-SOP-产品寿命周期

image.png 从本节开始,进入SOP,销售与运作计划,是整个企业计划体系的核心,连接销售与生产,连接企业战略规划与战术执行。 日本三洋电机公司认为,要创...

3216
来自专栏新智元

【Ericsson:2016 十大趋势】AI终结屏幕时代/虚拟成真

方法 这份报告展示了从2015年Ericsson消费者实验室(ConsumerLab)的许多研究结果中获得的启示。 其中最宽泛的趋势可以代表24个国家的11亿人...

3598
来自专栏科技向令说

响铃:科技成为时髦指数风向标,捧明星造潮流的影视行业是什么姿势?

在哥伦比亚大学电影节上, ”换AI假脑“的《Horizon》以及”换AI假眼“的《HelloWorld!》两部科技情节短片获得GiGadgets创意基金的青睐,...

653
来自专栏云计算D1net

微软与苹果之间最大的不同

如今对于微软和苹果而言,接下来的一段时间可以称得上是很特殊,而且也是很微妙的关键时刻。苹果已经正式确认了9月9日的新品发布会,相比往年,外界对于今年发布会的期待...

3056
来自专栏罗超频道

PC市场老树发新芽,联想为何不惧挑战?

MWC上,华为推出二合一笔记本MateBook,一时之间备受关注,无独有偶,小米笔记本已是消息满天飞。这两个硬件领域的巨头级玩家入局PC市场,乍看之下让人费解,...

2955
来自专栏罗超频道

联创人白干七年黯然退出,背后秘密现才真相大白

一位妻子为了创业7年的丈夫遭遇股权不公而撰写的一篇微信文章,阅读量10万+。文章中这位妻子表示,其丈夫是某游戏公司的2号员工,一起创业七年,辛勤付出,只拿低于市...

34015
来自专栏海外区块链项目

Arianee创始成员简介(一)

Arianee公司的团队组成极具多样性,其团队成员均同时具备奢侈品行业和区块链技术行业这两大Arianee最为看重的行业背景。

663
来自专栏云计算D1net

研究表明对象存储已成云价格战的新前沿

根据调研机构451 Research公司对云计算定价的最新分析,云价格战已经投身另一个新的战场。据该公司称,对象存储将成为价格战的下一个战场,而其他服务,特别是...

2859

扫码关注云+社区