Struct CoreShapeConfig 

pub struct CoreShapeConfig<F: PrimeField32> { /* private fields */ }

A configuration for what shapes are allowed to be used by the prover.

Implementations

impl<F: PrimeField32> CoreShapeConfig<F>

pub fn fix_preprocessed_shape( &self, program: &mut Program, ) -> Result<(), CoreShapeError>

Fix the preprocessed shape of the proof.

pub fn fix_shape( &self, record: &mut ExecutionRecord, ) -> Result<(), CoreShapeError>

Fix the shape of the proof.

pub fn find_shape<R: Shapeable>( &self, record: &R, ) -> Result<Shape<RiscvAirId>, CoreShapeError>

TODO move this into the executor crate

pub fn minimal_cluster_shape<'a, N, I>( &self, indexed_shape_clusters: I, heights: &[(RiscvAirId, usize)], ) -> Option<(N, Shape<RiscvAirId>, usize)>

where I: IntoIterator<Item = (N, &'a ShapeCluster<RiscvAirId>)>,

Returns the area, cluster index, and shape of the minimal shape from candidates that fit a given collection of heights.

pub fn all_shapes(&self) -> impl Iterator<Item = OrderedShape> + '_

pub fn maximal_core_shapes( &self, max_log_shard_size: usize, ) -> Vec<Shape<RiscvAirId>>

pub fn maximal_core_plus_precompile_shapes( &self, max_log_shard_size: usize, ) -> Vec<Shape<RiscvAirId>>

pub fn estimate_lde_size(&self, shape: &Shape<RiscvAirId>) -> usize

pub fn small_program_shapes(&self) -> Vec<OrderedShape>

Trait Implementations

impl<F: Debug + PrimeField32> Debug for CoreShapeConfig<F>

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

Formats the value using the given formatter.

impl<F: PrimeField32> Default for CoreShapeConfig<F>

fn default() -> Self

Returns the “default value” for a type.