klefki.zkp.pedersen

Module Contents

Functions

commitment(x: Field, r: Field, H: Group, G: Group) → Group

vertex_commitment(x: [Field], r: Field, H: Group, G: [Group]) → Group

com(x, r, H, G) → Group

Com(x, r) = xG + rH
klefki.zkp.pedersen.commitment(x: Field, r: Field, H: Group, G: Group) → Group
klefki.zkp.pedersen.vertex_commitment(x: [Field], r: Field, H: Group, G: [Group]) → Group
klefki.zkp.pedersen.com(x, r, H, G) → Group

Com(x, r) = xG + rH

class klefki.zkp.pedersen.PedersonCommitment(G, H, x, r)

Bases: klefki.zkp.commitment.TrapdoorCommitment

commit(self, y, s)
trapdoor(self, new_secret, x)

x is trapdoor

challenge(self, e)

e is the random callange

proof(self, trans=None)
property transcript(self)
property C(self)
property D(self)
static verify(H, G, C, D)