Struct MultiPhaseCoreManager

pub struct MultiPhaseCoreManager<F: ScalarField> {
    pub phase_manager: Vec<SinglePhaseCoreManager<F>>,
    pub copy_manager: SharedCopyConstraintManager<F>,
    /* private fields */
}

Virtual region manager for FlexGateConfig in multiple phases.

Fields

phase_manager: Vec<SinglePhaseCoreManager<F>>

Virtual region for each challenge phase. These cannot be shared across threads while keeping circuit deterministic.

copy_manager: SharedCopyConstraintManager<F>

Global shared copy manager

Implementations

impl<F: ScalarField> MultiPhaseCoreManager<F>

pub fn witness_gen_only(&self) -> bool

Flag for witness generation. If true, the gate thread builder is used for witness generation only.

pub fn use_unknown(&self) -> bool

The unknown flag is used during key generation. If true, during key generation witness Values are replaced with Value::unknown() for safety.

impl<F: ScalarField> MultiPhaseCoreManager<F>

pub fn new(witness_gen_only: bool) -> Self

Creates a new MultiPhaseCoreManager with a default SinglePhaseCoreManager in phase 0. Creates an empty SharedCopyConstraintManager and sets witness_gen_only flag.

• witness_gen_only: If true, the MultiPhaseCoreManager is used for witness generation only.
  • If true, the gate thread builder only does witness asignments and does not store constraint information – this should only be used for the real prover.
  • If false, the gate thread builder is used for keygen and mock prover (it can also be used for real prover) and the builder stores circuit information (e.g. copy constraints, fixed columns, enabled selectors).
    • These values are fixed for the circuit at key generation time, and they do not need to be re-computed by the prover in the actual proving phase.

pub fn from_stage(stage: CircuitBuilderStage) -> Self

Creates a new MultiPhaseCoreManager depending on the stage of circuit building. If the stage is CircuitBuilderStage::Prover, the MultiPhaseCoreManager is used for witness generation only.

pub fn set_copy_manager(&mut self, copy_manager: SharedCopyConstraintManager<F>)

Mutates self to use the given copy manager in all phases and all threads.

pub fn use_copy_manager( self, copy_manager: SharedCopyConstraintManager<F>, ) -> Self

Returns self with a given copy manager

pub fn unknown(self, use_unknown: bool) -> Self

Creates a new MultiPhaseCoreManager with use_unknown flag set.

• use_unknown: If true, during key generation witness values are replaced with Value::unknown() for safety.

pub fn clear(&mut self)

Clears all threads in all phases and copy manager.

pub fn main(&mut self, phase: usize) -> &mut Context<F>

Returns a mutable reference to the Context of a gate thread. Spawns a new thread for the given phase, if none exists.

• phase: The challenge phase (as an index) of the gate thread.

pub fn new_thread(&mut self, phase: usize) -> &mut Context<F>

Spawns a new thread for a new given phase. Returns a mutable reference to the Context of the new thread.

• phase: The phase (index) of the gate thread.

pub fn in_phase(&mut self, phase: usize) -> &mut SinglePhaseCoreManager<F>

Returns a mutable reference to the SinglePhaseCoreManager of a given phase.

pub fn statistics(&self) -> GateStatistics

Returns some statistics about the virtual region.

pub fn calculate_params( &self, k: usize, minimum_rows: Option<usize>, ) -> FlexGateConfigParams

Auto-calculates configuration parameters for the circuit

• k: The number of in the circuit (i.e. numeber of rows = 2^k)
• minimum_rows: The minimum number of rows in the circuit that cannot be used for witness assignments and contain random blinding factors to ensure zk property, defaults to 0.

Trait Implementations

impl<F: Clone + ScalarField> Clone for MultiPhaseCoreManager<F>

fn clone(&self) -> MultiPhaseCoreManager<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + ScalarField> Debug for MultiPhaseCoreManager<F>

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

Formats the value using the given formatter.

impl<F: Default + ScalarField> Default for MultiPhaseCoreManager<F>

fn default() -> MultiPhaseCoreManager<F>

Returns the “default value” for a type.