Zprize_ntt.Load_smSequence the loading of coefficients from DRAM into the parallel MTT cores.
Inputs data into all parallel NTT cores. Runs multiple times during a pass. The ordering of data differs depending on the pass.
module Make (Config : Top_config.S) : sig ... end