Files

binius_circuits

arithmetic

builder

constraint_system.rs mod.rs witness.rs

lasso

big_integer_ops

byte_sliced_add.rs byte_sliced_add_carryfree.rs byte_sliced_double_conditional_increment.rs byte_sliced_modular_mul.rs byte_sliced_mul.rs byte_sliced_test_utils.rs mod.rs

lookups

mod.rs u8_arithmetic.rs

batch.rs lasso.rs mod.rs sha256.rs u32add.rs u8_double_conditional_increment.rs u8add.rs u8add_carryfree.rs u8mul.rs

bitwise.rs collatz.rs groestl.rs keccakf.rs lib.rs pack.rs plain_lookup.rs sha256.rs transparent.rs u32fib.rs unconstrained.rs vision.rs

binius_core

composition

index.rs mod.rs product_composition.rs

constraint_system

channel.rs common.rs error.rs mod.rs prove.rs validate.rs verify.rs

fiat_shamir

hasher_challenger.rs mod.rs sampling.rs

merkle_tree

binary_merkle_tree.rs errors.rs merkle_tree_vcs.rs mod.rs prover.rs scheme.rs

oracle

composite.rs constraint.rs error.rs mod.rs multilinear.rs

piop

commit.rs error.rs mod.rs prove.rs util.rs verify.rs

polynomial

arith_circuit.rs cached.rs error.rs mod.rs multivariate.rs test_utils.rs

protocols

evalcheck

error.rs evalcheck.rs mod.rs prove.rs subclaims.rs verify.rs

fri

common.rs error.rs mod.rs prove.rs verify.rs

gkr_gpa

gpa_sumcheck

error.rs mod.rs prove.rs verify.rs

error.rs gkr_gpa.rs mod.rs oracles.rs packed_field_storage.rs prove.rs verify.rs

gkr_int_mul

error.rs mod.rs

greedy_evalcheck

error.rs mod.rs prove.rs verify.rs

sumcheck

prove

batch_prove.rs batch_prove_univariate_zerocheck.rs common.rs front_loaded.rs mod.rs oracles.rs prover_state.rs regular_sumcheck.rs univariate.rs zerocheck.rs

common.rs error.rs front_loaded.rs mod.rs oracles.rs univariate.rs univariate_zerocheck.rs verify.rs zerocheck.rs

mod.rs test_utils.rs utils.rs

reed_solomon

mod.rs reed_solomon.rs

ring_switch

common.rs eq_ind.rs error.rs mod.rs prove.rs tower_tensor_algebra.rs verify.rs

transcript

error.rs mod.rs

transparent

constant.rs disjoint_product.rs eq_ind.rs mod.rs multilinear_extension.rs powers.rs select_row.rs shift_ind.rs step_down.rs step_up.rs tower_basis.rs

lib.rs tensor_algebra.rs tower.rs witness.rs

binius_field

arch

portable

byte_sliced

invert.rs mod.rs multiply.rs packed_byte_sliced.rs square.rs

hybrid_recursive_arithmetics.rs mod.rs packed.rs packed_1.rs packed_128.rs packed_16.rs packed_2.rs packed_256.rs packed_32.rs packed_4.rs packed_512.rs packed_64.rs packed_8.rs packed_aes_128.rs packed_aes_16.rs packed_aes_256.rs packed_aes_32.rs packed_aes_512.rs packed_aes_64.rs packed_aes_8.rs packed_arithmetic.rs packed_polyval_128.rs packed_polyval_256.rs packed_polyval_512.rs packed_scaled.rs pairwise_arithmetic.rs pairwise_recursive_arithmetic.rs pairwise_table_arithmetic.rs reuse_multiply_arithmetic.rs underlier_constants.rs

x86_64

simd

m128.rs mod.rs simd_arithmetic.rs

m128.rs mod.rs packed_128.rs packed_aes_128.rs packed_polyval_128.rs

arch_optimal.rs binary_utils.rs mod.rs strategies.rs

underlier

divisible.rs iteration.rs mod.rs scaled.rs small_uint.rs underlier_impls.rs underlier_type.rs underlier_with_bit_ops.rs

aes_field.rs arithmetic_traits.rs as_packed_field.rs binary_field.rs binary_field_arithmetic.rs byte_iteration.rs error.rs extension.rs field.rs lib.rs linear_transformation.rs macros.rs packed.rs packed_aes_field.rs packed_binary_field.rs packed_extension.rs packed_extension_ops.rs packed_polyval.rs polyval.rs tower_levels.rs tracing.rs transpose.rs util.rs

binius_hal

backend.rs cpu.rs error.rs lib.rs sumcheck_evaluator.rs sumcheck_multilinear.rs sumcheck_round_calculator.rs

binius_hash

groestl

arch

groestl_table.rs mod.rs portable.rs

compress.rs hasher.rs mod.rs

compression.rs hasher.rs lib.rs permutation.rs serialization.rs sha2.rs vision.rs vision_constants.rs

binius_macros

arith_circuit_poly.rs arith_expr.rs composition_poly.rs lib.rs

binius_math

arith_expr.rs binary_subspace.rs composition_poly.rs deinterleave.rs error.rs fold.rs lib.rs matrix.rs mle_adapters.rs multilinear.rs multilinear_extension.rs multilinear_query.rs packing_deref.rs piecewise_multilinear.rs tensor_prod_eq_ind.rs univariate.rs

binius_maybe_rayon

binius_ntt

additive_ntt.rs dynamic_dispatch.rs error.rs lib.rs multithreaded.rs odd_interpolate.rs single_threaded.rs strided_array.rs twiddle.rs

binius_utils

array_2d.rs checked_arithmetics.rs env.rs error_utils.rs examples.rs felts.rs graph.rs iter.rs lib.rs rayon.rs serialization.rs sorting.rs sparse_index.rs thread_local_mut.rs

binius_core/protocols/gkr_int_mul/
mod.rs

Settings

Help

// Copyright 2024-2025 Irreducible Inc.

mod error;
//pub mod generator_exponent;