Enforcing access structures in fully homomorphic encryption
A homomorphic encryption system receives a ciphertext output of an arithmetic evaluation function. The arithmetic evaluation function is performed on a ciphertext input homomorphically encrypted from a plaintext input using a set-system including sets having an intersection property. The ciphertext output is decrypted using a summation of two or more noise-canceling party identifiers of two or more authorized parties, wherein the intersection property of the sets cancels out errors generated during the decrypting operation for the two or more authorized parties.
1. A computing-processor-implemented method comprising:
receiving a ciphertext output of an arithmetic evaluation function, the arithmetic evaluation function being performed on a ciphertext input homomorphically encrypted from a plaintext input using a set-system including sets having an intersection property; and
decrypting the ciphertext output using a summation of two or more noise-canceling party identifiers of two or more authorized parties, wherein the intersection property of the sets cancels out errors generated during the decrypting operation for the two or more authorized parties and an attempting to decrypt the ciphertext output using a summation of one or more noise-canceling party identifiers of one or more unauthorized parties, wherein the intersection property of the sets fails to cancel out errors generated during the attempted decryption and the attempted decryption operation fails for the one or more unauthorized parties.
2. The computing-processor-implemented method of claim 1 , wherein two vectors of a covering vector family of the set-system represent two sets of the set-system and have an inner product equal to a multiple of a non-prime integer when the size of the intersection of the sets represented by the two vectors is a multiple of the non-prime integer.
3. The computing-processor-implemented method of claim 1 , wherein the ciphertext output is generated to be decrypted using the set-system including the sets having the intersection property.
4. The computing-processor-implemented method of claim 1 , wherein each of the two or more noise-canceling party identifiers represents a summation of inner products of trust vectors corresponding to each of the two or more authorized parties.
5. The computing-processor-implemented method of claim 1 , wherein the decrypting operation generates a plaintext result of the arithmetic evaluation function performed on the ciphertext input.
6. The computing-processor-implemented method of claim 1 , wherein a set represented by a first summation of trust vectors of the two or more authorized parties is always a superset or subset of a set in the set-system and second summation of trust vectors of one or more unauthorized parties is never a superset or a subset of a set in the set-system.
7. A system comprising:
one or more hardware processors;
a communication interface coupled to the one or more hardware processors and configured to receive a ciphertext output of an arithmetic evaluation function, the arithmetic evaluation function being performed on a ciphertext input homomorphically encrypted from a plaintext input using a set-system including sets having an intersection property; and
a decryptor executable by the one or more hardware processors and configured to decrypt the ciphertext output using a summation of two or more noise-canceling party identifiers of two or more authorized parties, wherein the intersection property of the sets cancels out errors generated during the decryption for the two or more authorized parties and an attempt to decrypt the ciphertext output using a summation of one or more noise-canceling party identifiers of one or more unauthorized parties, wherein the intersection property of the sets fails to cancel out the errors generated during the attempted decryption and the attempted decryption fails for the one or more unauthorized parties.
8. The system of claim 7 , wherein two vectors of a covering vector family of the set-system represent two sets of the set-system and have an inner product equal to a multiple of a non-prime integer when the size of the intersection of the sets represented by the two vectors is a multiple of the non-prime integer.
9. The system of claim 7 , wherein the ciphertext output is generated to be decrypted using the set-system including the sets having the intersection property.
10. The system of claim 7 , wherein each of the two or more noise-canceling party identifiers represents a summation of inner products of trust vectors corresponding to each of the two or more authorized parties.
11. The system of claim 7 , wherein the decryptor is further configured to generate a plaintext result of the arithmetic evaluation function performed on the ciphertext input.
12. The system of claim 7 , wherein a set represented by a first summation of trust vectors of the two or more authorized parties is always a superset or subset of a set in the set-system and second summation of trust vectors of one or more unauthorized parties is never a superset or a subset of a set in the set-system.
13. One or more tangible processor-readable storage media embodied with instructions for executing on one or more processors and circuits of a computing device a process comprising:
receiving a ciphertext output of an arithmetic evaluation function, the arithmetic evaluation function being performed on a ciphertext input homomorphically encrypted from a plaintext input using a set-system including sets having an intersection property; and
decrypting the ciphertext output using a summation of two or more noise-canceling party identifiers of two or more authorized parties, wherein the intersection property of the sets cancels out errors generated during the decrypting operation for the two or more authorized parties and an attempt to decrypt the ciphertext output using a summation of one or more noise-canceling Party identifiers of one or more unauthorized parties, wherein the intersection Property of the sets fails to cancel out errors generated during the attempted decryption and the attempted decryption operation fails for the one or more unauthorized parties.
14. The one or more tangible processor-readable storage media of claim 13 , wherein two vectors of a covering vector family of the set-system represent two sets of the set-system and have an inner product equal to a multiple of a non-prime integer when the size of the intersection of the sets represented by the two vectors is a multiple of the non-prime integer.
15. The one or more tangible processor-readable storage media of claim 13 , wherein the ciphertext output is generated to be decrypted using the set-system including the sets having the intersection property.
16. The one or more tangible processor-readable storage media of claim 13 , wherein each of the two or more noise-canceling party identifiers represents a summation of inner products of trust vectors corresponding to each of the two or more authorized parties.
17. The one or more tangible processor-readable storage media of claim 13 , wherein a set represented by a first summation of trust vectors of the two or more authorized parties is always a superset or subset of a set in the set-system and second summation of trust vectors of one or more unauthorized parties is never a superset or a subset of a set in the set-system.