binius_circuits/lasso/big_integer_ops/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
// Copyright 2024-2025 Irreducible Inc.

pub mod byte_sliced_add;
pub mod byte_sliced_add_carryfree;
pub mod byte_sliced_double_conditional_increment;
pub mod byte_sliced_modular_mul;
pub mod byte_sliced_mul;
pub mod byte_sliced_test_utils;

pub use byte_sliced_add::byte_sliced_add;
pub use byte_sliced_add_carryfree::byte_sliced_add_carryfree;
pub use byte_sliced_double_conditional_increment::byte_sliced_double_conditional_increment;
pub use byte_sliced_modular_mul::byte_sliced_modular_mul;
pub use byte_sliced_mul::byte_sliced_mul;