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

Fractal verifier constraint system #8

Open
pgrinaway opened this issue Jan 13, 2020 · 2 comments
Open

Fractal verifier constraint system #8

pgrinaway opened this issue Jan 13, 2020 · 2 comments

Comments

@pgrinaway
Copy link

One more question: This might be naive (as in I may have just missed it), but is the constraint system for the Fractal verifier that was used in the paper available here or somewhere? If not, are there plans to make it available? Recursive proof composition is a super cool feature.

Thanks!
@ValarDragon
Copy link
Member

The constraint system is not yet publicly available. We are releasing the Fractal code base gradually as we clean different modules of it. So far the preprocessing SNARK has been released, and the next release will consist of the algebraic hashes. An upcoming release will have the R1CS constraints for the verifier, which will likely be in a few weeks

@pgrinaway
Copy link
Author

Awesome, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pgrinaway @ValarDragon