Common use of Input Clause in Contracts

Input. For each input wire ω of circg, let bω denote the corresponding input bit. Random values. For each wire x xx xxxx xxxxxxxx 0 vectors of n random sub-keys K := K , . . . , K , 1 1,1 1,n x x x x , 0 } . For each gate a, for all couples ( 0, 0,n g x x x

Input. For each input wire ω of circg, let bω denote the corresponding input bit. Random values. For each wire x xx xxxx xxxxxxxx 0 γ of circ generate 2 vectors of n random sub-keys K := K , . . . , K , 1 1,1 1,n x x x x γ γ γ γ , 0 1 } . For each gate a, for all couples ( 0, 0,n g x x xγ γ γ