0xMiden / 0xMiden/protocol

Resolve forks created by different transactions updating the same account

Open
#1,139 0 comments 0 reactions 0 assignees View on GitHub
kernels
Dominant language
Rust
Stars
132
Forks
167
Avg merge
1d 23h
Merged PRs (30d)
110

Description

Resolve forks created by different transactions updating the same account.

If we have two batches that update the same account from the same initial state `A` but one batch updates it to `B` and another updates it to `C`, then this is a fork in the account state.
Currently, the block kernel errors in this scenario but eventually we should resolve the conflict and choose one of the transaction chains that is accepted as the new state.

Reference:
> At some point in the future, we may need to resolve such conflicts differently. That is, if there is a conflict, we'd drop one of the transaction chains (e.g., the transaction which resulted in A -> F and all of its descendants). This won't happen until we have decentralized batch production, but still let's create an issue for this.

From: https://github.com/0xPolygonMiden/miden-base/pull/1123#discussion_r1950076744

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.