HashKey:说透安全多方计算MPC技术方案、挑战与未来_ASH:区块链

编者按:本文来自链闻ChainNews,星球日报经授权发布。撰文:钱柏均,就职于HashKeyCapitalResearch审校:邹传伟,万向区块链、PlatON首席经济学家本文对安全多方计算做出技术及应用分析。结论是,安全多方计算能够解决互不信任的参与方之间保护隐私的协同计算问题。安全多方计算拓展了传统分布式计算的边界以及信息安全范畴,对解决网络环境下的信息安全具有重要价值。安全多方计算能够结合多行业领域进行数据融合,对数据市场的发展十分重要。数据是一个复杂概念,有多种类型和丰富特征。随着时代从互联网转变至区块链,数据即将成为可产生经济价值的资产。但是,大多数企业考虑到数据安全和个人隐私等问题,对数据共享都非常谨慎。对个人数据而言,控制权和隐私保护的重要性超过所有权。因此,企业在面临数据输入的隐私及输出的结果上常常遇到平衡上的困难。举例来说:医院需要与保险公司分享病患数据,但是又不能泄露病患的个人隐私。安全多方计算提供了一种技术上的解决方案,能够在无可信第三方的情况下安全地进行多方协同的计算。本文分为三个部分:第一部分探讨安全多方计算的架构。第二部分研究安全多方计算的技术实现方式。第三部分分析安全多方计算应用及未来发展。安全多方计算定义与架构

定义

安全多方计算可以定义为在一个分布式网络且不存在可信第三方的情况下,多个参与实体各自持有秘密输入,并希望共同完成对某函数的计算并得到结果,前提是要求每个参与实体均不能得知除自身外其他参与实体任何输入信息。以下为安全多方计算的数学表述:

加密风投机构LongHash推出灵魂绑定代币以奖励贡献者:1月9日消息,LongHashX是加密货币风投机构LongHash Ventures的初创加速器部门,推出了一项奖励链上贡献者的新计划LongHash Web,的计划使用灵魂绑定代币 (SBT) 或数字身份代币来提供奖励。SBT 代表了一个人在链上的专业声誉和成就。这些代币不可转让,没有任何货币价值。(TheBlock)[2023/1/10 11:03:03]

安全多方计算架构

安全多方计算主要分为两个参与方:参与节点及枢纽节点。各个参与节点地位相同,可以发起协同计算任务,也可以选择参与其他方发起的计算任务。枢纽节点不参与实际协同计算,主要用于控制传输网络、路由寻址及计算逻辑传输。此外,在去中心化的网络拓扑里,枢纽节点是可以删减的,参与节点可以与其他参与节点进行点到点连接,直接完成协同计算。安全多方计算过程中,每个数据持有方可发起协同计算任务,并通过枢纽节点进行路由寻址,选择相似数据类型的其余数据持有方进行安全的协同计算。参与协同计算的多个数据持有方的参与节点会根据计算逻辑,从本地数据库中查询所需数据,共同就安全多方计算任务在密态数据流间进行协同计算。整个过程各方的明文数据全部在本地存储,并不会提供给其他节点。在保证数据隐私的情况下,枢纽节点将计算结果输出至整个计算任务系统,从而各方得到正确的数据结果。安全多方计算主要有三个特性:隐私性。安全多方计算首要的目的是各参与方在协作计算时如何对隐私数据进行保护,即在计算过程中必须保证各方私密输入独立,计算时不泄露任何本地数据。正确性。多方计算参与各方通过约定安全多方计算协议发起计算任务并进行协同计算,运算数据结果具备正确性。去中心化。安全多方计算中,各参与方地位平等,不存在任何有特权的参与方或第三方,提供一种去中心化的计算模式。

Web 3.0区块链加速器LongHash Ventures推出1500万美元的区块链基金:2月8日消息,总部位于新加坡的Web 3.0区块链加速器和投资者LongHash Ventures推出了一只1500万美元的区块链基金。新基金将用于投资代币和早期区块链公司,专注于Web 3.0基础设施组件和DeFi。

LongHash Ventures由Fenbushi Capital(分布式资本)、HashKey Capital和Enterprise Singapore支持,致力于打造本土Web 3.0区块链经济,其在新加坡、上海和香港设有全球网络。该公司已经投资并与一些区块链协议建立了合作关系,包括Polkadot以及Algorand。到目前为止,LongHash Ventures已为30多家公司提供支持,其投资组合共筹集了2500万美元。(Tech In Asia)[2021/2/8 19:13:54]

图1:安全多方计算技术框架图,来源:中国信息通信研究院云计算与大数据研究所安全多方计算信任环境

