Expand description
Monomial expansion for GPU zerocheck evaluation.
This module expands symbolic constraint DAGs into monomials for efficient GPU evaluation via the monomial kernel.
Structsยง
- Expanded
Interaction Monomials - Expanded interaction monomials for GPU upload.
- Expanded
Monomials - Expanded monomials serialized for GPU upload.
- Interaction
Monomial Term - Term mapping a monomial to its interaction context. For numerator: sum_i(coefficient_i * eq_3bs[interaction_idx_i]) For denominator: sum_i(coefficient_i * beta_pows[field_idx_i] * eq_3bs[interaction_idx_i])
- Lambda
Term - A (constraint_idx, coefficient) pair in F[lambda].
- Monomial
Header - Packed
Var - Packed variable following the CUDA monomial layout.