A compiler extension that adds support for a cryptographic backend.
Combines all back ends that support code generation.
A back end that combines the cleartext, commitment, ZKP, and ABY back ends.
Restricts the given back end to only use protocols satisfying predicate.
Combines back ends for different protocols into one that supports all.