属性加密:算术密钥乱码化

算术公式的算术密钥乱码化方案

本文是我的 2019 年科研“属性加密”系列博文第二篇。在这一篇里,我将引入 LL20 中建立信息论意义下安全性的核心工具——算术密钥乱码化方案 (AKGS)——并给出适用于算术公式的构造。

前情提要

第一篇里介绍了属性加密 (ABE) 的概念:在密钥策略 (KP) ABE 中,密文和属性(程序输入)相关联,密钥和策略(程序)相关联;正确性保证若策略允许属性(程序输出 1),则可以解密;安全性确保即使拿到多个密钥,只要每个密钥的策略都不允许属性,就无法(高效)获得关于明文的任何信息。它可以看成是用密码学施行的访问控制列表 (ACL)。我们定了一个“小目标”:构造支持算术公式的 ABE。

ABE 与乱码电路

假设希望当 时可以还原消息 由于 ABE 不隐藏 故这相当于计算 时,只要把计算结果除以 即可得到 如果假设密钥和密文只透露了 无其他关于 的信息,则直观上当 (即不允许解密)时,密钥和密文不包括任何关于 的信息,从而得以隐藏消息。

顺带一提,如果希望当且仅当 时可以解密,则相当于计算 且密钥和密文不透露任何其他关于 的信息。这里 是一个随机数,当 时,计算结果里 相当于一次性密钥 (one-time pad),完美隐藏

熟悉一些基本密码学概念的读者可能会意识到这种情况和安全函数求值 (secure function evaluation) 很类似:生成密钥时只知道 而不知道 加密时则相反,但把密钥和密文放在一起时希望能且只能计算 计算结果同时依赖两边各自的信息。

这个问题的经典解决方案是姚先生的乱码电路 (garbled circuit)1 Yao86,也叫随机化编码 (randomized encoding) App17。在 LL20 ABE 中,当把密文和密钥放在一起时,首先计算出的就是 的随机化编码,对随机化编码再行运算,就得到 本身。安全性建立在如下几点上:

  • 随机化编码本身安全,即编码不包括 之外任何关于 的信息。
  • 计算随机化编码的过程安全,它不应该透露编码之外的任何信息(比如不能透露随机化编码所用的随机数)。
  • 计算出的随机化编码使用了合适的随机数

注意在第一点里,随机化编码不需要隐藏 因为只隐藏部分输入,所以这是一种部分乱码化方案 (partial garbling scheme) IW14。第二点暗示我们要用一种泛函加密 (functional encryption) 来计算编码本身。通常来说,泛函加密比属性加密要困难得多,不过内积加密 (IPFE) 相对容易一些。

Aime ce que tu as quand t’as pas ce que t’aimes !
Quand t’as pas ce que t’aimes, aime ce que tu as !

— La journée est finie, les Misérables

“爱吾所有,即使一无所有。一无所有时只得爱汝所有。”(“所有”指“拥有”而不是“全部”。)LL20 构造 ABE 时就用 IPFE 来计算随机化编码,这要求编码很“线性”,这些要求总结出来就是所谓的“算术密钥乱码化方案”。

1 乱码电路没有写到论文的会议版本里,只在当年 FOCS 会议讲座里提到。会议版本提到 具体内容在完整版里,不过可能后来姚先生没有公开完整版。每次引用 Yao86 的“乱码电路”时,实际上引用的是讲座而不是出版物。

算术密钥乱码化

算术密钥乱码化方案 (arithmetic key garbling scheme)2简称 AKGS,它包含两个算法:

  • 是乱码化算法,其中算术函数 的输入记作 另两个输入 即所谓的“算术密钥”,而 是算法使用的随机数(若干个 中独立均匀的随机数)。算法输出若干标签函数 (label functions) 每个 都是 仿射函数 [affine function](即一次函数),且 的每个系数都是 线性函数 叫做 乱码化规模 (garbling size)
  • 是求值算法,其中 叫做标签 (labels),它们应该是 这个算法是 线性函数,且它的输出应该是

正确性要求对任意

折腾这么一圈计算 的意义在于标签和 的关系十分简单(双线性函数),而计算 的“大头”(关于 的复杂度)都推迟到 里面了,并且求值还是关于标签线性的。

