w3f_bls::double_pop

Struct NuggetBLSPoP

Source
pub struct NuggetBLSPoP<E: EngineBLS>(pub E::SignatureGroup);
Expand description

Proof Of Possession of the secret key as the secret scaler genarting both public keys in G1 and G2 by generating a BLS Signature of public key (in G2)

Tuple Fields§

§0: E::SignatureGroup

Trait Implementations§

Source§

impl<E: EngineBLS> CanonicalDeserialize for NuggetBLSPoP<E>

Source§

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.
Source§

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>
where R: Read,

Source§

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>
where R: Read,

Source§

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>
where R: Read,

Source§

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>
where R: Read,

Source§

impl<E: EngineBLS> CanonicalSerialize for NuggetBLSPoP<E>

Source§

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.
Source§

fn serialized_size(&self, compress: Compress) -> usize

Source§

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>
where W: Write,

Source§

fn compressed_size(&self) -> usize

Source§

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>
where W: Write,

Source§

fn uncompressed_size(&self) -> usize

Source§

impl<E: EngineBLS, H: DynDigest + Default + Clone> ProofOfPossession<E, H, DoublePublicKey<E>> for NuggetBLSPoP<E>

The verification process for verifying both possession of one secret key for two public key is different.

Source§

fn verify(&self, public_key_of_prover: &DoublePublicKey<E>) -> bool

verify the validity of PoP by performing the following Pairing e(H_pop(pk_2) + t.g_1, pk_2) = e(sign(H_pop(pk_2))+ t.pk_1, g_2) we verifying by calling the verify_prepared ⎈function from the engine.

Source§

impl<E: EngineBLS, H: DynDigest + Default + Clone> ProofOfPossessionGenerator<E, H, DoublePublicKey<E>, NuggetBLSPoP<E>> for Keypair<E>

Source§

fn generate_pok(&mut self) -> NuggetBLSPoP<E>

The proof of possession generator is supposed to to produce a schnorr signature or a bls signature using the secret key which it claims to possess. This proves that that the secret key is known.
Source§

impl<E: EngineBLS> SerializableToBytes for NuggetBLSPoP<E>

Serialization for DoublePublickey

Source§

const SERIALIZED_BYTES_SIZE: usize = E::SIGNATURE_SERIALIZED_SIZE

Source§

fn to_bytes(&self) -> Vec<u8>

Source§

fn from_bytes(bytes: &[u8]) -> Result<Self, SerializationError>

Source§

impl<E: EngineBLS> Valid for NuggetBLSPoP<E>

Source§

fn check(&self) -> Result<(), SerializationError>

Source§

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>
where Self: 'a,

Auto Trait Implementations§

§

impl<E> Freeze for NuggetBLSPoP<E>

§

impl<E> RefUnwindSafe for NuggetBLSPoP<E>

§

impl<E> Send for NuggetBLSPoP<E>

§

impl<E> Sync for NuggetBLSPoP<E>

§

impl<E> Unpin for NuggetBLSPoP<E>

§

impl<E> UnwindSafe for NuggetBLSPoP<E>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CanonicalSerializeHashExt for T

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V