feat(blockifier): iterate over aliases on the state diff #2535

yoavGrs · 2024-12-08T16:02:22Z

No description provided.

reviewable-StarkWare · 2024-12-08T16:02:26Z

This change is

yoavGrs · 2024-12-08T16:02:33Z

feat(blockifier): pass alias contract address #2674 : 2 dependent PRs (#2675 , #2765 )
feat(blockifier): iterate over aliases on the state diff #2535 👈 (View in Graphite)
feat(blockifier): aliases updater struct #2534
main

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

github-actions · 2024-12-08T16:03:57Z

codecov · 2024-12-08T16:09:28Z

Codecov Report

Attention: Patch coverage is 67.85714% with 9 lines in your changes missing coverage. Please review.

Please upload report for BASE (yoav/aliasing/alias_updater@dd494d2). Learn more about missing BASE report.

Files with missing lines	Patch %	Lines
.../blockifier/src/blockifier/transaction_executor.rs	0.00%	5 Missing ⚠️
...rates/blockifier/src/state/stateful_compression.rs	82.60%	0 Missing and 4 partials ⚠️

Additional details and impacted files

@@                      Coverage Diff                       @@
##             yoav/aliasing/alias_updater    #2535   +/-   ##
==============================================================
  Coverage                               ?   71.68%           
==============================================================
  Files                                  ?       99           
  Lines                                  ?    13663           
  Branches                               ?    13663           
==============================================================
  Hits                                   ?     9794           
  Misses                                 ?     3433           
  Partials                               ?      436

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

nimrod-starkware

Reviewable status: 0 of 3 files reviewed, 3 unresolved discussions (waiting on @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 23 at r1 (raw file):

// The maximal contract address for which aliases are not used and all keys are serialized as is,
// without compression.
const MAX_NON_COMPRESSED_CONTRACT_ADDRESS: u8 = 15;

Like in the previous PR (and delete fn get_max_non_compressed_contract_address())

Suggestion:

const MAX_NON_COMPRESSED_CONTRACT_ADDRESS: ContractAddress = ContractAddress::from(15)

crates/blockifier/src/state/stateful_compression.rs line 38 at r1 (raw file):

}

pub fn insert_aliases<S: StateReader>(state: &mut CachedState<S>) -> StateResult<()> {

Better IMO, non-blocking

Suggestion:

pub fn allocate_aliases

crates/blockifier/src/state/stateful_compression.rs line 61 at r1 (raw file):

        }
        alias_updater.set_alias(&StorageKey(address.0))?;
    }

You also need to filter out all addresses < 16 (not only with storage updates)

Suggestion:

    // Collect the addresses and storage keys that need aliases.
    let mut addresses = BTreeSet::new();
    let mut sorted_storage_keys = HashMap::new();
    addresses.extend(writes.class_hashes.keys().chain(writes.nonces.keys()));
    for (address, storage_key) in writes.storage.keys() {
        addresses.insert(address);
        sorted_storage_keys.entry(address).or_insert_with(BTreeSet::new).insert(storage_key);
    }

    // Iterate over the addresses and the storage keys and update the aliases.
    let mut alias_updater = AliasUpdater::new(state)?;
    for address in addresses {
        if address < 16 {
            continue;
        }
        if let Some(storage_keys) = sorted_storage_keys.get(address) {
            for key in storage_keys {
                alias_updater.set_alias(key)?;
            }
        }
        alias_updater.set_alias(&StorageKey(address.0))?;
    }

yoavGrs

Reviewable status: 0 of 3 files reviewed, 2 unresolved discussions (waiting on @nimrod-starkware)

crates/blockifier/src/state/stateful_compression.rs line 38 at r1 (raw file):

Previously, nimrod-starkware wrote…

Better IMO, non-blocking

Done.

crates/blockifier/src/state/stateful_compression.rs line 61 at r1 (raw file):

Previously, nimrod-starkware wrote…

You also need to filter out all addresses < 16 (not only with storage updates)

I validate that the addresses and the storage keys are greater than 127 in set_alias.

nimrod-starkware

