Practical indistinguishability obfuscation. Noise refreshing, blind PRFs, first 64-bit iO.
Implement noise refreshing of GGH15 encodings with dummy blind PRF. Confirm parameters grow polylogarithmically.
Circuit size/depth sensitivity analysis. Parameter growth behavior testing.
Paper describing noise refreshing construction + security proof.
Circuit evaluated over key-homomorphic encodings that simulates a PRF. Replace dummy PRF.
First practical iO for nontrivial input size. Lookup-table approach becomes impossible.
Present first practical-performance iO at Devcon Mumbai.
Implement SNARK verification over key-homomorphic encodings. PV vs DV scheme selection.