pub type DigestVariable<C> = Array<C, Felt<<C as Config>::F>>;
enum DigestVariable<C> { Fixed(Vec<Felt<<C as Config>::F>>), Dyn(Ptr<<C as Config>::N>, Usize<<C as Config>::N>), }