Struct chain_crypto::algorithms::zkps::challenge_context::ChallengeContext

pub struct ChallengeContext(Blake2b);

Challenge context for Discrete Logarithm Equality proof. The common reference string are two EC bases, and the statement consists of two EC points. The challenge computation takes as input the two announcements computed in the sigma protocol, a1 and a2, and the full statement.

Tuple Fields

0: Blake2b

Implementations

impl ChallengeContext

pub(crate) fn new( base_1: &GroupElement, base_2: &GroupElement, point_1: &GroupElement, point_2: &GroupElement ) -> Self

Initialise the challenge context, by including the common reference string and the full statement

pub(crate) fn first_challenge( &mut self, a1: &GroupElement, a2: &GroupElement ) -> Scalar

Generation of the first_challenge. This challenge is generated after the Announcement is “sent”. Hence, we include the latter to the challenge context and generate its corresponding scalar.