//! This crate provides the foundational primitives used throughout Sonobe's
//! folding scheme and IVC implementations.
//!
//! It includes algebraic abstractions (fields, groups, and their in-circuit
//! emulated counterparts), constraint system arithmetizations (R1CS, CCS),
//! commitment schemes, transcript/sponge constructions, and various utility
//! types.