binius_compute/
lib.rs

1// Copyright 2025 Irreducible Inc.
2
3//! Compute layer abstractions for the Binius prover.
4//!
5//! This crate defines a Hardware Abstraction Layer (HAL) for the Binius prover, and a reference
6//! CPU implementation. The goal of this layer is to cleanly separate the compute-intensive
7//! operations from complex cryptographic and control flow logic required in the prover.
8
9pub mod alloc;
10pub mod cpu;
11pub mod memory;