Asserts that comp contains no unsecure aggregation calls.

comp A tff.Computation, often a function annotated with tff.federated_computation or tff.tf_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.