Crate binius_macros

Macros

• arith_circuit_poly
• arith_expr
  Define polynomial expressions compactly using named positional arguments
• composition_poly
  Useful for concisely creating structs that implement CompositionPolyOS. This currently only supports creating composition polynomials of tower level 0.

Derive Macros

• IterOracles
  Implements pub fn iter_oracles(&self) -> impl Iterator<Item = OracleId>.
• IterPolys
  Implements pub fn iter_polys(&self) -> impl Iterator<Item = MultilinearExtension<P>>.