https://blog.trailofbits.com/2024/01/02/tag-youre-it-signal-tagging-in-circom/
#circom tag 语法介绍