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

v0.6 #88

Closed
wants to merge 16 commits into from
Closed

v0.6 #88

wants to merge 16 commits into from

Conversation

z2trillion
Copy link
Contributor

No description provided.

@z2trillion z2trillion marked this pull request as draft August 25, 2023 06:13
@lispc lispc marked this pull request as ready for review August 26, 2023 06:20
@lispc
Copy link
Contributor

lispc commented Aug 26, 2023

oh no ci

* Add failing tests

* Add failing empty mpt empty account proof test

* Handle case of singleton and empty mpt's

---------

Co-authored-by: Mason Liang <[email protected]>
@z2trillion z2trillion changed the title V0.6 v0.6 Aug 30, 2023
z2trillion and others added 8 commits August 30, 2023 13:26
* Handle case for proving 0 balance, nonce, keccak code hash, code size, and empty storage updates in an empty mpt

* Add singleton_mpt_empty_account test

* Fix documentation

---------

Co-authored-by: Mason Liang <[email protected]>
* Add comment explaining why we don't need to range check address_low

* [ZK 2-23] add check that final mpt update row is padding (#85)

* Add check that final mpt update row is padding

* fmt

* Use constraints instead of lookups

* Fix assert

---------

Co-authored-by: Mason Liang <[email protected]>

* Add range check for address_low

* camel case test name

---------

Co-authored-by: naure <[email protected]>
Co-authored-by: Mason Liang <[email protected]>
@z2trillion z2trillion closed this Nov 6, 2023
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.

2 participants