binius_core/
lib.rs

1// Copyright 2023-2025 Irreducible Inc.
2
3//! The core implementation of the Binius cryptographic protocols.
4//!
5//! The core submodules expose cryptographic building blocks for the proof system. Each protocol
6//! has interfaces for both the prover and verifier sides. Prover-side functions are optimized for
7//! performance, while verifier-side functions are optimized for auditability and security.
8
9// This is to silence clippy errors around suspicious usage of XOR
10// in our arithmetic. This is safe to do because we're operating
11// over binary fields.
12#![allow(clippy::suspicious_arithmetic_impl)]
13#![allow(clippy::suspicious_op_assign_impl)]
14
15pub mod composition;
16pub mod constraint_system;
17pub mod fiat_shamir;
18pub mod merkle_tree;
19pub mod oracle;
20pub mod piop;
21pub mod polynomial;
22pub mod protocols;
23#[allow(clippy::module_inception)]
24pub mod reed_solomon;
25pub mod ring_switch;
26pub mod tensor_algebra;
27pub mod tower;
28pub mod transcript;
29pub mod transparent;
30pub mod witness;
31
32pub use inventory;