Practical indistinguishability obfuscation. 2026 focus: noise refreshing, blind PRF over key-homomorphic encodings, ≥64-bit obfuscation, SNARK verification kickoff.
Implement FHE multiplication over key-homomorphic encodings. Foundation for blind PRF; unlocks predicate encryption / LFE.
Implement noise refreshing of GGH15 encodings with replaceable dummy blind PRF. Confirm parameter growth is polylogarithmic.
Circuit size/depth sensitivity and parameter-growth behavior. Set targets for real blind PRF circuit size.
Paper: noise refreshing construction and security proof (venue TBD).
Circuit over encodings that simulates a PRF without revealing key or output. Replace dummy in noise refreshing.
End-to-end obfuscation and evaluation for ≥64 input bits. First practical iO beyond lookup-table scale.
Paper and presentation: first practical-performance iO for nontrivial input size.
Milestone 5 kickoff: PV vs DV scheme selection, verification circuit over key-homomorphic encodings. Continues into Q1 2027.
Academic collaboration on cryptanalysis (all-product LWE, evasive LWE, encodings) and efficiency improvements.