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

feat(avm): hinting merkle trees #9658

Merged
merged 5 commits into from
Nov 12, 2024
Merged

Conversation

IlyasRidhuan
Copy link
Contributor

Please read contributing guidelines and remove this line.

Copy link
Contributor Author

IlyasRidhuan commented Nov 1, 2024

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @IlyasRidhuan and the rest of your teammates on Graphite Graphite

@IlyasRidhuan IlyasRidhuan changed the title feat(avm): start merkle feat(avm): hinting merkle trees Nov 1, 2024
@IlyasRidhuan IlyasRidhuan force-pushed the ir/10-31-feat_avm_start_merkle branch 2 times, most recently from 68f39f4 to d12f6fb Compare November 2, 2024 13:24
@dbanks12 dbanks12 self-assigned this Nov 6, 2024
@dbanks12 dbanks12 force-pushed the ir/10-31-feat_avm_start_merkle branch from d12f6fb to f6220e4 Compare November 6, 2024 18:52
dbanks12 added a commit that referenced this pull request Nov 12, 2024
This builds on the base PR #9658, cleans things up a bit, and starts
updating tests.

- Adds some public storage tests to `avm_simulator.test.ts` that test
with a real merkle tree.
- Adds a flag to toggle use of real merkle ops in state manager (sets
that flag for all old tests)
- Changes trace functions to allow all merkle args to be undefined (e.g.
when flag is set)

I haven't:
- Added real merkle tests for nullifier, note hash, message ops
- Updated the state manager tests with some real merkle tests
- Updated opcode tests with real merkle tests (if we even want that)
@dbanks12 dbanks12 force-pushed the ir/10-31-feat_avm_start_merkle branch from 5617383 to 14947dd Compare November 12, 2024 02:01
@dbanks12 dbanks12 marked this pull request as ready for review November 12, 2024 02:27
@dbanks12 dbanks12 changed the title feat(avm): hinting merkle trees [WIP] feat(avm): hinting merkle trees Nov 12, 2024
@dbanks12 dbanks12 added the e2e-all CI: Deprecated, use ci-full. Enable all master checks. label Nov 12, 2024
Copy link
Contributor

github-actions bot commented Nov 12, 2024

Changes to public function bytecode sizes

Generated at commit: 76f51cf13ea63155006fa9592fe93bdbb6390bf6, compared to commit: e305f488b1502630f299bb03cf169770f2f6af09

🧾 Summary (100% most significant diffs)

Program Bytecode size in bytes (+/-) %
AvmTest::public_dispatch -754 ✅ -1.22%
AvmTest::bulk_testing -1,724 ✅ -6.76%

Full diff report 👇
Program Bytecode size in bytes (+/-) %
AvmTest::public_dispatch 61,247 (-754) -1.22%
AvmTest::bulk_testing 23,785 (-1,724) -6.76%

@IlyasRidhuan IlyasRidhuan changed the title [WIP] feat(avm): hinting merkle trees feat(avm): hinting merkle trees Nov 12, 2024
@IlyasRidhuan IlyasRidhuan force-pushed the ir/10-31-feat_avm_start_merkle branch from 006f804 to 00f1256 Compare November 12, 2024 15:17
@dbanks12 dbanks12 force-pushed the ir/10-31-feat_avm_start_merkle branch from 00f1256 to 2bca46c Compare November 12, 2024 18:07
@dbanks12 dbanks12 enabled auto-merge (squash) November 12, 2024 19:45
@dbanks12 dbanks12 merged commit 8d49e59 into master Nov 12, 2024
100 checks passed
@dbanks12 dbanks12 deleted the ir/10-31-feat_avm_start_merkle branch November 12, 2024 20:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
e2e-all CI: Deprecated, use ci-full. Enable all master checks.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants