Merge branch 'master' into roinput_serde

Author: querolita

msm/src/logup.rs

@@ -93,7 +93,7 @@
 //! and the computation of the partial sums will be translated into a constraint
 //! in a new power of alpha.
 //!
-//! Note that the inner sum h(X) can be constrainted as followed:
+//! Note that the inner sum h(X) can be constrained as followed:
 //! ```text
 //!         k                   k  /             k                \
 //! h(X) *  ᴨ  (β + f_{i}(X)) = ∑  | m_{i}(X) *  ᴨ  (β + f_{j}(X)) |     (5)
@@ -652,7 +652,7 @@ pub mod prover {
             // @volhovm TODO make sure this is h_i. It looks like f_i for fixed tables.
             // It is an actual fixed column containing "fixed lookup data".
             //
-            // Contain the evalations of the h_i. We divide the looked-up values
+            // Contain the evaluations of the h_i. We divide the looked-up values
             // in chunks of (MAX_SUPPORTED_DEGREE - 2)
             let mut fixed_lookup_tables: BTreeMap<ID, Vec<G::ScalarField>> = BTreeMap::new();