fix(avm): relax constraints for leaf_index kernel opcodes#8288
Merged
IlyasRidhuan merged 4 commits intolw/public_validation_requestsfrom Sep 3, 2024
Merged
fix(avm): relax constraints for leaf_index kernel opcodes#8288IlyasRidhuan merged 4 commits intolw/public_validation_requestsfrom
IlyasRidhuan merged 4 commits intolw/public_validation_requestsfrom
Conversation
IlyasRidhuan
requested review from
Maddiaa0,
fcarreiro and
jeanmon
as code owners
IlyasRidhuan
requested review from
fcarreiro
and removed request for
Maddiaa0,
fcarreiro and
jeanmon
IlyasRidhuan
force-pushed
the
ir/avm_update_kernel
branch
from
274c735 to
c1d1f44
Compare
Maddiaa0
approved these changes
Aug 30, 2024
IlyasRidhuan
force-pushed
the
ir/avm_update_kernel
branch
from
c1d1f44 to
3f702ba
Compare
Collaborator
Benchmark resultsMetrics with a significant change:
Detailed resultsAll benchmarks are run on txs on the This benchmark source data is available in JSON format on S3 here. Proof generationEach column represents the number of threads used in proof generation.
L2 block published to L1Each column represents the number of txs on an L2 block published to L1.
L2 chain processingEach column represents the number of blocks on the L2 chain where each block has 8 txs.
Circuits statsStats on running time and I/O sizes collected for every kernel circuit run across all benchmarks.
Stats on running time collected for app circuits
AVM SimulationTime to simulate various public functions in the AVM.
Public DB AccessTime to access various public DBs.
Tree insertion statsThe duration to insert a fixed batch of leaves into each tree type.
MiscellaneousTransaction sizes based on how many contract classes are registered in the tx.
Transaction size based on fee payment method | Metric | | |
IlyasRidhuan
force-pushed
the
ir/avm_update_kernel
branch
from
3f702ba to
8c6b6af
Compare
IlyasRidhuan
commented
Sep 2, 2024
| // TODO(#8287): Reintroduce constraints | ||
| #[KERNEL_OUTPUT_LOOKUP] | ||
| sel_q_kernel_output_lookup {kernel_out_offset, ia, side_effect_counter, ib} in sel_kernel_out {clk, kernel_value_out, kernel_side_effect_out, kernel_metadata_out}; | ||
| sel_q_kernel_output_lookup {kernel_out_offset, /*ia,*/ /*side_effect_counter,*/ ib } in sel_kernel_out {clk, /*kernel_value_out,*/ /*kernel_side_effect_out,*/ kernel_metadata_out}; |
Contributor
Author
There was a problem hiding this comment.
Had to turn off the kernel_value_out and side_effect parts of the lookup
IlyasRidhuan
commented
Sep 2, 2024
| } | ||
|
|
||
| // Leaf index -> exists | ||
| std::unordered_map<uint32_t, FF> get_leaf_index_hints() const |
Contributor
Author
There was a problem hiding this comment.
Splitting out leaf index hints since they now use the leaf index instead of side effect counters which would likely collide in a single map
IlyasRidhuan
commented
Sep 2, 2024
| uint32_t offset = START_NOTE_HASH_EXISTS_WRITE_OFFSET + note_hash_exists_offset; | ||
| perform_kernel_output_lookup(offset, side_effect_counter, note_hash, FF(result)); | ||
| // TODO(#8287)Lookups are heavily underconstrained atm | ||
| if (result == 1) { |
Contributor
Author
There was a problem hiding this comment.
This whole section is a bit messy atm while the lookups are still "half-on". Will be resolved when we clean up the hints/public inputs stuff and if we give the trace.cpp access to the public inputs as well
IlyasRidhuan
commented
Sep 2, 2024
| expect(results.output).toEqual([expectFound ? Fr.ONE : Fr.ZERO]); | ||
|
|
||
| expect(trace.traceL1ToL2MessageCheck).toHaveBeenCalledTimes(1); | ||
| const foundOrUndefined = mockAtLeafIndex === undefined || results.output[0].equals(Fr.ONE); |
Contributor
Author
There was a problem hiding this comment.
This is similar to what we do now for the accrued_substate.test.ts, because of the new way we handle non-exists criteria for leaf indices
IlyasRidhuan
force-pushed
the
ir/avm_update_kernel
branch
from
8c6b6af to
4f54b7f
Compare
IlyasRidhuan
commented
Sep 2, 2024
| const exists = gotLeafIndex === leafIndex.toBigInt(); | ||
| this.log.debug(`noteHashes(${storageAddress})@${noteHash} ?? leafIndex: ${leafIndex}, exists: ${exists}.`); | ||
| this.trace.traceNoteHashCheck(storageAddress, noteHash, leafIndex, exists); | ||
| const gotLeafValue = await this.hostStorage.commitmentsDb.getCommitmentValue(leafIndex.toBigInt()); |
Contributor
Author
There was a problem hiding this comment.
We now get the value given the index rather than the other way around, if the values do not match, we return the value that we found (this way the kernel can verify the merkle path).
We constrain equality in the VM (eventually)
IlyasRidhuan
commented
Sep 2, 2024
IlyasRidhuan
added a commit
that referenced
this pull request
Sep 3, 2024
)" This reverts commit 62bd9dc.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Re-constraining this is being tracked in #8287