Crate binius_compute

Compute layer abstractions for the Binius prover.

This crate defines a Hardware Abstraction Layer (HAL) for the Binius prover, and a reference CPU implementation. The goal of this layer is to cleanly separate the compute-intensive operations from complex cryptographic and control flow logic required in the prover.

Re-exports

pub use layer::*;

pub use memory::*;

Modules

alloc

cpu

Reference CPU implementation of a compute layer.

layer

memory

Macros

each_tower_subfield