Helper

paillier_Epow_scalarM

File homomorphic_encryption/paillier1999/paillier_ahe.v

Section paillier_instance

Type Lemma

Proof Lines 8

Signature

Lemma paillier_Epow_scalarM : forall (k : pub_key PaillierHETypes) (j : plain PaillierHETypes), {morph enc_curry PaillierHETypes k : mr / mr_bop_rplain PaillierHETypes *%R paillier_rand_pow mr j >-> paillier_Epow mr j}.

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