//! This module will be used by the prover to evaluate at a certain point.