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

Placeholder verifier circuit compilation #428

Open
nkaskov opened this issue Dec 9, 2023 · 1 comment
Open

Placeholder verifier circuit compilation #428

nkaskov opened this issue Dec 9, 2023 · 1 comment
Labels
epic

Comments

@nkaskov
Copy link
Contributor

nkaskov commented Dec 9, 2023 •
edited
Loading

We need to support the direct compilation of the Placeholder verifier. This is crucial for recursion support and continuous prover performance updates.
@nkaskov nkaskov added the epic label Dec 9, 2023
@makxenov
Copy link
Contributor

Current questions:

  • Entry point of the circuit and a format of input
  • How to deal with dynamic data structures (std::vector and std::map are used in verifier but currently unsupported in compiler)
  • Do we need support of alt_bn128? Naive circuit compilation fails on this class, is it really used?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
epic
Projects
zkLLVM + Proof Market Toolchain
Status: New
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nkaskov @makxenov