Trait CellFamily

pub trait CellFamily: Sized {
    type EmptyCellContext: CellContext;

    // Required methods
    fn empty_cell() -> Cell;
    fn empty_cell_ref() -> &'static DynCell;
    fn empty_context() -> Self::EmptyCellContext;
    fn all_zeros_ref() -> &'static DynCell;
    fn all_ones_ref() -> &'static DynCell;
    fn virtualize(cell: Cell) -> Cell;
}

Cell implementation family.

Required Associated Types

type EmptyCellContext: CellContext

The default cell context type.

Required Methods

fn empty_cell() -> Cell

Creates an empty cell.

NOTE: in most cases empty cell is ZST.

fn empty_cell_ref() -> &'static DynCell

Returns a static reference to the empty cell

fn empty_context() -> Self::EmptyCellContext

Creates an empty cell context.

fn all_zeros_ref() -> &'static DynCell

Returns a static reference to the cell with all zeros.

fn all_ones_ref() -> &'static DynCell

Returns a static reference to the cell with all ones.

fn virtualize(cell: Cell) -> Cell

Creates a virtualized cell from the specified cell.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl CellFamily for Cell

type EmptyCellContext = EmptyCellContext