直观上,我们想说:标签里不包含 之外任何关于 的信息。为什么是标签而不是标签函数(的系数)?若 不是常数,则由于正确性的限制,标签函数的系数总是蕴含着 另一个角度是,重复使用标签函数相当于重复使用 (里用来保护 的随机性,而整个计算过程惟一随机的地方即是 这样做通常不安全。

形式化来说,这里采用完美模拟安全性刻画,要求存在高效算法 来模拟 时的标签 这要求对任意 如下两个分布(真实标签分布和模拟标签分布)相同:

2 这里“算术”和“布尔”相对,即计算过程天然在 中进行(而不仅仅是 作为术语的发明者和翻译者,我钦定这里 arithmetic 以量子叠加态同时修饰 key 和 garbling,即既是“算术密钥的乱码化”又是“密钥的算术乱码化”。

算术公式的 AKGS

既然目标是构造支持算术公式 (arithmetic formulae) 的 ABE,自然就需要用于算术公式的 AKGS,这个方案可以看作简化版的 AIK11BGG⁺14。设 为算术公式而 AKGS 要计算 这里同时定义 分类讨论:

是输入的仿射函数,则没什么特别要做的事儿。

  • 直接定义标签函数为
  • 只要输出标签 本身即可。
  • 只要用输出值本身作为模拟标签即可。

利用

  • 抽取 并递归乱码化 再把两次递归所得标签函数放在一起即可。
  • 分别对两个子公式(用对应标签)递归求值得到 并输出
  • 抽取 并令 然后对子公式 分别用 作为输出进行模拟,再把两次递归所得模拟标签放在一起即可。

利用

  • 抽取 并递归乱码化 再把两次递归所得标签函数放在一起即可。
  • 分别对两个子公式(用对应标签)递归求值得到 并输出
  • 抽取 并令 然后对子公式 分别用 作为输出进行模拟,再把两次递归所得模拟标签放在一起即可。

再次强调, 都不保密 的输入包括两者,故上述算法良定义。显然乱码化方案正确,模拟器的完美性基于如下观察:对于需要递归的公式 给定计算结果 子公式 的计算结果 是一个均匀随机数,且子公式 的计算结果 惟一符合求值过程正确性的那个数,这正是模拟器递归的方式。

具体例子

光说不练假把式,考虑第一篇里举例的算术公式 它的乱码化过程可表示为下图带标注的电路树:每个运算节点旁边标注的是递归乱码化过程中这一步引入的随机数,每条输出线旁标注的是这一条线对应的

算术公式树和乱码化过程算术公式树和乱码化过程算术公式树和乱码化过程算术公式树和乱码化过程算术公式树和乱码化过程
算术公式树和乱码化过程

乱码化过程如下:

  1. 把公式按照结构展开为一棵树,直到展开为输入的仿射函数作为叶子为止。
  2. 在根节点的输出线上标注输入的
  3. 每个非叶子节点的输出线标注完毕后根据 的递归规则标注它的输入线。

标注完毕后叶子的输出线就指示了标签函数,它们是 求值运算是 给定输出为 的模拟标签是 其中 对应于 对应节点右子树的中间求值结果。

显然,任意算术公式的乱码化规模不超过它(作为算术公式)的规模。此外,算术公式采用不同表示方式(例如中间运算节点里减法改成“多个节点的线性组合”,乘法改成“两个节点的积加上一个常数”,并针对这种运算递归)可以稍微降低乱码化规模,不过这都属于工程优化,我们还是多关注理论。

本篇结语

本篇介绍了 LL20 ABE 中建立信息论意义下安全性的工具——算术密钥乱码化方案。它有诸多线性性要求,安全性采用模拟范式刻画。我们还用一个例子具体理解了 AKGS(这个例子将贯穿整个系列博文)。下一次介绍如何使用泛函保密 (function-hiding) 的内积加密构造一次性安全的 ABE。

参考文献

AIK11 Benny Applebaum, Yuval Ishai, and Eyal Kushilevitz. How to Garble Arithmetic Circuits. In Rafail Ostrovsky, editor, 52nd FOCS, pages 120–129. IEEE Computer Society Press, October 2011.
App17 Benny Applebaum. Garbled Circuits as Randomized Encodings of Functions: a Primer. Cryptology ePrint Archive, Report 2017/385, 2017. http://eprint.iacr.org/2017/385.
BGG⁺14 Dan Boneh, Craig Gentry, Sergey Gorbunov, Shai Halevi, Valeria Nikolaenko, Gil Segev, Vinod Vaikuntanathan, and Dhinakaran Vinayagamurthy. Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE and Compact Garbled Circuits. In Phong Q. Nguyen and Elisabeth Oswald, editors, EUROCRYPT 2014, volume 8441 of LNCS, pages 533–556. Springer, Heidelberg, May 2014.
IW14 Yuval Ishai and Hoeteck Wee. Partial Garbling Schemes and Their Applications. In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, and Elias Koutsoupias, editors, ICALP 2014, Part I, volume 8572 of LNCS, pages 650–662. Springer, Heidelberg, July 2014.
LL20 Huijia Lin and Ji Luo. Compact Adaptively Secure ABE from -Lin: Beyond and Towards . In Anne Canteaut and Yuval Ishai, editors, EUROCRYPT 2020, Part III, volume 12107 of LNCS, pages 247–277. Springer, Heidelberg, May 2020.
Yao86 Andrew Chi-Chih Yao. How to Generate and Exchange Secrets (Extended Abstract). In 27th FOCS, pages 162–167. IEEE Computer Society Press, October 1986.

请启用 JavaScript 来查看由 Disqus 驱动的评论。