Witness Encryption for Succinct Functional Commitments