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

[RPC] option for adding a contract to the witness every time #1457

Open
hexoscott opened this issue Nov 13, 2024 · 0 comments
Open

[RPC] option for adding a contract to the witness every time #1457

hexoscott opened this issue Nov 13, 2024 · 0 comments
Assignees

Comments

@hexoscott
Copy link
Collaborator

We are seeing some behaviour on certain networks where the executor is fine with our witness and batch bytes and gives us a matching state root etc. but when the prover receives the same witness it reports a missing key.

So far with the information we have this seems to be centred around the GER contract and a missing slot.

The task is to add in a new flag that accepts a CSV of contract addresses, something like zkevm.forced-witness-addresses. When generating the witness we read these contracts and always include their full state in the witness. This will allow us to get the network operating with a slightly larger witness size but much smaller than sending the entire state to the prover.

@hexoscott hexoscott self-assigned this Nov 14, 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

1 participant