The Brillig VM is a specialized VM which allows the ACVM to perform custom non-determinism.
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.