Inverse make transfer flow

[ninabarbakadze]

#175 demonstrates the possibility of bridging tokens from Celestia (SimApp) to EVM chain. Now we need to demonstrate the same flow in reverse order.

• Submit an EVM send transaction to Reth node commencing the process.

• Update the Groth16 client on the SimApp (querying the EVM prover process for the groth16 proof proving the Reth node's state transition from a previous trusted height to a new one)

• Query the membership proof of the commitment on Reth node and attach that proof to the transfer packet that needs to be sent to SimApp

• Update the tendermint light client on the Reth node by using the celestia prover process running over the SimApp node.

• Now query the membership proof on the SimApp node of the acknowledgement commitment and embed it in the acknowledgement packet that needs to be submitted on Reth node.

• Query the balances and assert that the tokens have correctly been transferred.

[ninabarbakadze]

note: I created this flow just now. Might be wrong/subject to change.

[rootulp]

Fixed a few issues in the OP. There may be more issues in that description. Just updating this issue from a convo offline: we don't need to work on this until after the first demo is completed. The first demo involves sending TIA from Celestia to EVM roll-up.