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

[contract-deploy] Validate that the deployment nullifier is emitted in the public kernel circuit #4076

Closed
Tracked by #4052
spalladino opened this issue Jan 17, 2024 · 0 comments

Comments

@spalladino
Copy link
Collaborator

spalladino commented Jan 17, 2024

A sequencer should only be allowed to run a public function for a publicly deployed contract, otherwise other nodes may not be able to validate what the sequencer has run. To enforce this, the public kernel circuit should check that the corresponding deployment (not initialization!) nullifier was emitted by the canonical contract instance deployer contract.

Test that calling a public function on a contract that has not been publicly deployed fails, even after manually adding the contract instance information to the node's db.

@github-project-automation github-project-automation bot moved this to Todo in A3 Jan 17, 2024
@PhilWindle PhilWindle closed this as not planned Won't fix, can't repro, duplicate, stale Oct 27, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Oct 27, 2024
@iAmMichaelConnor iAmMichaelConnor removed this from A3 Oct 28, 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

No branches or pull requests

2 participants