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

Public Input Interconnection Circuit - Compilation Parameters for Keccak Wizard Verifier #32

Open
1 task
Tabaie opened this issue Sep 12, 2024 · 0 comments
Open
1 task

Public Input Interconnection Circuit - Compilation Parameters for Keccak Wizard Verifier #32

Tabaie opened this issue Sep 12, 2024 · 0 comments
Assignees
@Tabaie @AlexandreBelling @Soleimani193
Labels
Prover Tag to use for all work impacting the prover

Comments

@Tabaie
Copy link
Contributor

Tabaie commented Sep 12, 2024

Description / Motivation

Currently the setup command for the interconnection circuit will fail, because the function pi_interconnection.WizardCompilationParameters is not implemented. The tests pass because they use dummy compilation, but we should choose the parameters for production before releasing this.

Tasks

  • Implement the pi_interconnection.WizardCompilationParameters function (possibly after some experimentation/benchmarking)
@Tabaie Tabaie added the Prover Tag to use for all work impacting the prover label Sep 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Tabaie Tabaie

@AlexandreBelling AlexandreBelling

@Soleimani193 Soleimani193

Labels
Prover Tag to use for all work impacting the prover
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Tabaie @AlexandreBelling @Soleimani193