Hardcaml_ntt.GfImplementations of the Goldilocks field arithmetic used within the NTT calculation.
module type S = sig ... endmodule Make (Bits : Hardcaml.Comb.S) : sig ... endHardware implementations of the field arithmetic.
module Z : sig ... endBig number based reference implementation of the field arithmetic.
module Bits : sig ... endBits based hardware implementation.
module Signal : sig ... endSignal based hardware implementation.