Skip to content

Issues: anoma/vamp-ir

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

Clear current search query, filters, and sorts
27 Open 69 Closed
27 Open 69 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

expect error handling halo2_benches.rs
#132 opened Jan 1, 2025 by Mukzid Loading…
Fix typos
#131 opened Dec 25, 2024 by Hack666r Loading…
typo-Update README.md
#130 opened Dec 23, 2024 by romashka-btc Loading…
fix: typos in documentation files
#129 opened Dec 19, 2024 by vtjl10 Loading…
1
Feedback on Vamp-IR
#127 opened Sep 19, 2024 by francogrex
Lists as inputs
#126 opened Sep 14, 2024 by francogrex
Fix benchmarks
#125 opened Aug 1, 2023 by paulcadman Loading…
Add exporting formats and string diagram-based optimizer
#124 opened Aug 1, 2023 by AHartNtkn • Draft
Increase maximum iteration count
#123 opened Jul 20, 2023 by lukaszcz Loading…
1
Type errors trigger panics instead of generating Errors
#121 opened Jul 19, 2023 by paulcadman
Specified iteration count is too large
#116 opened Jul 6, 2023 by lukaszcz
1
1
Feature request: Add compile API from to build circuit from source and assignments
#115 opened Jun 29, 2023 by paulcadman
Use trait to define backend
#114 opened Jun 22, 2023 by lopeetall • Draft
Feature request: a non-crashing modulo operation
#113 opened Jun 20, 2023 by lukaszcz
4
Lazy if and division by zero
#107 opened Jun 16, 2023 by lukaszcz
22
File with compiled Vamp-IR circuit
#106 opened Jun 13, 2023 by CarloModicaPortfolio
Inputs shouldn't be packed into the same file with proof and are instead a separate JSON file enhancement New feature or request
#100 opened May 25, 2023 by AHartNtkn
Just use the underlying constrain_instance function in Halo2 to publicize the variables. enhancement New feature or request
#99 opened May 25, 2023 by AHartNtkn
Feature request: handle a large number of local definitions gracefully
#94 opened May 17, 2023 by lukaszcz
3
Issue with Vamp-IR tuples
#88 opened May 11, 2023 by CarloModicaPortfolio
1
Serialize verifying key in Halo2
#85 opened Apr 25, 2023 by lopeetall
Separate Halo2 parameter and circuit synthesis
#83 opened Apr 25, 2023 by lopeetall
VampIR hangs
#79 opened Apr 18, 2023 by lukaszcz
12
Compile to and from ACIR
#65 opened Mar 26, 2023 by lopeetall
Links to Spec and Design Rationale in README lead to 404
#55 opened Mar 14, 2023 by bazzilic
1
ProTip! Adding no:label will show everything without a label.