brillig 0.46.0

Brillig is the bytecode ACIR uses for non-determinism.
Documentation

The Brillig bytecode is distinct from regular ACIR in that it does not generate constraints. This is a generalization over the fixed directives that exists within in the ACVM.