Try   HackMD

Understanding Pickles at #ethamsterdam

Pickles is Mina's library for creating recursive snark proofs. It's working well, but it's lacking documentation and a spec.

While I'm at ETHAmsterdam, I'll try to

  • understand the inner workings of Pickles
  • share my findings and hopefully produce some useful resources for others
  • start a JS implementation of Pickles, on top of snarkyjs

The starting point is here - the OCaml entry point of Pickles' main function, Pickles.compile.

TODO: explain the amortization strategy for bullet proofs with the product representatino of the G polynomial

Last changed by 
 
Gregor Mitscha-Baude
0
658

Read more

Soundness of FFMul

Given a, b, q, r each represented as 3 limbs like x = (x_0, x_1, x_2) where

Jul 6, 2023
Revised FFMul - three designs

See [soundness proof] for relevant context.

Jul 6, 2023
Read more from Gregor Mitscha-Baude
Published on HackMD