Halo2 Soundness Bug Examples

[NOOMA-42]

Open Task RFP for Halo2 Soundness Bug Examples

Executive Summary

• Establish a repository featuring small halo2 circuits, each presenting a unique soundness bug.
• This task is reopen for proposal submission, you may reference Proposal: Halo2 Soundness Bug Examples #15 for technical detail.

Project Details

• Scope of Work & Expected Outcome
  Establish a repository featuring small halo2 circuits, each presenting a unique soundness bug. Each entry should come with an exploiting example to:

  • Educate users on recognizing and understanding these bugs.
  • Advise on avoidance strategies.

• Technical Requirements: halo2

Qualifications

• Skills Required: halo2

Administrative Details

• Grant Liaison(s): @miha-stopar
• Estimated Project Duration:
• Project Complexity: Medium

Additional Information

• Relevant Tags: ZKP, Tooling
• Reference Material: Reference link

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.

[jae-cuz]

Hi @ed255, I'd like to try on this

[NOOMA-42]

Hi @ed255, I'd like to try on this

Hi @jae-cuz Glad to hear your interest
kindly send your proposal as issue per the template

[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]

right now it's been worked on

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]

This task is released now. Anyone interested in can apply