上一篇文章我们分析了谷歌开源库的应用场景，本篇文章对其技术进行分析。
谷歌这个开源库是利用已有的密码技术成果，对已有技术组合从而达到解决问题的目的。有点像比特币，都是站在巨人肩膀上。
谷歌是如何从学术界摘果子来解决工业界实际问题的呢？
谷歌这个开源库的主要工作就是设计一个切实可行的密码学安全计算协议，其目的是为了工业界的使用。
01
问题模型
该协议解决的主要问题就是计算隐私交集和。
问题模型可以抽象为：
有两方各自拥有包含用户身份的数据集，其中一方还拥有与用户身份相关的一个整数，例如该整数可以是该用户的交易金额。双方想知道如下内容：
谷歌母公司Alphabet在2021年9月至2022年6月期间向区块链公司投资了15.6亿美元:金色财经报道，研究表明，谷歌母公司Alphabet在2021年9月至2022年6月期间共向区块链公司投资了15.6亿美元，共进行了四轮投资，在投资该行业的上市公司中处于领先地位。
此外，贝莱德三轮投资11.7亿美元，其次是银行业巨头摩根士丹利，两轮融资11亿美元。在其他地方，电子巨头三星以 9.79 亿美元的 13 轮融资领先，而高盛以6.98亿美元位居第五。[2022/8/16 12:29:17]
(1)双方拥有的共同用户数量；
(2)在不泄露用户输入的任何隐私信息下，这些共同用户所对应的整数之和。
谷歌云正在中国招聘“区块链业务发展经理”:云计算巨头谷歌云（Google Cloud）正在中国招聘一名“区块链业务发展经理”。根据一篇帖子，谷歌云正在为其团队招聘一名经理，负责向C级高管销售企业账户。谷歌云拥有大量区块链产品，如区块链钱包和区块链浏览器。2018年，谷歌与Digital Asset合作，将区块链技术与谷歌云整合。今年5月，谷歌与Theta Labs合作，旨在通过谷歌云帮助车载视频交付网络用户。（CoinDesk）[2021/1/6 16:35:18]
这就是一个隐私交集和问题。
该问题不是一个空想出来的问题，而是来自于企业的具体需求。
例如在广告战中，计算具体广告转化率，也就是打广告的效果。有多少人因为广告而购买了商品。在该需求中，可能涉及到多个企业。这是在企业合作中经常会出现的情况。
声音 | Coinbase首席执行官：Coinbase将在互联网3.0时代成为加密行业的谷歌:据dailyhodl消息，在财富杂志发布的新视频中，Coinbase首席执行官Brian Armstrong表示，互联网2.0时代关注在互联网上的互动以及进行消息传递和数据共享，谷歌真正起飞也是在2.0时代。他认为互联网3.0将涉及互联网上的价值转移，Coinbase在互联网3.0时代可以成为加密行业的谷歌，成为世界领先的公司。[2018/9/29]
这个问题具有重要的实际价值，而且在很多场景下都需要，具有共性。
02
技术框架
上述问题咋看起来，很像隐私集合交集问题。注意PIS和PSI是两个问题。
PIS是一个密码学上的传统问题，即在不泄露交集的情况下，计算集合的交集。
而谷歌这里定义的PIS是除了PIS所完成的功能外，还能够对交集做聚合计算。显然这会带来额外的计算开销。
注意，聚合就是对同一属性的元素求和。
谷歌开源库做的事就是以PSI方案为基石，对其进行扩展。将其扩展为在不泄露交集的情况下，能够在相应的属性上做聚合计算。
所以该开源库的架构是：
PSI对交集元素求和
03
技术路线
该库的技术路线就是首先根据已有的PSI方案，选择出最有效的方案作为备选。然后通过加法同态加密实现聚合功能。
这些年，密码学界已经有许多PSI的解决方案。谷歌技术路线上选择了两种解决PSI问题的方法。
一种方法是基于随机不经意传输，该方法利用了不经意PRF技巧，获得了隐藏交集元素身份的功能。然后利用加法同态加密，实现了在不泄露交集元素的情况下提供聚合功能。
第二种方法是在加法同态加密下，利用加密的Bloom过滤器构造了一个oblivious协议。聚合功能依然通过加法同态加密实现。
除了以上两个协议外，还构造了第三个协议，称为DDH类型协议。该协议基于传统的集合交集协议，使用PohligHellman密文。这种类型协议可以看做是使用共享密钥的不经意PRF。同样，聚合功能也是通过加法同态加密实现。
04
性能
以上三个协议都需要加法同态加密。目前有三种加法同态加密方案：
1.Paillier加密方案
2.指数型ElGamal加密方案
3.环LWE加密方案
从通信效率和计算效率两个角度，谷歌对基于这三个加法同态加密的三个协议进行了详细分析。
数据显示，第三个协议--DDH类型协议获得了最好的通信效率。在输入集合元素是10万个元素情况下，只需要9.28M的通信量。
此外，在计算效率方面，基于环LWE加密方案的DDH类型协议也依然获得了最佳性能。在输入集合含有10万个元素，以及相关整数是32位的情况下，计算PIS问题仅需395.78秒。
对于其它两个协议，尽管做了计算上的优化，但是其计算瓶颈主要花在了同态操作上。
-----未完
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。