Updates

10/02/2022:

• Presentation done https://drive.google.com/file/d/1gjwdzruJCgIgJM9qSrYBCnj39BuxoGje/view
• Next step are to
  • Polish code and write blog post
  • decide what to do with this, where to go, what is the end goal

03/01/22:

• Public inputs problems now resolved
  • Commitment of the inputs and verified inside the SNARK
• Lots of problem with the encoding
• Presentation to be done on the 4th

27/01/22:

• DKG in SNARK PoC passing !
• Planning on doing presentation and quick benchmark for next week
• Future work may be looking at threshold ECDSA -
  • Can it be used for randomness beacon ?

20/01/22:

• Feldman commitment done, ECIES with Poseidon encryption implemented
• Two potential paths for the polynomial evaluation
  • Either do NonNativeField computations directly in the same circuit
  • Either do a separate Groth16 directly on BLS12377 that computes the polynomials evaluation, public inputs would be the coefficients and all evaluations. Then verify the Groth16 inside the higher level proof.
• TODO:
  • Benchmark small solutions on the two approaches and decide which one will be best

Why

Being able to do a DKG inside a SNARK would bring us a lot closer to the Holy Grail DKG target as this provide both

• Public Verifiability via the SNARK guarantees
• Aggregatibility via SnarkPack or other

In details: