支持多布尔函数的公开可验证委托方案

Publicly Verifiable Delegation of Multi-Boolean-Function

提出了支持多布尔函数的公开可验证委托模型,并基于支持非单调访问结构的KP-ABE(Key Policy Attribute Based Encryption)方案给出了具体的构造.该方案能够使任何第三方对布尔函数的委托计算结果进行验证.与Parno等人的方案相比较,该方案通过将输入值与委托计算的布尔函数进行绑定,实现了一次系统建立后,可对多个布尔函数进行委托计算,提高了系统的效率.

This paper proposes a publicly verifiable delegation model for multi-boolean-function, and gives a construction based on key-policy attribute based encryption （KP-ABE） supporting non-monotonic access structure. In our scheme, any third party could verify the result of the delegation for the boolean-function. Compared to the construction proposed by Pamo, our scheme is more efficient, since it can delegate multi-boolean-function after the setup of the system, by binding the inputs to the specific boolean-function.