0xPolygonMiden / air-script

A domain-specific language for writing AIR constraints for STARKs
MIT License
72 stars 11 forks source link

Treatment of duplicate integrity constraints #275

Open tohrnii opened 1 year ago

tohrnii commented 1 year ago

Currently we don't throw an error if a user defines duplicate constraints, we transpile them into two equivalent constraints. We could do one of the following:

  1. Generate only one constraint in this case and ignore duplicates.
  2. Throw an error since this is most likely unintended.
  3. Throw a warning (in future) but still generate one constraint.
bobbinth commented 1 year ago

In my opinion, throwing an error is probably a better option.