Solver Implementation

Subscribe to TokenCommitted events to detect any commitments made to your address.

• Generate S and hashlock.
• When a commitment is detected, call lock() on the destination chain and pass the generated hashlock with timelock of $T + 2\Delta$.

• Monitor the source chain for the TokenLockAdded event (or getDetails() function) on the existing commitment.
• Once detected, verify that the hashlock matches the one you previously generated.
• Verify that the timelock provides sufficient time to act, ensuring it is at least $T + \Delta$.
• Verify that the Id is equal to the original commitment Id in the TokenCommitted event.

Call the addLockSig() function, providing both the user’s signature and the message data (Id, hashlock, timelock).

• Once verified, call redeem() on both the source and destination chains.
• Pass in the previously generated S value.