关键词: 一次程序, K次程序, 加密电路, 一次内存

Abstract:

Based on the study of one-time programs, we describe the characters of K-time programs by a formal definition and study the condition and method for the construction of the K-time program based on the definition to make up the lack of the theoretical study of the characters and construction of K-time programs. We provide a theoretical basis for the K-time program construction by presenting a necessary condition for the K-time program construction with a definition of the programs that can not be converted into K-time programs and a definition of the programs that can be converted into K-time programs along with a one time program based construction of this kind of programs and proof.

Key words: one-time programs, K-time programs, garbled circuit, one-time memory