implement liam-eagen-msm gadget in halo2

[NOOMA-42]

Open Task RFP for implement liam-eagen-msm gadget in halo2

Executive Summary

• Project Overview: implement liam-eagen-msm gadget in halo2
  https://eprint.iacr.org/2022/596

Project Details

• Motivation: being able to prove msm is important to recursive proof
• Scope of Work:
  • halo2 gadget implementation, with well documented comment and a proper API
  • article/blogpost explaining your work and paper
• Technical Requirements: List any specific technologies, frameworks, or tools that will be needed.

Qualifications

• Preferred Qualifications: halo2, understanding msm

Administrative Details

• Grant Liaison(s): @DoHoonKim8
• Estimated Project Duration: 160 hr
• Project Complexity: Hard

Additional Information

• Reference Material:
  • https://eprint.iacr.org/2022/596
  • The state of art is Pippenger
  • Currently we have a not yet finished but pending implementation of this https://github.com/levs57/halo2-liam-eagen-msm

Submission Details

• Proposal Deadline: The deadline for submitting proposals is the end of this round of the Acceleration Program. Refer to current round
• Submission Instructions: Please submit your proposal as an issue and link back to this issue in your proposal. Refer to proposal template for more details.