binius_core/lib.rs
1// Copyright 2025 Irreducible Inc.
2//! Core datatypes common to prover and verifier of Binius64.
3//!
4//! Most imporantly it hosts the definition of a [`ConstraintSystem`].
5
6#![warn(rustdoc::missing_crate_level_docs)]
7
8pub mod constraint_system;
9pub mod error;
10pub mod verify;
11pub mod word;
12
13pub use constraint_system::*;
14pub use error::ConstraintSystemError;
15pub use word::Word;