algebraic representation

Generating execution trace

Polynomial constraint

Transforming execution trace and polynomial constraint into a single low degree polynomial