安全多方计算的信任环境或者说整体安全定义通常由真实-理想模型(Real-IdealParadigm)来表达。在真实-理想模型中,存在一个虚拟的「理想」环境,与真实环境进行比较。在理想环境里,所有参与方都会将各自的秘密数据发送给一个可信第三方,由可信第三方完成计算。而在真实环境下,不存在这样的可信第三方,所有参与方通过互相交换信息,完成协同计算,并且会存在敌手进行控制其中部分参与方的情况。一个安全多方计算系统满足在真实-理想模型下的安全性,是指真实环境下的敌手无法产生比理想环境下的攻击者更多的危害;换言之,如果存在敌手可以对真实环境造成危害,那么也存在敌手可以对理想环境造成同等效果的危害。由逆否命题可知,事实上,不存在敌手能对理想环境造成危害,从而可以得出结论:不存在真实环境下的成功的敌手。一般而言,在安全多方计算中,根据攻击者的能力差异可以定义两种不同的攻击者相关的安全模型。半诚实模型(Semi-HonestAdversaries’Security)。在半诚实行为模型中,假设敌手会诚实地参与安全多方计算的具体协议,遵照协议的每一步进行,但是会试图通过从协议执行过程中获取的内容来推测他方的隐私。恶意行为模型(MaliciousAdversaries’Security)。在恶意行为模型中,恶意节点可能会不遵循协议,采取任意的行为获取他方的隐私。目前有许多安全多方计算的改进方案,可以达到恶意行为模型下的安全性,但是都需要付出很大的性能代价,大规模的安全多方计算产品,基本上通常只考虑半诚实模型,恶意行为模型的解决方案会严重影响效率和实用性。安全多方计算的实现形式

动态 | Hedera Hashgraph与美国审计公司合作以获取可靠数据源:区块链项目Hedera Hashgraph宣布与美国Armanino审计公司展开合作。Hedera生态系统参与者可以利用Armanino的DLT保证技术平台TrustExplorer及其Trusted Node数据服务来获得可靠的交易和帐户数据源。(Cryptoninjas)[2020/2/7]

秘密共享

秘密共享是在一个常被应用在多方安全签名的技术,它主要用于保护重要信息被丢失、或篡改。通过秘密共享机制,秘密信息会被拆分,每个参与者仅持有该秘密的一部分,个人持有部分碎片无法用于恢复秘密,需要凑齐预定数量(或门限)的碎片。

不经意传输(ObliviousTransfer)

不经意传输是一种密码学协议,被广泛应用于安全多方计算领域,它解决了以下问题:

举例来说,Alice手上有两组密封的密码组合,Bob只能获得一组密码且Bob希望Alice不知道他选择哪一组密码。这时候就能利用不经意传输来完成交易。

动态 | Hedera Hashgraph区块链技术获得Coq系统验证:据bitcoin exchange guide报道,公共分布式分类账平台Hedera Hashgraph最近宣布hashgraph consensus算法已被验证为异步拜占庭容错(BFT)算法。这是通过使用Coq系统的计算机检查的数学证明完成的。这证明了哈希图报告中的声明。据称哈希图在数学上是分布式系统的最高安全级别。Coq是一种正式的验证,它提供了一种形式语言来编写可执行的数学定义和算法。它还可以用于编写定理和机器检查证明的半交互开发环境。Coq通常用于验证程序、编程语言和数学的属性。与数学证明不同的是,Coq证明是通过计算机进行检查的。这有助于避免人类在阅读证明时可能犯的错误。[2018/10/21]

图2:不经意传输示意图,来源:链闻不经意传输存在双方角色,发送者与接收者。一个可行的具体实现过程,分为四个步骤:

混淆电路(GarbledCircuit)

混淆电路是姚期智教授在80年代提出的安全多方计算概念。混淆电路是一种密码学协议,遵照这个协议,两个参与方能在互相不知晓对方数据的情况下计算某一函数。举姚氏百万富翁问题为例,两个百万富翁Alice和Bob想在不知道对方精准财富值的情况下比较谁的财富值更高。比如Alice的财富值是20,Bob的财富值是15。藉由混淆电路,Alice和Bob都可以知道谁更富有,但是Alice和Bob都不知道对方的财富值。混淆电路的核心逻辑是先将计算问题转换为由与门、或门、非门所组成的布尔逻辑电路,再通过公钥加密、不经意传输等技术来扰乱这些电路值以掩盖信息,在整个过程双方传输的都是密码或随机数,不会有任何有效信息泄露。因此双方在得到计算结果的同时,达到了对隐私数据数据保护的目的。假设存在双方Alice及Bob进行混淆电路协议。混淆电路实现过程分为四个步骤:Alice生成混淆电路。由图4可知,Alice生成的混淆电路中间会连接许多逻辑门,每个逻辑门都有输入线及输出线,且都有一组真值表(Truthtable)。Alice与Bob通信。Alice将逻辑门的真值表对称加密并将真值表的行列打乱成混淆表(Garbledtable)传送至Bob。Bob在接收到加密真值表后,对加密真值表的每一行进行解密,最终只有一行能解密成功,并提取相关的加密信息。其中,Bob通过不经意传输协议从Alice获得对应的解密字符串。不经意传输能够保证Bob获得对应的解密字符串,且Alce无法得知Bob获得哪一个。最后,Bob将计算结果返回给Alice,双方共享计算结果。由于双方需对电路中每个逻辑门进行几个对称密钥操作,因此使用混淆电路的方案的计算复杂度相对也较高,并且当扩展到参与方较多的计算场景时会更加复杂。

