Module halo2_frontend::plonk::circuit::expression

Modules

• sealed

Structs

• AdviceQuery
  Query of advice column at a certain relative location
• Challenge
  A challenge squeezed from transcript after advice columns at the phase have been committed.
• Column
  A column with an index and type
• FirstPhase
  First phase
• FixedQuery
  Query of fixed column at a certain relative location
• InstanceQuery
  Query of instance column at a certain relative location
• SecondPhase
  Second phase
• Selector
  A selector, representing a fixed boolean value per row of the circuit.
• TableColumn
  A fixed column of a lookup table.
• ThirdPhase
  Third phase

Enums

• Expression
  Low-degree expression representing an identity that must hold over the committed columns.

Traits

• Phase
  Phase of advice column