Up – pickles » Pickles » Step_main_inputs » Inner_curve » Inputs » Params

Module `Inputs.Params`

val a : Kimchi_pasta.Basic.Fp.t

val b : Kimchi_pasta.Basic.Fp.t

val one : Kimchi_pasta.Basic.Fp.t * Kimchi_pasta.Basic.Fp.t

val group_size_in_bits : int