Crate mdnt_support 

Support crate for integrating the extractor.

Re-exports

pub use haloumi_ir as ir;

Modules

cells

Types and traits related to loading and storing data from cells.

circuit

Traits for working at the circuit level.

error

Error type for the support crate.

macros

Macros for supporting extraction.

Macros

auto_conf_impl

Creates an implementation of AutoConfigure.

cell_to_expr

Creates an [Expression] that queries the given cell relative to the beginning of the cell’s region.

circuit_initialization_from_scratch

Implements crate::circuit::CircuitInitialization for the given type based on its FromScratch implementation.

expect_elements

Macro for creating Error::UnexpectedElements errors.

Traits

Halo2Types

This trait defines the halo2 types required by this crate. An implementation of halo2 compatible with this crate must have some type that implements this trait s.t. it can be passed to traits and types in this crate.

Functions

big_to_fe

Converts a big unsigned integer into a prime field element.

fe_to_big

Converts a prime field element into a big unsigned integer.

parse_field

Parses a value of F from the given string.

sbig_to_fe

Converts a big signed integer into a prime field element. If the value is negative it wraps around the field’s modulus.