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.

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

chore(verifier): update generation to include vk hash #453

Conversation

koloz193
Copy link
Contributor

@koloz193 koloz193 commented May 7, 2024

What ❔

When a new verification key is generated we must also generate the Verifier smart contract that will validate the proofs. At the current moment when we want to verify which verification key was used to generate the smart contract we must deploy and check against the verificationKeyHash function. This change auto-generates a comment at the top of the contract with the hash of the verification key used to generate the contract.

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.

@koloz193 koloz193 closed this May 13, 2024
@koloz193 koloz193 reopened this May 13, 2024
tools/src/main.rs Outdated Show resolved Hide resolved
tools/Cargo.toml Outdated Show resolved Hide resolved
@koloz193 koloz193 merged commit bd9bec5 into dev May 16, 2024
22 checks passed
@koloz193 koloz193 deleted the zk-evm-580-verifiersol-generation-script-should-also-put-the-commitment branch May 16, 2024 14:26
Yberjon pushed a commit to neotheprogramist/era-contracts that referenced this pull request Aug 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants