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