Skip to main content

binius_prover/protocols/shift/
mod.rs

1// Copyright 2025 Irreducible Inc.
2// Copyright 2026 The Binius Developers
3
4mod claims;
5mod key_collection;
6pub mod monster;
7pub mod outer;
8pub mod phase_1;
9pub mod phase_2;
10mod prove;
11mod segment_words;
12mod shift_ind;
13
14pub use claims::{OperandClaims, PreparedOperandClaims};
15pub use key_collection::{DenseShiftEncoding, KeyCollection, KeySegment};
16pub use phase_2::ShiftOutput;
17pub use prove::prove;
18pub use segment_words::SegmentWords;
19pub use shift_ind::{ShiftChallenge, ShiftChallengePoint, ShiftIndOutput, ShiftIndSumcheck};