Function hacspec_halo2::sigma

source · 
pub(crate) fn sigma(
    i: u128,
    sigma_list: Seq<u128>,
    q: Seq<Seq<u128>>
) -> Seq<u128>
Expand description

Implementation of the σ mapping from the protocol

Arguments

  • i - the i in σ(i)
  • sigma_list - s.t. q[sigma_list[i]]=p_i (indexing/mapping into q, for p_i)
  • q - q, from the protocol represented