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

Prover script wrap-up #9

Closed

3 tasks done

Tracked by

mrain opened this issue Jul 10, 2024 · 0 comments

Closed

3 tasks done

Tracked by

Prover script wrap-up #9

mrain opened this issue Jul 10, 2024 · 0 comments

Assignees

Labels

polygon-integration

Contributor

mrain commented Jul 10, 2024 •

edited

Loading

type/struct conversion from espresso sequencer
test for type/struct consistency with espresso sequencer.
Address comment: feat: proof of correct namespace filtering #10 (review)

mrain mentioned this issue

[PARENT] Implement prover for correct derivation #6

Closed

3 tasks

This was referenced Jul 17, 2024

feat: proof of correct namespace filtering #10

Merged

feat: proof of correct derivation #13

Merged

mrain self-assigned this

mrain changed the title ~~Prover script and contract wrap-up~~ Prover script wrap-up

philippecamacho added the polygon-integration label

mrain closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment