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

Implement inclusion proof of a contract in contracts tree #3465

Closed
benesjan opened this issue Nov 29, 2023 · 0 comments · Fixed by #3680
Closed

Implement inclusion proof of a contract in contracts tree #3465

benesjan opened this issue Nov 29, 2023 · 0 comments · Fixed by #3680
Assignees
@benesjan

Comments

@benesjan
Copy link
Contributor

The code should do the following:

  1. Implement oracle which returns preimage of a contracts tree leaf,
  2. check the relevant preimage components (e.g. bytecode, construct args etc.)
  3. hash the preimage and check that it matches the contracts tree leaf,
  4. prove that the leaf is in the contracts tree at a given block,
  5. do the rest the same way as for notes etc.
@benesjan benesjan self-assigned this Nov 29, 2023
@LHerskind LHerskind added this to A3 Dec 5, 2023
@github-project-automation github-project-automation bot moved this to Todo in A3 Dec 5, 2023
@benesjan benesjan mentioned this issue Dec 13, 2023
Merged
4 tasks
benesjan added a commit that referenced this issue Dec 15, 2023
@benesjan
feat: contract inclusion proof (#3680)
43aa603 
1. Fixes #3465
2. Fixes #3695
3. naming consistency fix in get sibling path methods,
4. refactored the e2e test and each type of proof is now in a nested
describe statement.
@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Dec 15, 2023
michaelelliot pushed a commit to Swoir/noir_rs that referenced this issue Feb 28, 2024
@benesjan
feat: contract inclusion proof (AztecProtocol#3680)
bd4fe57 
1. Fixes AztecProtocol#3465
2. Fixes AztecProtocol#3695
3. naming consistency fix in get sibling path methods,
4. refactored the e2e test and each type of proof is now in a nested
describe statement.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@benesjan benesjan

Labels
None yet
Projects
A3
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: contract inclusion proof AztecProtocol/aztec-packages
1 participant
@benesjan