Attribute-Based Encryption for Circuits
Non-interactive verifiable computing: Outsourcing computation to untrusted workers