Skip to content

Issues: zcash/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.

Sign up for GitHub

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

194 Open 141 Closed
194 Open 141 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support non-boolean selectors
#275 opened May 27, 2021 by daira
Recursive verification with a hidden circuit A-recursion Area: Recursive proofs C-feature-request Category: This is a request for a new feature or functionality.
#271 opened May 23, 2021 by daira
1
examples: Add proving time estimation to cost model A-dev-tooling Area: Developer tooling
#267 opened May 18, 2021 by str4d
examples: Improve verification cost model A-dev-tooling Area: Developer tooling
#266 opened May 18, 2021 by str4d
Feature request: Disable repeat assignments in Regions by default A-dev-tooling Area: Developer tooling C-feature-request Category: This is a request for a new feature or functionality.
#257 opened Apr 28, 2021 by therealyingtong
1
Implement private accumulation
#252 opened Apr 16, 2021 by str4d
Implement user-facing API for recursive proving of IVC A-recursion Area: Recursive proofs A-rust-api Area: Public crate API C-target Category: This is a high-level target that forms the root of a sub-graph in the DAG.
#251 opened Apr 16, 2021 by str4d First user-facing recursion API
3
Implement the logic for the IVC verifier circuit A-recursion Area: Recursive proofs
#250 opened Apr 16, 2021 by str4d
Implement recursion circuit logic for handling public inputs A-recursion Area: Recursive proofs
#249 opened Apr 16, 2021 by str4d
2
@therealyingtong
3
Implement endoscaling in the circuit A-recursion Area: Recursive proofs
#248 opened Apr 16, 2021 by str4d
Implement underlying scaffolding for creating the IVC proof cycle A-recursion Area: Recursive proofs
#247 opened Apr 16, 2021 by str4d First user-facing recursion API
1
Create recursive proof structures A-recursion Area: Recursive proofs
#246 opened Apr 16, 2021 by str4d First user-facing recursion API
1
Remove the need to multiply by powers of x^n in verifier A-recursion Area: Recursive proofs
#245 opened Apr 16, 2021 by ebfull
2
ELI15: Timeline of events in a functioning Halo2 system. A-book-eli15 Area: Background section of the Halo 2 book
#232 opened Mar 12, 2021 by zebambam
1
Consider encoding permutation/lookup constraints in transcript A-lookup Area: Lookup tables
#231 opened Mar 4, 2021 by ebfull
ELI15: Add link to explanation of how ECs are the most abstract group possible A-book-eli15 Area: Background section of the Halo 2 book
#230 opened Mar 4, 2021 by str4d
Change MSM::add_constant_term so that it doesn't create a large g_scalars vector during accumulation
#227 opened Mar 2, 2021 by ebfull
Finalize squeeze_challenge in transcript module
#224 opened Mar 2, 2021 by ebfull
Decide how to annotate selectors being configured or enabled
#212 opened Feb 25, 2021 by str4d
Optimization: share product columns between lookup arguments A-lookup Area: Lookup tables C-feature-request Category: This is a request for a new feature or functionality.
#201 opened Feb 19, 2021 by daira
Enable floor planners to configure columns A-planning Area: Circuit floor planner and layouter logic A-rust-api Area: Public crate API
#195 opened Feb 17, 2021 by str4d
4
ELI15: Explain why Lagrange basis is more natural to use. A-book-eli15 Area: Background section of the Halo 2 book
#186 opened Feb 15, 2021 by str4d
1
ELI15: Generating sets A-book-eli15 Area: Background section of the Halo 2 book
#170 opened Feb 8, 2021 by upbqdn
1
3
Split plonk/circuit module up
#165 opened Feb 2, 2021 by ebfull
Consider adding a shape function parameter to Layouter::assign_region A-planning Area: Circuit floor planner and layouter logic
#161 opened Feb 2, 2021 by str4d
2
ProTip! Add no:assignee to see everything that’s not assigned.