Write new memory constraints to check correctness

Write memory constraints in AirScript with the gradual addition of new features to check their correctness.

Originally written by @tohrnii: [write] some constraints which we can check with current syntax, then with evaluator, then with functions, then with constraint comprehension, and so on

Das Issue behandelt das Schreiben von Speicherbeschränkungen in AirScript, einer DSL für STARKs. Beginnen Sie damit, die AirScript-Syntax und das bestehende Constraint-System zu verstehen. Sehen Sie sich im Codebase Beispiele für aktuelle Constraints und den Evaluator an. Die Arbeit umfasst die inkrementelle Hinzufügung von Funktionen: zuerst mit der aktuellen Syntax, dann Evaluator, dann Funktionen, dann Constraint-Verständnis. Überprüfen Sie die Dokumentation oder Tests des Projekts auf speicherbezogene Konstrukte, um das erwartete Verhalten zu verstehen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.