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(missing_docs)]
7
8pub mod constraint_system;
9pub mod consts;
10pub mod error;
11pub mod verify;
12pub mod word;
13
14pub use constraint_system::*;
15pub use error::ConstraintSystemError;
16pub use word::Word;