Skip to content

Issues: anoma/vamp-ir

New issue

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

#

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

Already on GitHub? # to your account

37 Open 26 Closed
37 Open 26 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

Feedback on Vamp-IR
#127 opened Sep 19, 2024 by francogrex
Lists as inputs
#126 opened Sep 14, 2024 by francogrex
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
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
Github actions for continuous integration
#72 opened Mar 28, 2023 by lopeetall
@lopeetall
Restructure for unit testing with cargo test {circuit name}
#71 opened Mar 28, 2023 by lopeetall
@lopeetall @CarloModicaPortfolio
Enable cargo bench {circuit name}
#70 opened Mar 28, 2023 by lopeetall
@CarloModicaPortfolio
Compile to and from ACIR
#65 opened Mar 26, 2023 by lopeetall
Separate circuit specification from evaluation
#63 opened Mar 24, 2023 by lopeetall
@lopeetall @AHartNtkn
@murisi @CarloModicaPortfolio
Add Vamp-IR benchmarks to zkp-compiler-shootout
#61 opened Mar 24, 2023 by lopeetall
@mariari @CarloModicaPortfolio
Improve interface for adding new backends
#59 opened Mar 24, 2023 by lopeetall
@lopeetall @AHartNtkn
@murisi @CarloModicaPortfolio
Allow output of intermediate forms
#58 opened Mar 24, 2023 by lopeetall
@lopeetall @AHartNtkn
@murisi @CarloModicaPortfolio
Links to Spec and Design Rationale in README lead to 404
#55 opened Mar 14, 2023 by bazzilic
1
Compile to Sunscreen FHE (BFV) enhancement New feature or request
#51 opened Mar 5, 2023 by cwgoes
ProTip! Exclude everything labeled bug with -label:bug.