动态 | 区块链公司HashCash与医学专家携手 通过区块链为癌症研究提供动力:据报道,总部位于加利福尼亚州的区块链技术公司HashCash计划建立一个平台,让肿瘤学家和癌症研究人员分享他们的资源,以促进癌症治疗。该平台适用于医学专业人员和研究人员,他们可以将他们的研究和调查集中在一个地方,共同寻找治疗这种致命疾病的解决方案。[2018/8/28]

图3:一般电路、门及真值表,来源:安全计算与密码学零知识证明

零知识证明指的是示证者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。零知识证明存在双方或多方角色:示证者(prover)与验证者(verifier)。示证者宣称某一命题为真,而验证者确认该命题是否为真。经典的零知识证明通常包含三个步骤:示证者先根据命题内容向验证者发送命题论述,这个论述必须经过处理转换成密态论述,且命题内容无法在后续的某一时刻进行篡改和抵赖。验证者随机生成一个挑战并发给示证者。示证者根据挑战和命题论述生成证明信息发给验证者。验证者利用证明信息判断示证者是否通过了该次挑战。重复多次这三个步骤,可以降低示证者是因为运气的成份通过挑战的概率。示证者提供的密态命题论述有两个作用,一来可以防止示证方对命题内容临时造假,二来可以让验证者无法得知全部信息,保持隐私性。零知识证明具备三个属性:完备性。如果论述命题确实为真,那么诚实的验证者一定会被诚实的示证者说服。可靠性,如果论述命题为假,那么示证者只能以很小的机率诚实的验证者。零知识。验证者只能知道论述命题是否为真这一结果,而无法从整个交互式证明过程里获得其它任何有用的讯息。安全多方计算通常会利用零知识证明作为辅助手段,举例来说,验证恶意节点发送虚假数据或是做节点身份证明等等。安全多方计算应用与困难

目前来说,安全多方计算主要是通过混淆电路及秘密共享两个方式实现。基于混淆电路的协议更适用于两方逻辑运算,通讯负担较低,但拓展性较差。而基于秘密分享的安全多方计算其拓展性较强,支持无限多方参与计算,计算效率高,但通讯负载较大。目前安全多方计算的应用可以分为两个部分:数据融合及数据资产化。数据融合

让双方或多方数据融合并合作是目前安全多方计算能够发挥最大价值之处。举例来说,联合征信。银行拥有用户金融行为相关数据,而互联网公司一般拥有用户网络的使用数据,如何让两方的数据合作,共同建立一个信用模型,是数据协作的一个关键的问题。利用安全多方计算,可以在双方保留隐私的情况下找到共用的数据集,并且在多方数据基础上训练出的信用模型将更加准确,从而对未知情形提供更加合理的预测,减少数据融合的外部性。除此之外,数据安全存储也是一大应用。企业可使用秘密共享技术将数据以秘密的方式存储,有效防止内部人员非法盗用数据的情况发生。同时,存储的数据无需解密即可进行其他计算,既保证了安全性,又提升了计算效率。数据资产化

安全多方计算有机会能够促进未来数据资产化及数据市场的发展。由于安全多方计算能够在数据传输的过程中从技术层面保证数据确权的问题,使数据的所有权与使用权划清界线,因此企业或个人将可以通过安全多方计算将有价值的数据视为资产,并在市场上流动或进行交易。数据提供方可以规定数据的用途、用量、有效期等使用属性,数据的使用者在拿到数据后只能在授权范围内合理地使用数据,并能将剩余数据的使用权量化或做进一步流通。安全多方计算可以将数据市场的本质由数据所有权转向数据使用权,保障原始数据所有者的权益,有效遏制原始数据泄漏,降低数据泄漏引起的数据流通风险,促进数据的大规模应用。未来挑战

随着区块链和大数据等技术的逐渐发展,我们对数据及计算的要求相对更高。比如:区块链要求匿名性,数据计算需要隐私保护等等。因此类似安全多方计算等密码学技术在实际使用过程中,就会出现解释成本非常高,且效率低的问题。安全多方计算会涉及庞大的计算量及通信量,尤其是涉及公钥运算。目前安全多方计算单个运算可以达到毫秒级,也就是说每秒钟最多能做几百次计算。但是在大数据的场景下,一个数据应用或模型训练往往涉及数十万单位的数据样本及特征量,运算效率会是一个问题。除此之外,对于某些在线或需要实时计算并且计算任务较复杂的应用场景,安全多方计算目前可能难以负担。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

水星链

[0:0ms0-0:987ms