Notes

• assert would not generate constraints, only used for template parameter security checks.
• Manual constraints must be added when using the <-- operator to prevent security vulnerabilities.
• Finite field arithmetic may cause alias attacks, especially when encoding numbers.
• Bits2Num_strict and Num2Bits_strict can be used to prevent alias attacks.
• Developers should avoid using assert for signals and should only use it for template parameters.
• Separating computation and constraints can improve performance, but all calculations must be appropriately constrained.

• assert不添加R1CS约束，仅用于模板参数的安全检查。
• 使用<--操作符时，必须手动添加约束以防止安全漏洞。
• 有限域算术可能导致别名攻击，特别是在编码数字时。
• Bits2Num_strict和Num2Bits_strict可以用来防止别名攻击。
• 开发者应避免将assert用于信号，而应仅用于模板参数。
• 分离计算和约束可提高性能，但须确保所有计算都被适当约束。