Indistinguishability Obfuscation Mencapai Terobosan Teoretis, Namun Menghadapi Tantangan Kinerja yang Ekstrem

Menurut posting blog Vitalik Buterin pada 29 Juni, kebingungan ketidakdapatdibedakan (iO) telah mencapai kelayakan teoretis di bawah asumsi keamanan yang wajar, tetapi implementasi saat ini menghadapi hambatan kinerja yang parah yang membuat penerapan praktis tidak mungkin. Skema yang paling ketat memerlukan lapisan primitif kriptografi yang bersarang termasuk enkripsi homomorfik penuh (FHE), enkripsi berbasis atribut (ABE), enkripsi fungsional (FE), dan pengkodean acak, yang menghasilkan overhead komputasi dalam orde λ^{10λ}, jauh melampaui apa yang layak secara komputasi.

iO dapat mengenkripsi program arbitrer sambil mempertahankan fungsionalitas input-output, secara teoretis memungkinkan aplikasi seperti sistem voting yang aman tanpa memerlukan komite multi-pihak. Jalur terobosan potensial meliputi optimasi algoritmik dari tumpukan teknologi yang ada, konstruksi skema yang lebih sederhana berdasarkan asumsi kisi yang lebih agresif, dan eksplorasi pendekatan baru yang independen dari asumsi kisi.