文章基本信息

标题：Affine Determinant Programs: A Framework for Obfuscation and Witness Encryption
本地全文：下载
作者：James Bartusek ; Yuval Ishai ; Aayush Jain 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：151
页码：1-39
DOI：10.4230/LIPIcs.ITCS.2020.82
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：An affine determinant program ADP: {0,1}^n â' {0,1} is specified by a tuple (A,B_1,â¦,B_n) of square matrices over ?_q and a function Eval: ?_q â' {0,1}, and evaluated on x â^^ {0,1}^n by computing Eval(det(A + â^'_{iâ^^[n]} x_i B_i)). In this work, we suggest ADPs as a new framework for building general-purpose obfuscation and witness encryption. We provide evidence to suggest that constructions following our ADP-based framework may one day yield secure, practically feasible obfuscation. As a proof-of-concept, we give a candidate ADP-based construction of indistinguishability obfuscation (i?) for all circuits along with a simple witness encryption candidate. We provide cryptanalysis demonstrating that our schemes resist several potential attacks, and leave further cryptanalysis to future work. Lastly, we explore practically feasible applications of our witness encryption candidate, such as public-key encryption with near-optimal key generation.
关键词：Obfuscation; Witness Encryption