Crate openvm_mod_circuit_builder

Crate openvm_mod_circuit_builder 

Source

Modules§

utils

Structs§

ExprBuilder
ExprBuilderConfig
ExprMeta
ExprNode
FieldExpr
FieldExprCols
FieldExprMeta
FieldExpressionChipGPU
FieldExpressionCoreAir
FieldExpressionCoreRecordMut
FieldExpressionExecutor
FieldExpressionFiller
FieldExpressionMetadata
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

Functions§

run_field_expression_precomputed

Type Aliases§

FieldExpressionRecordLayout