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

Verify proof generated by snarkjs #1

Open
3 tasks
han0110 opened this issue Jul 18, 2022 · 0 comments
Open
3 tasks

Verify proof generated by snarkjs #1

han0110 opened this issue Jul 18, 2022 · 0 comments

Comments

@han0110
Copy link
Collaborator

han0110 commented Jul 18, 2022 •
edited
Loading

  • protocol::circom
    • Implement a function to port zkey to Protocol, mainly about domain and preprocessed with static evaluations, queries and relations
    • Implement generic kzg plonk prover and collect witness with witness calculator in ark-circom
  • scheme::kzg
    • Implement linearization (by recognizing missing queries)
@CPerezz CPerezz moved this to 🆕 Product Backlog Items in zkEVM Community Edition Jan 17, 2023
zemse pushed a commit to zemse/snark-verifier that referenced this issue Jan 18, 2024
@jonathanpwang
Merge pull request privacy-scaling-explorations#1 from jonathanpwang/…
60f4cb3 
…jpw/10_07

add pkey & vkey serialization/deserialization
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
zkEVM Community Edition
Status: 🆕 Product Backlog Items
Milestone
No milestone
Development

No branches or pull requests
1 participant
@han0110