Fractal verifier constraint system

Open pgrinaway opened this issue 6 years ago • 2 comments

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!

Jan 13 '20 23:01 pgrinaway

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

Jan 13 '20 23:01 ValarDragon

Awesome, thanks!

Jan 14 '20 16:01 pgrinaway