An Expressive (Zero-Knowledge) Set Accumulator
Non-interactive verifiable computing: Outsourcing computation to untrusted workers