Type Definition hacspec_halo2::CRS

source · 
pub(crate) type CRS = (Seq<G1_pallas>, G1_pallas);
Expand description

Common Reference Struct

This struct is a global variable for the proving system and holds values used in the commitment schemes

Tuple entries

  • 0: Seq<G1_pallas> ∈ Gᵈ (vector of random elems.)
  • 1: G1_pallas in G (random group element)