Uploaded image for project: 'RChain'
  1. RCHAIN-3707

Consider using spatial matcher for merging `INCOMING_COULD_MATCH` cases

    Details

    • Type: Task
    • Status: To Do
    • Priority: Medium
    • Resolution: Unresolved
    • Affects versions: None
    • Fix versions: None
    • Components: None
    • Labels:
    • Sprint:

      Description

      There is a set of merging rules that can be summarized as ‘can't merge an incoming send with incoming receive, at least until we prove the receive doesn't match the send', or ‘the pink “If we can prove they don't match” cells in Mike’s  sheet’.

      They correspond to cases dubbed INCOMING_COULD_MATCH in MultiParentCasperMergeSpec.
      As mentioned in https://github.com/rchain/rchain/pull/2606#discussion_r306715323, this would require having actual data and continuations (not just their hashses) in the event log we're processing.

      The currently agreed on way for having the 'rich event log' is the 'report replay'. Having to do a replay kind of defeats the purpose of merging though.

      The goal of this ticket is to reconsider our options here and come to a common understanding on their feasibility and steps forward.

        Attachments

          Issue links

            Activity

              People

              • Assignee:
                Unassigned
                Reporter:
                artur Artur Gajowy
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Created:
                  Updated: