See also:

blog post: https://neptune.cash/blog/mutator-sets/

technical paper: https://eprint.iacr.org/2023/1208.pdf