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.