Struct ergotree_interpreter::sigma_protocol::unchecked_tree::UncheckedDhTuple

pub struct UncheckedDhTuple {
    pub proposition: ProveDhTuple,
    pub commitment_opt: Option<FirstDhTupleProverMessage>,
    pub challenge: Challenge,
    pub second_message: SecondDhTupleProverMessage,
}

UncheckedDhTuple

Fields

proposition: ProveDhTuple

Proposition

commitment_opt: Option<FirstDhTupleProverMessage>

Commitment FirstDhTupleProverMessage

challenge: Challenge

Challenge

second_message: SecondDhTupleProverMessage

SecondMessage

Implementations

impl UncheckedDhTuple

pub fn with_challenge(self, challenge: Challenge) -> Self

Set Challenge

Trait Implementations

impl Clone for UncheckedDhTuple

fn clone(&self) -> UncheckedDhTuple

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for UncheckedDhTuple

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<UncheckedDhTuple> for UncheckedLeaf

fn from(original: UncheckedDhTuple) -> UncheckedLeaf

Converts to this type from the input type.

impl From<UncheckedDhTuple> for UncheckedTree

fn from(dh: UncheckedDhTuple) -> Self

Converts to this type from the input type.

impl PartialEq<UncheckedDhTuple> for UncheckedDhTuple

fn eq(&self, other: &UncheckedDhTuple) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for UncheckedDhTuple

impl StructuralEq for UncheckedDhTuple

impl StructuralPartialEq for UncheckedDhTuple