acvm::compiler::optimizers

Module general

Source

Structs§

GeneralOptimizer 🔒
The GeneralOptimizer processes all [Expression]s to:

Functions§

simplify_linear_terms 🔒
simplify_mul_terms 🔒
Simplifies all mul terms of the form scale*w1*w2 with the same bi-variate variables while also removing terms that end up with a zero coefficient.