Module circuit_expr 

The “pure” polynomial relationship description between the MLE representing a single layer of a “structured” circuit and those representing data from other layers. See documentation in crate::expression for more details.

Structs

ExprDescription

Type for defining Expression<F, ExprDescription>, the type used for representing expressions in the circuit description.

Functions

evaluate_bookkeeping_tables_given_operation 🔒

Evaluate the bookkeeping tables by applying the element-wise operation, which can either be addition or multiplication.

filter_bookkeeping_table

Given a bookkeeping table, use the according prefix bits in order to filter it to the correct “view” that we want to see, assuming that the prefix bits are the most significant bits, and that the bookkeeping tables are stored in “big endian” format.