binius_core/protocols/gkr_int_mul/generator_exponent/
mod.rs

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

//! Exponentiation of a generator with a series of bit columns based on the data-parallel
//! GKR circuit described here:
//!
//! <https://www.irreducible.com/posts/integer-multiplication-in-binius>

mod common;
mod compositions;
pub mod prove;
mod utils;
pub mod verify;
mod witness;

#[cfg(test)]
mod tests;