Crate openvm_mod_circuit_builder

Modules

• utils

Structs

• ExprBuilder
• ExprBuilderConfig
• FieldExpr
• FieldExprCols
• FieldExpressionCoreAir
• FieldExpressionCoreChip
• FieldExpressionRecord
• FieldVariable

Enums

• SymbolicExpr
  Example: If there are 4 inputs (x1, y1, x2, y2), and one intermediate variable lambda, Mul(Var(0), Var(0)) - Input(0) - Input(2) => lambda * lambda - x1 - x2