h(x)= iO Indistinguishability Obfuscation { F(x) if R(x, F(x))=1, F(x); else, F(x) if R(x, F(x))=1, F(x); else, G(x) IHO[ if R(x, F(x))=1, F(x); else, continue]; if continue, G(x) while continue: { if R(x, Fi(x))=0, Fi(x); else, i++, continue} , with padding bunches of dummy circuits }