Skip to content

Issues: privacy-scaling-explorations/halo2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

[Meta] Improve unit test coverage enhancement New feature or request help wanted Extra attention is needed
#327 opened May 14, 2024 by ed255
Better parallelization
#309 opened Apr 5, 2024 by ed255
Stack trace in Error::Synthesize enhancement New feature or request
#294 opened Mar 6, 2024 by ed255
Analyze and select optimizations to port from C++ port of Halo2 by kroma-network/tachyon enhancement New feature or request question Further information is requested
#293 opened Mar 3, 2024 by CPerezz
[Discussion] Peak memory estimation
#291 opened Feb 29, 2024 by ed255
Document permutation prover types documentation Improvements or additions to documentation
#264 opened Feb 2, 2024 by ed255
unusable rows with blinding disabled enhancement New feature or request
#251 opened Jan 16, 2024 by ed255
Let the user choose the FloorPlanner? enhancement New feature or request
#250 opened Jan 16, 2024 by ed255
Revisit Gate metadata enhancement New feature or request
#249 opened Jan 16, 2024 by ed255
Invest more into a Mutex/RWLock-based synthesize process enhancement New feature or request
#248 opened Jan 16, 2024 by CPerezz
Improve error message experience
#219 opened Oct 24, 2023 by ChihChengLiang
Include support for complex analytical tools and mantain them enhancement New feature or request question Further information is requested
#215 opened Sep 27, 2023 by CPerezz
verifier.rs misleading API
#184 opened May 21, 2023 by levs57
Investigate improvements for assign_region enhancement New feature or request
#155 opened Feb 28, 2023 by pinkiebell
Make Expression Copyable enhancement New feature or request
#143 opened Feb 10, 2023 by Brechtpd
Add extra metadata to metadata::Region or Region itself. enhancement New feature or request good first issue Good for newcomers
#112 opened Dec 23, 2022 by CPerezz
ProTip! Adding no:label will show everything without a label.