Crate minroot_cat 

Categorical pipeline abstractions for MinRoot VDF hardware.

Models the MinRoot pipeline ring using structures from comp_cat_rs:

• Pipeline stages as morphisms in a Category
• Ring topology via a Traced monoidal category (feedback loops)
• N-way interleaving as a product Functor
• Exponent scanning as a catamorphism over Stream
• FPGA/ASIC targeting via the Target trait

Examples

Build the single-round pipeline path and inspect its structure:

use minroot_cat::pipeline::{PipelineVertex, single_round_path};

let path = single_round_path()?;
assert_eq!(path.source(), PipelineVertex::PreSquare.to_vertex());
assert_eq!(path.target(), PipelineVertex::PostReduce.to_vertex());
assert_eq!(path.len(), 3); // SQR -> MUL -> RED

Modules

interleave

N-way interleaving as a product functor.

pipeline

The MinRoot pipeline as a free category.

schedule

Exponent scanning as a catamorphism over Stream.

target

FPGA/ASIC target abstraction.

traced

Traced monoidal categories for modeling feedback loops.