acceleration-program
acceleration-program copied to clipboard
privacy-scaling-explorations
Halo2 Aggregation Toolbox
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.
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?
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?
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?
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
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!
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.