Theorem

dsdp_computes_dot_product_benaloh

File dumas2017dual/dsdp/dsdp_correctness.v
Section dsdp_computational_benaloh
Type Theorem
Proof Lines 1

Signature

Theorem dsdp_computes_dot_product_benaloh : @alice_result AHE v1 v2 v3 u1 u2 u3 r2 r3 = u1 * v1 + u2 * v2 + u3 * v3.

Description

Main theorem: DSDP computes the dot product using Benaloh encryption

Uses (0)

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

Used By (0)

No lemmas in the stats use this lemma.

Coq Source Code

View on GitHub 
Loading source code...
← Back to Stats