It's under discussion; see details here. https://research.anoma.net/t/zkps-for-fmd-flag-consistency/1073
