Enum Halo2Opcode 

pub enum Halo2Opcode {
    Const,
    Select,
    Num2Bits(u16),
    BBReduce,
    BBAdd,
    BBNeg,
    BBSub,
    BBMul,
    BBMulAdd,
    BBDiv,
    BBAssertZero,
    ExtMul,
    ExtDiv,
    PoseidonPermute2T2,
    PoseidonPermute2T3,
    LoadWitness,
    CheckLessThanSafe,
    InnerProduct(u16),
    DecomposeBn254ToBabyBear,
    RangeDiv(u16),
}

IR opcodes. Each op writes a statically-known slice of the advice + range tapes when executed.

Variants

Const

One constant advice cell; single GraphCell::Const operand.

Select

if cond { a } else { b }; operands [a, b, cond] (a/b may be const).

Num2Bits(u16)

Little-endian bit decomposition into n bit cells.

BBReduce

Barrett-style signed reduction to [0, p). Operand bit bound drives the quotient range-check width.

BBAdd

BBNeg

BBSub

BBMul

BBMulAdd

BBDiv

Atomic BabyBearChip::div. Outputs: 0=quotient, 1=internally-loaded ONE cell (materialized only on cache miss).

BBAssertZero

Asserts operand ≡ 0 (mod p).

ExtMul

Atomic BabyBearExt4Chip::mul; operands [a0..a3, b0..b3]. Outputs: 0-3=product coefficients, 4=internally-loaded W cell (cache miss only).

ExtDiv

Atomic BabyBearExt4Chip::div; operands [a0..a3, b0..b3]. Outputs: 0-3=quotient coefficients, 4-6=internally-loaded ONE/ZERO/W cells (each cache miss only).

PoseidonPermute2T2

Width-2 Poseidon2 (digest compression).

PoseidonPermute2T3

Width-3 Poseidon2 (transcript sponge, digest hashing).

LoadWitness

One proof-input advice cell.

CheckLessThanSafe

Proof-input cell constrained to [0, p) (check_less_than_safe).

InnerProduct(u16)

Inner product of n (value, coefficient) pairs, interleaved as [v0, c0, v1, c1, ..]; coefficients are GraphCell::Const in practice.

DecomposeBn254ToBabyBear

Base-BabyBear decomposition of one Bn254 word into NUM_SAMPLES_PER_WORD digit cells + boundary checks. Mirrors decompose_bn254_to_base_baby_bear_digits.

RangeDiv(u16)

rem of range.div_mod(operand, 2^n) (TranscriptChip::sample_bits).

Implementations

impl Halo2Opcode

pub fn num_operands(&self) -> usize

pub fn num_results(&self) -> usize

pub fn name(&self) -> &'static str

Trait Implementations

impl Clone for Halo2Opcode

fn clone(&self) -> Halo2Opcode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Halo2Opcode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Halo2Opcode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Halo2Opcode

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for Halo2Opcode

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Halo2Opcode

impl Eq for Halo2Opcode

impl StructuralPartialEq for Halo2Opcode