Skip to content

Issues: lurk-lab/solidity-verifier

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

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

Make gas estimation work when calling pairing precompile
#67 opened Mar 13, 2024 by storojs72
@storojs72
Implement a better MSM enhancement New feature or request
#65 opened Mar 12, 2024 by huitseeker
@winston-h-zhang
1
Enhancement: support for the solidity-verifier enhancement New feature or request
#64 opened Mar 12, 2024 by huitseeker
Test HyperKZG implementation on arbitrary/various inputs
#61 opened Mar 5, 2024 by storojs72
@storojs72
Test IPA verification with polynomials of 11 - 14 variables
#52 opened Feb 7, 2024 by storojs72
@storojs72
1
Verification of Nova proofs generated by arbitrary Lurk program
#47 opened Jan 10, 2024 by storojs72
@storojs72
1
an idea to reduce gas cost by converting a Nova proof to other proof system
#41 opened Nov 17, 2023 by RoyTimes
1
Off-chain preprocessing and mandatory on-chain computations gas-cost-reduction
#40 opened Nov 1, 2023 by storojs72
@huitseeker @porcuquine @storojs72
Analyse "cost smells" gas-cost-reduction
#34 opened Oct 17, 2023 by storojs72
Gas cost reduction gas-cost-reduction TODO
#29 opened Sep 21, 2023 by storojs72
15
Implement generator of Nova proof and verifier's key serialised to JSONs good first issue Good for newcomers
#24 opened Aug 8, 2023 by storojs72
2
mid-level issues reported by slither
#23 opened Jul 12, 2023 by huitseeker
1
Make the RNG for tests reproducible
#12 opened Jun 14, 2023 by mpenciak
1
Unit-testing field operations
#11 opened Jun 6, 2023 by huitseeker
4
Integration tests TODO
#5 opened May 19, 2023 by storojs72
Sponge contracts exceed Ethereum limits TODO
#2 opened May 5, 2023 by storojs72
1
ProTip! Follow long discussions with comments:>50.