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
Tracedmonoidal category (feedback loops) - N-way interleaving as a product
Functor - Exponent scanning as a catamorphism over
Stream - FPGA/ASIC targeting via the
Targettrait
Examples
Build the single-round pipeline path and inspect its structure:
use ;
#
# run.unwrap_or;