soft3/radio/audit/2026-10-12-bao-bounded-proof/source-complete-attempt0/cyber-bao/src/lib.rs

//! Poseidon2-BAO: verified streaming with Poseidon2 hash over Goldilocks.
//!
//! This crate provides BAO-style content-verified streaming using the
//! Poseidon2 algebraic hash function. The tree structure
//! and encoding formats are compatible with the original bao specification,
//! differing only in the hash function used.
//!
//! # Architecture
//!
//! - **`tree`**: Pure geometry — tree node indexing, chunk counting, block sizes
//! - **`hash`**: Pluggable hash backend trait with Poseidon2 implementation
//! - **`io`**: Encoding, decoding, outboard creation, and slice extraction

#![cfg_attr(not(feature = "std"), no_std)]

pub mod group;
pub mod hash;
#[cfg(feature = "std")]
pub mod io;
pub mod proof;
pub mod traversal;
pub mod tree;

pub use hash::{HashBackend, Poseidon2Backend};
pub use tree::{BaoChunk, BaoTree, BlockSize, CHUNK_SIZE, ChunkNum, TreeNode};

#[cfg(feature = "std")]
pub use tree::PostOrderChunkIter;

/// A set of chunk ranges (used for partial downloads, range requests, etc.).
#[cfg(feature = "std")]
pub type ChunkRanges = range_collections::RangeSet2<ChunkNum>;

/// Borrowed reference to chunk ranges.
#[cfg(feature = "std")]
pub type ChunkRangesRef = range_collections::RangeSetRef<ChunkNum>;

/// A set of byte ranges.
#[cfg(feature = "std")]
pub type ByteRanges = range_collections::RangeSet2<u64>;