File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 93
93
//! and the computation of the partial sums will be translated into a constraint
94
94
//! in a new power of alpha.
95
95
//!
96
- //! Note that the inner sum h(X) can be constrainted as followed:
96
+ //! Note that the inner sum h(X) can be constrained as followed:
97
97
//! ```text
98
98
//! k k / k \
99
99
//! h(X) * ᴨ (β + f_{i}(X)) = ∑ | m_{i}(X) * ᴨ (β + f_{j}(X)) | (5)
@@ -652,7 +652,7 @@ pub mod prover {
652
652
// @volhovm TODO make sure this is h_i. It looks like f_i for fixed tables.
653
653
// It is an actual fixed column containing "fixed lookup data".
654
654
//
655
- // Contain the evalations of the h_i. We divide the looked-up values
655
+ // Contain the evaluations of the h_i. We divide the looked-up values
656
656
// in chunks of (MAX_SUPPORTED_DEGREE - 2)
657
657
let mut fixed_lookup_tables: BTreeMap < ID , Vec < G :: ScalarField > > = BTreeMap :: new ( ) ;
658
658
You can’t perform that action at this time.
0 commit comments