Theorem

dsdp_computes_dot_product_n

Section dsdp_n

Type Theorem

Proof Lines 4

Theorem dsdp_computes_dot_product_n : alice_result_n = \sum_(i < n_relay.+2) u i * v i.

N-party correctness: Alice computes the dot product

This lemma does not use any other lemmas from the stats.

No lemmas in the stats use this lemma.

Loading source code...