Struct powersoftau::PublicKey [] [src]

pub struct PublicKey { /* fields omitted */ }

Contains terms of the form (s1, s1x, H(s1x)2, H(s1x)2x) for all x in τ, α and β, and some s chosen randomly by its creator. The function H "hashes into" the group G2. No points in the public key may be the identity.

The elements in G2 are used to verify transformations of the accumulator. By its nature, the public key proves knowledge of τ, α and β.

It is necessary to verify same_ratio((s1, s1x), (H(s1x)2, H(s1x)2x)).

Methods

impl PublicKey
[src]

[src]

Serialize the public key. Points are always in uncompressed form.

[src]

Deserialize the public key. Points are always in uncompressed form, and always checked, since there aren't very many of them. Does not allow any points at infinity.

Trait Implementations

impl PartialEq for PublicKey
[src]

[src]

This method tests for self and other values to be equal, and is used by ==. Read more

[src]

This method tests for !=.

impl Eq for PublicKey
[src]