Advanced optimization techniques

[uhbif19]

Possibilities:

• Marking of extensive constraints
• Merkelization
• Generation of native sub-scripts
• Reusing common reference script

Blocked by #24
Blocked by #46

[github-actions]

Status: Blocked ❌

Issues blocking this PR:

• Implement basic static DSL for constraints #24 ✔️
• Profile all our examples and find main bottlenecks  #46 ❌

---

This comment was automatically written by the Blocking Issues bot, and this PR will be monitored for further progress.