阅读论文(Foundation of Garbled Circuits)
文章目录
一、往期回顾
混淆电路论文学习笔记——part1
混淆电路论文学习笔记——part2
前面两部分我们主要介绍了混淆方案的一些基本的概念以及几个安全性概念之间的关系,这部分主要记录一下论文给出的满足隐私性的混淆方案一以及同时满足满足隐私性,不经意性,认证性的混淆方案二。
二、混淆方案一代码
1、电路混淆函数Gb
- G b ( f , x ) : Gb(f,x): Gb(f,x):
- ( n , m , q , A ′ , B ′ , G ) ← f (n,m,q,A',B',G)\leftarrow f (n,m,q,A′,B′,G)←f
- for i ∈ { 1 , 2 , ⋯ , n + q − m } i \in \{1,2,\cdots,n+q-m\} i∈{ 1,2,⋯,n+q−m} do t i ↞ { 0 , 1 } , X i 0 = { 0 , 1 } k − 1 t i , X i 1 = { 0 , 1 } k − 1 t i ‾ t_i \twoheadleftarrow \{0,1\},X_i ^0=\{0,1\}^{k-1}t_i,X_i^1=\{0,1\}^{k-1}\overline{t_i} ti↞{ 0,1},Xi0={ 0,1}k−1ti,Xi1={ 0,1}k−1ti
- for i ∈ { n + q − m + 1 , ⋯ , n + q } i \in\{n+q-m+1,\cdots,n+q\} i∈{ n+q−m+1,⋯,n+q} do X i 0 = { 0 , 1 } k − 1 0 , X i 1 = { 0 , 1 } k − 1 1 X_i ^0=\{0,1\}^{k-1}0,X_i^1=\{0,1\}^{k-1}1 Xi0={ 0,1}k−10,Xi1={ 0,1}k−11
- for { g , i , j } ∈ { n + 1 , … , n + q } × { 0