Proposal: Halo2 Soundness Bug Examples #63
Labels
Application Proposal
Proposal submitted by applicants
Grant Work in Progress
Passed review and work in progress
General Grant Proposal
Project Overview 📄
Overview
Write examples of Halo2 circuits presenting soundness bugs.
The goal is to educate users on recognizing and understanding Halo2 circuit bugs.
Team 👥
A one man team :)
Team's experience
Development Roadmap 🔩
Overview
For each vulnerability, the process will be:
Milestone 1: High level overview + underconstrained
Milestone 2: Circuits, circuits, circuits...
see https://github.com/0xPARC/zk-bug-tracker#common-vulnerabilities-header
Milestone 3: Tools + finish
Which automated tools exist? How to use them to detect circuit vulnerabilities?
These tools could be a great help to new developers (and more advanced as well)
The text was updated successfully, but these errors were encountered: