Halo2 Aggregation Toolbox

[NOOMA-42]

Open Task RFP for Halo2 Aggregation Toolbox

Executive Summary

• Project Overview: Create a user-friendly halo2 aggregation toolbox, enabling users to merge proofs, verify them, and produce verifiers

Project Details

• Scope of Work:
  • Designing and implementing a user-friendly aggregation tool for Halo2.
  • Developing the capability to merge Halo2 proofs.
  • Creating a verification component/testcase to ensure the validity of merged proofs.
  • Building a module to generate verifiers based on the aggregated proofs.
• Expected Outcomes: API, API doc, unit/integration test suite, blogpost

Qualifications

• Skills Required: halo2, know how to design API
• Preferred Qualifications:
  • Prior experience in developing aggregation tools for zero-knowledge proofs.
  • Prior experience in open source project using halo2

Administrative Details

• Grant Liaison(s): TO BE FILLED OUT
• Estimated Project Duration: 200 hr
• Project Complexity: Hard

Additional Information

• Relevant Tags: Toolkit
• Reference Material:
  • Maze
  • Lambda - Proof Aggregation Schemes
  • https://twitter.com/Louissongyz/status/1653770344694415362

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.

[Vap0RSh4wN]

Greetings! I would like to ask if the project is still open for application? Is there any project that can be applied for in the current Round 2?

[NOOMA-42]

nobody work on this yet, feel free to send proposal or clearify, you can join PSE discord acceleration program channel for discussion more on time

Greetings! I would like to ask if the project is still open for application? Is there any project that can be applied for in the current Round 2?

[Vap0RSh4wN]

nobody work on this yet, feel free to send proposal or clearify, you can join PSE discord acceleration program channel for discussion more on time

Greetings! I would like to ask if the project is still open for application? Is there any project that can be applied for in the current Round 2?

Thank you so much for your help! BTW, how can I judge whether a project has been work on at present?

[NOOMA-42]

Right now I've added another tag: task taken to signify the status
If you see proposal pending tag and that proposal is still early, you might send your proposal to compete. If the proposal has already gone through interview, the competition window closes

Feel free to ask the status of those task

[Vap0RSh4wN]

Right now I've added another tag: task taken to signify the status If you see proposal pending tag and that proposal is still early, you might send your proposal to compete. If the proposal has already gone through interview, the competition window closes

Feel free to ask the status of those task

Thank you so much. That's really helpful!

[NOOMA-42]

regarding that halo2 aggregation toolkit task, the snark-verifier maintainer think it's abit unnecessary to have an interface given this function already exist in it. We're also thinking about other potential direction.