Enum o1vm::interpreters::keccak::Constraint

pub enum Constraint {
    BooleanityPadding(usize),
    AbsorbZeroPad(usize),
    AbsorbRootZero(usize),
    AbsorbXor(usize),
    AbsorbShifts(usize),
    PadAtEnd,
    PaddingSuffix(usize),
    SqueezeShifts(usize),
    ThetaWordC(usize),
    ThetaRotatedC(usize),
    ThetaQuotientC(usize),
    ThetaShiftsC(usize, usize),
    PiRhoWordE(usize, usize),
    PiRhoRotatedE(usize, usize),
    PiRhoShiftsE(usize, usize, usize),
    ChiShiftsB(usize, usize, usize),
    ChiShiftsSum(usize, usize, usize),
    IotaStateG(usize),
}

All the names for constraints involved in the Keccak circuit

Variants

BooleanityPadding(usize)

AbsorbZeroPad(usize)

AbsorbRootZero(usize)

AbsorbXor(usize)

AbsorbShifts(usize)

PadAtEnd

PaddingSuffix(usize)

SqueezeShifts(usize)

ThetaWordC(usize)

ThetaRotatedC(usize)

ThetaQuotientC(usize)

ThetaShiftsC(usize, usize)

PiRhoWordE(usize, usize)

PiRhoRotatedE(usize, usize)

PiRhoShiftsE(usize, usize, usize)

ChiShiftsB(usize, usize, usize)

ChiShiftsSum(usize, usize, usize)

IotaStateG(usize)

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl PartialEq<Constraint> for Constraint

fn eq(&self, other: &Constraint) -> 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 Copy for Constraint

impl Eq for Constraint

impl StructuralEq for Constraint

impl StructuralPartialEq for Constraint