constraints.simple_left

SimpleLeft AIR constraint evaluation.

This module implements the constraint polynomial for SimpleLeft AIR exactly as the PIL compiler generates it. The constraint structure was reverse-engineered from SimpleLeft.expressionsinfo.json.

Constraint structure (8 constraints combined with std_vc powers): - 6 im_cluster constraints (each verifies: im * prod(denoms) = sum_cross) - 1 gsum recurrence constraint - 1 boundary constraint at last row

The compress formula is: ((col2*α + col1)*α + busid) + γ for 2 columns, or (col1*α + busid) + γ for 1 column.

Classes

SimpleLeftConstraints

Constraint evaluation for SimpleLeft AIR.

Module Contents

class constraints.simple_left.SimpleLeftConstraints

Bases: constraints.base.ConstraintModule

Constraint evaluation for SimpleLeft AIR.

This implementation matches the exact constraint structure generated by the PIL compiler as found in SimpleLeft.expressionsinfo.json.

constraint_polynomial(ctx: constraints.base.ConstraintContext) → primitives.field.FF3Poly | primitives.field.FF3

Evaluate combined constraint polynomial.

For prover: returns polynomial over evaluation domain For verifier: returns single FF3 value at evaluation point xi