Reviewable status: 0 of 3 files reviewed, 2 unresolved discussions (waiting on @dorimedini-starkware and @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 61 at r1 (raw file):

Previously, yoavGrs wrote…

I validate that the addresses and the storage keys are greater than 127 in set_alias.

ah ok, my bad

dorimedini-starkware

Reviewed 3 of 3 files at r2, all commit messages.
Reviewable status: all files reviewed, 7 unresolved discussions (waiting on @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 23 at r2 (raw file):

// The maximal contract address for which aliases are not used and all keys are serialized as is,
// without compression.
const MAX_NON_COMPRESSED_CONTRACT_ADDRESS: u8 = 15;

like previous PR: verify consistency with python value.
also, I believe this number is 3 now, no? @nimrod-starkware

Code quote:

const MAX_NON_COMPRESSED_CONTRACT_ADDRESS: u8 = 15;

crates/blockifier/src/state/stateful_compression.rs line 42 at r2 (raw file):

/// storage keys (in ascending order) and for the address itself.
pub fn allocate_aliases<S: StateReader>(state: &mut CachedState<S>) -> StateResult<()> {
    let writes = state.borrow_updated_state_cache()?.clone().writes;

not sure this clone will be needed if you use a transactional state (see prev PR)

Code quote:

let writes = state.borrow_updated_state_cache()?.clone().writes;

crates/blockifier/src/state/stateful_compression.rs line 47 at r2 (raw file):

    let mut addresses = BTreeSet::new();
    let mut sorted_storage_keys = HashMap::new();
    addresses.extend(writes.class_hashes.keys().chain(writes.nonces.keys()));

@nimrod-starkware are we still aliasing class hashes?

Code quote:

writes.class_hashes.keys()

crates/blockifier/src/state/stateful_compression.rs line 48 at r2 (raw file):

    let mut sorted_storage_keys = HashMap::new();
    addresses.extend(writes.class_hashes.keys().chain(writes.nonces.keys()));
    for (address, storage_key) in writes.storage.keys() {

@nimrod-starkware the OS also processes reads, right?
is iterating over the writes enough?

Code quote:

for (address, storage_key) in writes.storage.keys()

crates/blockifier/src/state/stateful_compression.rs line 50 at r2 (raw file):

    for (address, storage_key) in writes.storage.keys() {
        addresses.insert(address);
        if address > &get_max_non_compressed_contract_address() {

why add the address to addresses if it's not over the max-non-compressed address?
@nimrod-starkware which address range does NOT get an alias?

Code quote:

        addresses.insert(address);
        if address > &get_max_non_compressed_contract_address() {

crates/blockifier/src/state/stateful_compression_test.rs line 120 at r2 (raw file):

    state.get_class_hash_at(ContractAddress::from(0x202_u16)).unwrap();
    state.set_class_hash_at(ContractAddress::from(0x202_u16), ClassHash::default()).unwrap();
    state.increment_nonce(ContractAddress::from(0x200_u16)).unwrap();

please add a contract address that sets storage at keys 7, 9, 4 in that order (to check alias order).
also, this contract should have address 0x200, so contract address aliasing order is also checked

Code quote:

    state
        .set_storage_at(ContractAddress::from(0x201_u16), StorageKey::from(0x300_u16), Felt::ONE)
        .unwrap();
    state
        .set_storage_at(
            get_max_non_compressed_contract_address(),
            StorageKey::from(0x301_u16),
            Felt::ONE,
        )
        .unwrap();
    state.get_class_hash_at(ContractAddress::from(0x202_u16)).unwrap();
    state.set_class_hash_at(ContractAddress::from(0x202_u16), ClassHash::default()).unwrap();
    state.increment_nonce(ContractAddress::from(0x200_u16)).unwrap();

nimrod-starkware

Reviewable status: all files reviewed, 7 unresolved discussions (waiting on @dorimedini-starkware and @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 23 at r2 (raw file):

Previously, dorimedini-starkware wrote…

like previous PR: verify consistency with python value.
also, I believe this number is 3 now, no? @nimrod-starkware

It's still 15, but we only verify that it's greater than 3 when deploying an account.

crates/blockifier/src/state/stateful_compression.rs line 47 at r2 (raw file):

Previously, dorimedini-starkware wrote…

@nimrod-starkware are we still aliasing class hashes?

It's for the addresses that their class hash has changed IIUC, so that should be ok

crates/blockifier/src/state/stateful_compression.rs line 48 at r2 (raw file):

Previously, dorimedini-starkware wrote…

@nimrod-starkware the OS also processes reads, right?
is iterating over the writes enough?

We need to verify the written value is different than the read value. Only in that case we should allocate (maybe it's already the case here).

crates/blockifier/src/state/stateful_compression.rs line 50 at r2 (raw file):

Previously, dorimedini-starkware wrote…

why add the address to addresses if it's not over the max-non-compressed address?
@nimrod-starkware which address range does NOT get an alias?

For address < 16, we don't allocate aliases for storage keys (and since address < 16 < 128), we won't allocate for the address as well.
For storage keys < 128 we also don't allocate.

dorimedini-starkware

Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @nimrod-starkware and @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 48 at r2 (raw file):

Previously, nimrod-starkware wrote…

We need to verify the written value is different than the read value. Only in that case we should allocate (maybe it's already the case here).

why should we only allocate in that case? is that what's happening in the OS, or is that what we "should" be doing?
in any case I think Yoav's way is the correct way so I'm unblocking, but @nimrod-starkware please make sure the OS tests (py side) include cases where an address is only read from, and make sure an alias isn't allocated

nimrod-starkware

Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @dorimedini-starkware and @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 48 at r2 (raw file):

Previously, dorimedini-starkware wrote…

why should we only allocate in that case? is that what's happening in the OS, or is that what we "should" be doing?
in any case I think Yoav's way is the correct way so I'm unblocking, but @nimrod-starkware please make sure the OS tests (py side) include cases where an address is only read from, and make sure an alias isn't allocated

We should do it because we post non-trivial state diff to L1.
That's also what is done in the OS.
There are already cases where only class hash changed and only the nonce has changed, or appeared in the state diff with prev_value == new_value

yoavGrs

Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @dorimedini-starkware and @nimrod-starkware)

crates/blockifier/src/state/stateful_compression.rs line 23 at r1 (raw file):

Previously, nimrod-starkware wrote…

Like in the previous PR (and delete fn get_max_non_compressed_contract_address())

Done.

crates/blockifier/src/state/stateful_compression.rs line 42 at r2 (raw file):

Previously, dorimedini-starkware wrote…

not sure this clone will be needed if you use a transactional state (see prev PR)

Not needed in the new approach.

crates/blockifier/src/state/stateful_compression.rs line 47 at r2 (raw file):

Previously, nimrod-starkware wrote…

It's for the addresses that their class hash has changed IIUC, so that should be ok

Right.

crates/blockifier/src/state/stateful_compression.rs line 48 at r2 (raw file):

Previously, nimrod-starkware wrote…

We should do it because we post non-trivial state diff to L1.
That's also what is done in the OS.
There are already cases where only class hash changed and only the nonce has changed, or appeared in the state diff with prev_value == new_value

For that, we need to take addresses and keys from the state diff.

crates/blockifier/src/state/stateful_compression_test.rs line 120 at r2 (raw file):
We increment the nonce in address 0x200, for the second check.

state.increment_nonce(ContractAddress::from(0x200_u16)).unwrap();

dorimedini-starkware

Reviewed 3 of 3 files at r3, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @yoavGrs)

crates/blockifier/src/blockifier/transaction_executor.rs line 172 at r3 (raw file):

        let mut block_state = self.block_state.take().expect(BLOCK_STATE_ACCESS_ERR);
        let state_diff = if self.block_context.versioned_constants.enable_stateful_compression {
            state_diff_with_allocating_aliases(&mut block_state)?

rename

Suggestion:

state_diff_with_alias_allocation

yoavGrs

Reviewable status: 0 of 3 files reviewed, 1 unresolved discussion (waiting on @dorimedini-starkware)

crates/blockifier/src/blockifier/transaction_executor.rs line 172 at r3 (raw file):

Previously, dorimedini-starkware wrote…

rename

Done.

dorimedini-starkware

Reviewed 2 of 3 files at r4, 1 of 1 files at r5, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @yoavGrs)

nimrod-starkware

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @yoavGrs)

dorimedini-starkware

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @yoavGrs)

Yoni-Starkware

Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 49 at r9 (raw file):

        state_diff.get_modified_contracts().into_iter().collect();
    let mut sorted_storage_keys = HashMap::new();
    for (address, storage_key) in state_diff.storage.keys() {

Suggestion:

    // Collect the contract addresses and the storage keys that need aliases.
    let sorted_contract_addresses: BTreeSet<ContractAddress> =
        state_diff.get_modified_contracts().into_iter().collect();
    let mut contract_address_to_sorted_storage_keys = HashMap::new();
    for (contract_address, storage_key) in state_diff.storage.keys() {

Yoni-Starkware

Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 73 at r9 (raw file):

/// Generate updates for the alias contract with the new keys.
struct AliasUpdater<'a, S: StateReader> {
    state: &'a CachedState<S>,

Is holding CachedState here necessary?

Suggestion:

struct AliasUpdater<'a, S: StateReader> {
    state: &'a S,

Yoni-Starkware

Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 111 at r9 (raw file):

            None => {
                self.new_aliases.insert(*ALIAS_COUNTER_STORAGE_KEY, INITIAL_AVAILABLE_ALIAS);
            }

@nimrod-starkware please make sure this is consistent with your code.

Suggestion:

        match self.next_free_alias {
            None => {
                // Initialize the counter even if no new aliases were allocated.
                self.new_aliases.insert(*ALIAS_COUNTER_STORAGE_KEY, INITIAL_AVAILABLE_ALIAS);
            }

nimrod-starkware

Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @yoavGrs and @Yoni-Starkware)

crates/blockifier/src/state/stateful_compression.rs line 111 at r9 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

@nimrod-starkware please make sure this is consistent with your code.

it is

matan-starkware

Reviewable status: all files reviewed, 5 unresolved discussions (waiting on @Itay-Tsabary-Starkware, @yoavGrs, and @Yoni-Starkware)

crates/starknet_integration_tests/tests/end_to_end_flow_test.rs line 55 at r8 (raw file):

Previously, yoavGrs wrote…

I checked, it's the state diff commitment (with BlockHash type).

Consensus does use the StateDiffCommitment to identify a proposal. Since this PR doesn't change the TXs in the proposal and it does change how we calculate the state diff root, then it makes sense to update these.

Please add to the commit message that this changes how the StateDiffCommitment is calculated.

nimrod-starkware

Reviewable status: all files reviewed, 5 unresolved discussions (waiting on @Itay-Tsabary-Starkware, @yoavGrs, and @Yoni-Starkware)

dorimedini-starkware

Reviewed 2 of 2 files at r10, all commit messages.
Reviewable status: all files reviewed, 5 unresolved discussions (waiting on @Itay-Tsabary-Starkware, @yoavGrs, and @Yoni-Starkware)

yoavGrs

Reviewable status: 4 of 5 files reviewed, 5 unresolved discussions (waiting on @dorimedini-starkware, @matan-starkware, and @Yoni-Starkware)

crates/blockifier/src/state/stateful_compression.rs line 73 at r9 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Is holding CachedState here necessary?

I call state.to_state_diff()

crates/starknet_integration_tests/tests/end_to_end_flow_test.rs line 55 at r8 (raw file):

Previously, matan-starkware wrote…

Consensus does use the StateDiffCommitment to identify a proposal. Since this PR doesn't change the TXs in the proposal and it does change how we calculate the state diff root, then it makes sense to update these.

Please add to the commit message that this changes how the StateDiffCommitment is calculated.

It changes the StateDiff when finalizing a block, not the commitment calculation.

crates/blockifier/src/state/stateful_compression.rs line 49 at r9 (raw file):

        state_diff.get_modified_contracts().into_iter().collect();
    let mut sorted_storage_keys = HashMap::new();
    for (address, storage_key) in state_diff.storage.keys() {

Done.

dorimedini-starkware

Reviewed 1 of 1 files at r11, all commit messages.
Reviewable status: all files reviewed, 5 unresolved discussions (waiting on @matan-starkware, @yoavGrs, and @Yoni-Starkware)

Yoni-Starkware

Reviewed 1 of 2 files at r7, all commit messages.
Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @matan-starkware and @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 73 at r9 (raw file):

Previously, yoavGrs wrote…

I call state.to_state_diff()

Not inside the AliasUpdater

matan-starkware

Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @yoavGrs and @Yoni-Starkware)

yoavGrs

Reviewable status: 1 of 5 files reviewed, 3 unresolved discussions (waiting on @dorimedini-starkware and @Yoni-Starkware)

crates/blockifier/src/state/stateful_compression.rs line 73 at r9 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Not inside the AliasUpdater

Right. Removed.

yoavGrs

Done?

Reviewable status: 1 of 5 files reviewed, 3 unresolved discussions (waiting on @dorimedini-starkware and @Yoni-Starkware)

Yoni-Starkware

Reviewed 1 of 4 files at r12, all commit messages.
Reviewable status: 2 of 5 files reviewed, 3 unresolved discussions (waiting on @dorimedini-starkware and @yoavGrs)

crates/blockifier/src/blockifier/transaction_executor.rs line 170 at r12 (raw file):

        log::debug!("Final block weights: {:?}.", self.bouncer.get_accumulated_weights());
        let mut block_state = self.block_state.take().expect(BLOCK_STATE_ACCESS_ERR);

It's going to break the reexecution I think. TAL at this line -

sequencer/crates/blockifier_reexecution/src/state_reader/utils.rs

Line 241 in d7be314

transaction_executor.block_state

need to solve this @dorimedini-starkware @AvivYossef-starkware
(it would be best if finalize will consume self)

Code quote:

let mut block_state = self.block_state.take().

Yoni-Starkware

Reviewable status: 2 of 5 files reviewed, 4 unresolved discussions (waiting on @dorimedini-starkware and @yoavGrs)

crates/blockifier/src/state/stateful_compression.rs line 33 at r12 (raw file):

// alias is identical to the key).
static MIN_VALUE_FOR_ALIAS_ALLOC: LazyLock<PatriciaKey> =
    LazyLock::new(|| PatriciaKey::try_from(INITIAL_AVAILABLE_ALIAS).unwrap());

Implement from_hex_unchecked for PatriciaKey and remove these statics

Code quote:

static MAX_NON_COMPRESSED_CONTRACT_ADDRESS: LazyLock<ContractAddress> = LazyLock::new(|| {
    ContractAddress(PatriciaKey::try_from(Felt::from_hex_unchecked("0xf")).unwrap())
});
// The minimal value for a key to be allocated an alias. Smaller keys are serialized as is (their
// alias is identical to the key).
static MIN_VALUE_FOR_ALIAS_ALLOC: LazyLock<PatriciaKey> =
    LazyLock::new(|| PatriciaKey::try_from(INITIAL_AVAILABLE_ALIAS).unwrap());

Yoni-Starkware

Reviewable status: 2 of 5 files reviewed, 4 unresolved discussions (waiting on @dorimedini-starkware and @yoavGrs)

crates/blockifier/src/blockifier/transaction_executor.rs line 170 at r12 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

It's going to break the reexecution I think. TAL at this line -

sequencer/crates/blockifier_reexecution/src/state_reader/utils.rs

Line 241 in d7be314

transaction_executor.block_state

need to solve this @dorimedini-starkware @AvivYossef-starkware
(it would be best if finalize will consume self)

I.e., I guess that the reexecution needs the state with the aliases

dorimedini-starkware

Reviewed 3 of 4 files at r12, all commit messages.
Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @AvivYossef-starkware, @yoavGrs, and @Yoni-Starkware)

crates/blockifier/src/blockifier/transaction_executor.rs line 170 at r12 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

I.e., I guess that the reexecution needs the state with the aliases

WDYM? reexecution tests pass on this PR

yoavGrs

Reviewable status: 3 of 6 files reviewed, 4 unresolved discussions (waiting on @AvivYossef-starkware, @dorimedini-starkware, @Itay-Tsabary-Starkware, @matan-starkware, @nimrod-starkware, and @Yoni-Starkware)

crates/blockifier/src/state/stateful_compression.rs line 33 at r12 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Implement from_hex_unchecked for PatriciaKey and remove these statics

Done.

dorimedini-starkware

Reviewed 3 of 3 files at r13, all commit messages.
Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @AvivYossef-starkware, @yoavGrs, and @Yoni-Starkware)

Yoni-Starkware

Reviewed 1 of 4 files at r12, 1 of 3 files at r13, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @AvivYossef-starkware and @yoavGrs)

crates/blockifier/src/blockifier/transaction_executor.rs line 170 at r12 (raw file):

Previously, dorimedini-starkware wrote…

WDYM? reexecution tests pass on this PR

The broken function is write_block_reexecution_data_to_file, maybe it is not tested.
Consider whether this test needs the state before or after the alias allocation. Anyway, I guess that no 0.13.4 block is tested so the tests won't catch it

yoavGrs mentioned this pull request Dec 8, 2024

feat(blockifier): aliases updater struct #2534

Merged

yoavGrs requested a review from nimrod-starkware December 8, 2024 16:03

yoavGrs marked this pull request as ready for review December 8, 2024 16:03

yoavGrs force-pushed the yoav/aliasing/alias_updater branch from f20a030 to 4a4d28d Compare December 8, 2024 16:12

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from b2d7755 to dff6b2f Compare December 8, 2024 16:12

nimrod-starkware requested changes Dec 9, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/alias_updater branch from 4a4d28d to dd3c882 Compare December 10, 2024 09:18

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from dff6b2f to e3f2b88 Compare December 10, 2024 09:18

yoavGrs commented Dec 10, 2024

View reviewed changes

yoavGrs requested a review from dorimedini-starkware December 10, 2024 09:21

nimrod-starkware requested changes Dec 10, 2024

View reviewed changes

dorimedini-starkware requested changes Dec 10, 2024

View reviewed changes

nimrod-starkware reviewed Dec 10, 2024

View reviewed changes

dorimedini-starkware requested changes Dec 10, 2024

View reviewed changes

nimrod-starkware reviewed Dec 10, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/alias_updater branch from dd3c882 to d9c83da Compare December 10, 2024 15:13

yoavGrs commented Dec 10, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from e3f2b88 to 937947e Compare December 10, 2024 15:13

dorimedini-starkware requested changes Dec 15, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/alias_updater branch from d9c83da to 48faf8d Compare December 15, 2024 10:36

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from 937947e to 246b31f Compare December 15, 2024 10:36

yoavGrs commented Dec 15, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from 246b31f to ebece76 Compare December 15, 2024 10:51

dorimedini-starkware approved these changes Dec 15, 2024

View reviewed changes

nimrod-starkware approved these changes Dec 15, 2024

View reviewed changes

dorimedini-starkware approved these changes Dec 15, 2024

View reviewed changes

Yoni-Starkware requested changes Dec 18, 2024

View reviewed changes

nimrod-starkware reviewed Dec 18, 2024

View reviewed changes

matan-starkware requested changes Dec 18, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from bfc9397 to 829a09a Compare December 18, 2024 12:35

nimrod-starkware approved these changes Dec 18, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from 829a09a to 08baf87 Compare December 18, 2024 12:52

dorimedini-starkware reviewed Dec 18, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from 08baf87 to 2b6e23d Compare December 18, 2024 13:48

yoavGrs commented Dec 18, 2024

View reviewed changes

dorimedini-starkware reviewed Dec 18, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from 2b6e23d to abddc63 Compare December 18, 2024 15:08

This was referenced Dec 18, 2024

feat(blockifier): define alias compressor struct #2765

Open

feat(blockifier): replace the aliases in the state diff #2766

Open

feat(blockifier): return compressed state diff at finalizing #2767

Open

Yoni-Starkware requested changes Dec 18, 2024

View reviewed changes

matan-starkware approved these changes Dec 19, 2024

View reviewed changes

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from abddc63 to e404184 Compare December 19, 2024 12:35

yoavGrs commented Dec 19, 2024

View reviewed changes

Yoni-Starkware requested changes Dec 19, 2024

View reviewed changes

dorimedini-starkware reviewed Dec 19, 2024

View reviewed changes

feat(blockifier): iterate over aliases on the state diff

46d453e

yoavGrs force-pushed the yoav/aliasing/iterate_state branch from e404184 to 46d453e Compare December 19, 2024 15:05

yoavGrs commented Dec 19, 2024

View reviewed changes

dorimedini-starkware reviewed Dec 19, 2024

View reviewed changes

Yoni-Starkware requested changes Dec 19, 2024

View reviewed changes

feat(blockifier): iterate over aliases on the state diff #2535

Are you sure you want to change the base?

feat(blockifier): iterate over aliases on the state diff #2535

Conversation

yoavGrs commented Dec 8, 2024

reviewable-StarkWare commented Dec 8, 2024

yoavGrs commented Dec 8, 2024 • edited Loading

github-actions bot commented Dec 8, 2024 • edited Loading

codecov bot commented Dec 8, 2024 • edited Loading

Codecov Report

nimrod-starkware left a comment

Choose a reason for hiding this comment

yoavGrs left a comment

Choose a reason for hiding this comment

nimrod-starkware left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

nimrod-starkware left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

nimrod-starkware left a comment

Choose a reason for hiding this comment

yoavGrs left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

yoavGrs left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

nimrod-starkware left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

nimrod-starkware left a comment

Choose a reason for hiding this comment

matan-starkware left a comment

Choose a reason for hiding this comment

nimrod-starkware left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

yoavGrs left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

matan-starkware left a comment

Choose a reason for hiding this comment

yoavGrs left a comment

Choose a reason for hiding this comment

yoavGrs left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

yoavGrs left a comment

Choose a reason for hiding this comment

dorimedini-starkware left a comment

Choose a reason for hiding this comment

Yoni-Starkware left a comment

Choose a reason for hiding this comment

yoavGrs commented Dec 8, 2024 •

edited

Loading

github-actions bot commented Dec 8, 2024 •

edited

Loading

codecov bot commented Dec 8, 2024 •

edited

Loading