spartan2 0.9.0

High-speed zkSNARKs without trusted setup
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// Copyright (c) Microsoft Corporation.
// SPDX-License-Identifier: MIT

//! Big-number arithmetic for optimized sumcheck.
//!
//! This module provides wide-integer accumulators and delayed modular reduction
//! for field * field products, enabling faster sumcheck by batching Montgomery
//! reduction operations.

pub(crate) mod delayed_reduction;
pub(crate) mod field_reduction_constants;
pub(crate) mod macros;
pub(crate) mod montgomery;
pub(crate) mod small_value;

mod limbs;

pub use delayed_reduction::DelayedReduction;
pub use field_reduction_constants::FieldReductionConstants;
pub use montgomery::MontgomeryLimbs;