hyperplonk/arithmetic/src/lib.rs
arithmetic/src/lib.rsRaw
1// Copyright (c) 2023 Espresso Systems (espressosys.com)
2// This file is part of the HyperPlonk library.
3
4// You should have received a copy of the MIT License
5// along with the HyperPlonk library. If not, see <https://mit-license.org/>.
6
7mod errors;
8mod multilinear_polynomial;
9mod univariate_polynomial;
10mod util;
11mod virtual_polynomial;
12
13pub use errors::ArithErrors;
14pub use multilinear_polynomial::{
15 evaluate_no_par, evaluate_opt, fix_last_variables, fix_last_variables_no_par, fix_variables,
16 identity_permutation, identity_permutation_mles, merge_polynomials, random_mle_list,
17 random_permutation, random_permutation_mles, random_zero_mle_list, DenseMultilinearExtension,
18};
19pub use univariate_polynomial::{build_l, get_uni_domain};
20pub use util::{bit_decompose, gen_eval_point, get_batched_nv, get_index};
21pub use virtual_polynomial::{
22 build_eq_x_r, build_eq_x_r_vec, eq_eval, VPAuxInfo, VirtualPolynomial,
23};