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.

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

Proof of Account verifier #19

Merged
merged 32 commits into from
Aug 26, 2024
Merged

Proof of Account verifier #19

merged 32 commits into from
Aug 26, 2024

Conversation

xqft
Copy link
Member

@xqft xqft commented Aug 16, 2024 •
edited
Loading

This PR:

  • adds a first version of the merkle verifier for Mina accounts
  • changes the state verifier to include the state's merkle root in its public inputs

@xqft xqft mentioned this pull request Aug 19, 2024
Closed
@xqft xqft changed the title Copy mina operator Proof of Account verifier Aug 19, 2024
@xqft xqft force-pushed the account_inclusion_verifier branch from 7b3fda4 to 6a0ca58 Compare August 19, 2024 17:47
xqft added 25 commits August 19, 2024 14:53
@xqft
Update gitignore
7e63c68
@xqft
Added new proving system to batcher
17c9f0c
@xqft
Fix Makefile
4160da8
@xqft
Deserialize merkle proof, added verify_merkle_proof()
a598c68
@xqft
Remove proof slicing
66fc5d3
@xqft
Update go modules
a90a4ca
@xqft
Change yetanotherco modules to lambdaclass
958cf2e
@xqft
Revert "Change yetanotherco modules to lambdaclass"
b5526cb 
This reverts commit 958cf2e.
@xqft
Fix go modules
59ee79a
@xqft
Change go module name
d2af2d6
@xqft
Change libmerkle_tree path
5d0618c
@xqft
Update lib merkle tree path
2b353e2
@xqft
Update go mod replace
b0c70c2
@xqft
Fix case
a9ab0f2
@xqft
Revert "Update lib merkle tree path"
43da621 
This reverts commit 2b353e2.
@xqft
Revert "Change libmerkle_tree path"
9597aca 
This reverts commit 5d0618c.
@xqft
Add mina_account operator import, fix test module name
a9577df
@xqft
Temporal fix for internal package import
3b36365
@xqft
Fix merkle proof deserialization
b447638
@xqft
Added clarifying comment
ce8a206
@xqft
Added candidate ledger hash to state proof pub inputs
38755a2
@xqft
Fix proof prechecks
3f7dbd1
@xqft
Add support for account_id_hash
a9fa34e
@xqft
Added verify merkle test
141356b
@xqft
Fix go binding test
1e6a457
@xqft xqft marked this pull request as ready for review August 22, 2024 21:58
gabrielbosio
gabrielbosio reviewed Aug 26, 2024
View reviewed changes
Makefile Outdated Show resolved Hide resolved
@gabrielbosio gabrielbosio merged commit ce5f842 into mina Aug 26, 2024
8 checks passed
@gabrielbosio gabrielbosio deleted the account_inclusion_verifier branch August 26, 2024 15:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gabrielbosio gabrielbosio gabrielbosio approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@xqft @gabrielbosio