Skip to content
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

Jump to bottom

Verification of Nova proofs generated by arbitrary Lurk program #47

Open
storojs72 opened this issue Jan 10, 2024 · 1 comment
Open

Verification of Nova proofs generated by arbitrary Lurk program #47

storojs72 opened this issue Jan 10, 2024 · 1 comment
Assignees
@storojs72

Comments

@storojs72
Copy link
Collaborator

So far we use arbitrary Nova proofs as an example around which we were building the verifier (test_ivc_nontrivial_with_compression, test_ivc_nontrivial_with_spark_compression). However the ultimate goal is to target Lurk proofs or more specifically Nova proofs generated by Lurk programs (utilising Lurk universal circuit).
@storojs72 storojs72 self-assigned this Jan 10, 2024
@storojs72
Copy link
Collaborator Author

It is more sensible to utilise Bn256/Grumpkin contract as soon as it potentially has lower gas cost profile.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@storojs72 storojs72

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@storojs72