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
16 Open 13 Closed
16 Open 13 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

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
Separate circuit specification from evaluation
#63 opened Mar 24, 2023 by lopeetall
@lopeetall @AHartNtkn
@murisi @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
Synthesize with backend custom features
#48 opened Feb 21, 2023 by lopeetall
@lopeetall @murisi @CarloModicaPortfolio
Compile to AirScript
#47 opened Feb 21, 2023 by lopeetall
@lopeetall @AHartNtkn
@murisi @CarloModicaPortfolio
Write vamp-ir book
#46 opened Feb 21, 2023 by lopeetall
@lopeetall @AHartNtkn @CarloModicaPortfolio
1
Update README with tutorial and installation instructions
#45 opened Feb 21, 2023 by lopeetall
@lopeetall @AHartNtkn @CarloModicaPortfolio
2
Upgrade to ark-serialize 0.4
#38 opened Jan 24, 2023 by lopeetall
@lopeetall
Find or write a verifier for Halo2 over BN254 for EVM demo Necessary for demo of full stack Juvix -> GEB -> VampIR -> (plonk | halo2) -> EVM research
#35 opened Jan 24, 2023 by lopeetall
@lopeetall
1
Find or write a verifier for zk-garage/plonk over BN254 for EVM demo Necessary for demo of full stack Juvix -> GEB -> VampIR -> (plonk | halo2) -> EVM
#34 opened Jan 19, 2023 by lopeetall
@lopeetall @CarloModicaPortfolio
Benchmark VampIR circuits against native circuits in various zk libraries demo Necessary for demo of full stack Juvix -> GEB -> VampIR -> (plonk | halo2) -> EVM
#31 opened Jan 17, 2023 by lopeetall
@lopeetall @CarloModicaPortfolio
Deploy a VampIR circuit to Ethereum demo Necessary for demo of full stack Juvix -> GEB -> VampIR -> (plonk | halo2) -> EVM
#29 opened Jan 17, 2023 by lopeetall
@lopeetall @murisi @CarloModicaPortfolio
3
Compile to LaTeX/Markdown
#20 opened Nov 1, 2022 by lopeetall
@lopeetall @murisi @CarloModicaPortfolio
Separate compilation and synthesis steps
#19 opened Nov 1, 2022 by lopeetall
@lopeetall @murisi @CarloModicaPortfolio
1
ProTip! What’s not been updated in a month: updated:<2024-11-29.