Pass the evaluation domain into the constructor for constraint evaluation

facebook / winterfell

A STARK prover and verifier for arbitrary computations

MIT License

795 stars 180 forks source link

Pass the evaluation domain into the constructor for constraint evaluation #320

Open Al-Kindi-0 opened 2 months ago

Al-Kindi-0 commented 2 months ago

This is because when we create a new evaluator, we don't pass the domain into the constructor, right? I think we can probably refactor this. Let's create an issue for this.

_Originally posted by @irakliyk in https://github.com/facebook/winterfell/pull/317#discussion_r1763678707_