executor

[sh-cha]

Node

• store its current progress
• be able to register actions externally to execute specificfunctions
• support tx, event, beginblock, endblock
• broadcast tx from its own msg queue with registered key

Executor

• has two nodes: Host, Child
• each node atomically save actions and msgs happened within one block
• fetch bridge info & start nodes with the data

1. Host

• handle InitiateDeposit msg event and broadcast finalize token deposit to Child
• handle new 0th tx and submit UpdateOracle msg to Child

2. Child

• query chain output data & sync if it has no data or is behind compared to the recent block
• manage a merkle tree and submit output every output submission interval * 2 / 3
• handle InitiateWithdrawal and save it as leaf node to current working tree
• support to query withdrawal and proof info

Merkle

• does not sort leaves
• there is no need to do this because each leaf node has a sequence.
• does not have all the nodes in memory, but only the nodes that need to be currently used (one node per tree height)
• support to query leaf node and its proofs

[beer-1]

LGTM