Asserts that comp contains no unsecure aggregation calls.

comp A tff.Computation, often a function annotated with tff.federated_computation or tff.tensorflow.computation. Note that polymorphic functions (those without the types of their arguments explicitly specified) will not yet be tff.Computations.

AssertionError if comp contains an unsecure aggregation call. ValueError if comp contains a call whose target function cannot be identified. This may result from calls to references or other indirect structures.