winter-prover 0.13.1

Winterfell STARK prover
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Copyright (c) Facebook, Inc. and its affiliates.
//
// This source code is licensed under the MIT license found in the
// LICENSE file in the root directory of this source tree.

use super::{ColMatrix, ConstraintDivisor, RowMatrix, StarkDomain};

mod evaluator;
pub use evaluator::{ConstraintEvaluator, DefaultConstraintEvaluator};

mod composition_poly;
pub use composition_poly::{CompositionPoly, CompositionPolyTrace};

mod evaluation_table;
pub use evaluation_table::{ConstraintEvaluationTable, EvaluationTableFragment};

mod commitment;
pub use commitment::{ConstraintCommitment, DefaultConstraintCommitment};