Crate haloumi_core 

haloumi-core

This crate contains the core types and traits of the framework. An implementation of Halo2 that wants to be compatible with the framework needs to implement the traits defined here.

Usage

TBD

Modules

cmp

Comparison IR operator.

constraints

Types related to constraints.

eqv

Types and traits related to equivalence relations.

error

Error type.

expressions

Traits defining the behavior of expressions.

felt

Felt type.

info_traits

Adaptor traits that clients need to implement in order to integrate with the frontend.

lookups

Structs for handling lookups.

query

Types and traits related to cell queries.

slot

Types related to inputs, outputs, and other locations in the circuit.

synthesis

Synthesis related traits.

table

Types and traits related to PLONK tables.