w3f / apk-proofs

Apache License 2.0
56 stars 19 forks source link

Int fflonk #33

Closed swasilyev closed 2 years ago

swasilyev commented 2 years ago

Critical things:

  1. get subgroup checks back
  2. how to generate an array of 128-bit field elements with merlin
  3. Merlin's fsrng is also suspicious

On fflonk side:

  1. make commitment affine
  2. try remove generic params from keys
  3. do subgroup checks?
  4. get prepared vk back

Also: