Module curdleproofs::util
source · [−]Expand description
Utility functions used around Curdleproofs
Functions
Generate and return n blinders
Return vec_a permuted
Get a bitstring to derive the verification scalars using binary decomposition. Used to optimize the verifier.
Return the inner product of two field vectors
An ergonomic MSM function
An ergonomic MSM function that works with projective points
Given input vectors, the permutation and the randomizer, shuffle and permute the input. Basically, prepare everything so that a shuffle proof can be created!