Enum kimchi::circuits::expr::ChallengeTerm
source · pub enum ChallengeTerm {
Alpha,
Beta,
Gamma,
JointCombiner,
}
Expand description
Define challenges the verifier coins during the interactive protocol. It has been defined initially to handle the PLONK IOP, hence:
alpha
for the quotient polynomialbeta
andgamma
for the permutation challenges. The joint combiner is to handle vector lookups, initially designed to be used with PLOOKUP. The terms have no built-in semantic in the expression framework, and can be used for any other four challenges the verifier coins in other polynomial interactive protocol. TODO: we should generalize the expression type over challenges and constants. See https://github.com/MinaProtocol/mina/issues/15287
Variants§
Trait Implementations§
source§impl Clone for ChallengeTerm
impl Clone for ChallengeTerm
source§fn clone(&self) -> ChallengeTerm
fn clone(&self) -> ChallengeTerm
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ChallengeTerm
impl Debug for ChallengeTerm
source§impl<'de> Deserialize<'de> for ChallengeTerm
impl<'de> Deserialize<'de> for ChallengeTerm
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl FormattedOutput for ChallengeTerm
impl FormattedOutput for ChallengeTerm
source§impl<F> From<ChallengeTerm> for ConstantExpr<F>
impl<F> From<ChallengeTerm> for ConstantExpr<F>
source§fn from(x: ChallengeTerm) -> Self
fn from(x: ChallengeTerm) -> Self
Converts to this type from the input type.
source§impl<F> From<ChallengeTerm> for ConstantExprInner<F>
impl<F> From<ChallengeTerm> for ConstantExprInner<F>
source§fn from(x: ChallengeTerm) -> Self
fn from(x: ChallengeTerm) -> Self
Converts to this type from the input type.
source§impl<F, Column> From<ChallengeTerm> for Expr<ConstantExpr<F>, Column>
impl<F, Column> From<ChallengeTerm> for Expr<ConstantExpr<F>, Column>
source§fn from(x: ChallengeTerm) -> Self
fn from(x: ChallengeTerm) -> Self
Converts to this type from the input type.
source§impl PartialEq<ChallengeTerm> for ChallengeTerm
impl PartialEq<ChallengeTerm> for ChallengeTerm
source§fn eq(&self, other: &ChallengeTerm) -> bool
fn eq(&self, other: &ChallengeTerm) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for ChallengeTerm
impl Serialize for ChallengeTerm
impl Copy for ChallengeTerm
impl Eq for ChallengeTerm
impl StructuralEq for ChallengeTerm
impl StructuralPartialEq for ChallengeTerm
Auto Trait Implementations§
impl RefUnwindSafe for ChallengeTerm
impl Send for ChallengeTerm
impl Sync for ChallengeTerm
impl Unpin for ChallengeTerm
impl UnwindSafe for ChallengeTerm
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more